]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.views.ontology/graph/Views.pgraph
Merge "(refs #7614) Assign type-checked expression back to list comprehension"
[simantics/platform.git] / bundles / org.simantics.views.ontology / graph / Views.pgraph
1 L0 = <http://www.simantics.org/Layer0-1.1>
2 L0X = <http://www.simantics.org/Layer0X-1.1>
3 SG = <http://www.simantics.org/Scenegraph-1.1>
4 SEL = <http://www.simantics.org/SelectionView-1.2>
5
6 Views = <http://www.simantics.org/Views-1.2> : L0.Ontology
7     @L0.new
8     L0.HasResourceClass "org.simantics.views.ontology.ViewsResources"
9
10 Views.ParameterType <T L0.FunctionalRelation
11   @L0.assert SEL.HasDisplayProperty
12     _ : SEL.DisplayProperty
13   @L0.assert SEL.HasDisplayValue
14     _ : SEL.DisplayValue
15   @L0.assert SEL.HasDisplayUnit
16     _ : SEL.DisplayUnit
17   @L0.assert SEL.HasStandardPropertyInfo
18     Views.CategoryHidden : SEL.StandardPropertyInfo
19       SEL.StandardPropertyInfo.CategoryName ""
20       SEL.StandardPropertyInfo.CategorySortingName ""
21       SEL.StandardPropertyInfo.IsHidden true
22   
23 Views.View <T L0.Entity    
24
25 Views.Action <T L0.Entity
26
27 Views.Parameter <T L0.Value
28     @L0.assert 
29         L0.ConvertsToValueWith 
30         Views.Functions.parameterValue : L0.ExternalValue
31
32 Views.HasInputSource <R L0.DependsOn : L0.FunctionalRelation
33 Views.WorkbenchSelectionInputSource : L0.Entity
34
35 Views.onLoaded ==> "WriteGraph => Variable -> Variable -> Boolean" <R L0.HasProperty : L0.FunctionalRelation
36 Views.onInputChanged ==> "Variable -> Boolean" <R L0.HasProperty : L0.FunctionalRelation
37
38 Views.Wizard <T Views.Action
39 Views.Wizard.Title <R L0.HasProperty : L0.FunctionalRelation
40 Views.Wizard.Pages <R L0.DependsOn
41 Views.Wizard.FinishAction <R L0.DependsOn
42
43 Views.Wizard.Page <T L0.Entity
44 Views.Wizard.Page.Title <R L0.HasProperty : L0.FunctionalRelation
45 Views.Wizard.Page.Control <R L0.DependsOn
46
47 Views.ReadFactory <T L0.Entity
48
49 Views.Functions : L0.Library
50
51 Views.Functions.singleResourceSelection : L0.Function
52   L0.HasValueType "a"
53
54 Views.ResourceURI <T L0.Value
55     @L0.assert L0.HasValueType "String"
56     @L0.assert 
57         L0.ConvertsToValueWith 
58         Views.Functions.resourceURI : L0.ExternalValue
59 Views.ResourceURI.HasResource <R L0.DependsOn : L0.FunctionalRelation
60
61 // Controls
62
63 Views.Control <T SG.Node
64   >-- Views.Control.layoutData ==> "GridData" <R SG.Node.HasProperty : L0.FunctionalRelation
65   >-- Views.Control.background ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
66   >-- Views.Control.foreground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
67   >-- Views.Control.font ==> "(String,Integer,String)" <R SG.Node.HasProperty : L0.FunctionalRelation
68   >-- Views.Control.style ==> "Integer" <R SG.Node.HasProperty : L0.FunctionalRelation
69   @L0.assert Views.Control.layoutData
70     _ : Views.GridLayout.GridData
71
72 Views.Control.Style <T L0.Value
73   @L0.assert L0.HasValueType "Integer" 
74   @L0.assert 
75     L0.ConvertsToValueWith 
76     Views.Functions.style : L0.ExternalValue
77   >-- Views.Control.Style.HasConstant --> Views.Control.Style.Constant <R L0.HasProperty
78   
79 Views.Control.Style.Constant <T L0.Integer
80
81 Views.Control.Style.Constant.None = 0 : L0.Integer
82 Views.Control.Style.Constant.Multi = 2 : L0.Integer
83 Views.Control.Style.Constant.Push = 8 : L0.Integer
84 Views.Control.Style.Constant.ReadOnly = 8 : L0.Integer
85 Views.Control.Style.Constant.Check = 32 : L0.Integer
86 Views.Control.Style.Constant.Wrap = 64 : L0.Integer
87 Views.Control.Style.Constant.HScroll = 256 : L0.Integer
88 Views.Control.Style.Constant.VScroll = 512 : L0.Integer
89 Views.Control.Style.Constant.Horizontal = 256 : L0.Integer
90 Views.Control.Style.Constant.Vertical = 512 : L0.Integer
91 Views.Control.Style.Constant.Border = 2048 : L0.Integer
92 Views.Control.Style.Constant.FullSelection = 65536 : L0.Integer
93 Views.Control.Style.Constant.NoFocus = 524288 : L0.Integer
94
95 Views.Control.style1 : L0.Template
96     @template %control %constant1
97         %control
98             Views.Control.style _ : Views.Control.Style
99                 Views.Control.Style.HasConstant %constant1
100
101 Views.Control.style2 : L0.Template
102     @template %control %constant1 %constant2
103         %control
104             Views.Control.style _ : Views.Control.Style
105                 Views.Control.Style.HasConstant %constant1
106                 Views.Control.Style.HasConstant %constant2
107
108 Views.Control.style3 : L0.Template
109     @template %control %constant1 %constant2 %constant3
110         %control
111             Views.Control.style _ : Views.Control.Style
112                 Views.Control.Style.HasConstant %constant1
113                 Views.Control.Style.HasConstant %constant2
114                 Views.Control.Style.HasConstant %constant3
115
116 Views.Control.style4 : L0.Template
117     @template %control %constant1 %constant2 %constant3 %constant4
118         %control
119             Views.Control.style _ : Views.Control.Style
120                 Views.Control.Style.HasConstant %constant1
121                 Views.Control.Style.HasConstant %constant2
122                 Views.Control.Style.HasConstant %constant3
123                 Views.Control.Style.HasConstant %constant4
124
125 Views.Control.style5 : L0.Template
126     @template %control %constant1 %constant2 %constant3 %constant4 %constant5
127         %control
128             Views.Control.style _ : Views.Control.Style
129                 Views.Control.Style.HasConstant %constant1
130                 Views.Control.Style.HasConstant %constant2
131                 Views.Control.Style.HasConstant %constant3
132                 Views.Control.Style.HasConstant %constant4
133                 Views.Control.Style.HasConstant %constant5
134
135 Views.Control.gridData : L0.Template
136     @template %control %hgrab %vgrab %hspan
137         %control
138           Views.Control.layoutData _ : Views.GridLayout.GridData
139             Views.GridLayout.GridData.horizontalGrab %hgrab
140             Views.GridLayout.GridData.verticalGrab %vgrab
141             Views.GridLayout.GridData.horizontalSpan %hspan
142
143 Views.Alternative <T Views.Control
144     >-- Views.Alternative.condition ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
145     @L0.assert Views.Control.layoutData
146         _ : Views.GridLayout.GridData
147             Views.GridLayout.GridData.horizontalGrab true
148             Views.GridLayout.GridData.verticalGrab true
149     
150
151 Views.Composite <T Views.Control
152   >-- Views.Composite.layout ==> "GridLayout" <R SG.Node.HasProperty : L0.FunctionalRelation
153   @L0.assert Views.Composite.layout 
154     _ : Views.GridLayout
155
156 Views.Composite.children1 : L0.Template
157     @template %control %c1
158         %control
159             SG.Node.children _ : L0.List
160                 @L0.list
161                     %c1
162
163 Views.Composite.children2 : L0.Template
164     @template %control %c1 %c2
165         %control
166             SG.Node.children _ : L0.List
167               @L0.list %c1 %c2
168
169 Views.Composite.children3 : L0.Template
170     @template %control %c1 %c2 %c3
171         %control
172             SG.Node.children _ : L0.List
173               @L0.list %c1 %c2 %c3
174
175
176 Views.ScrolledComposite <T Views.Composite
177 Views.TabFolder <T Views.Composite
178   >-- Views.TabFolder.childNames ==> "[String]" <R SG.Node.HasProperty : L0.FunctionalRelation
179   @L0.assert Views.TabFolder.childNames
180     Views.Functions.tabChildNames : L0.Function
181       L0.HasValueType "[String]"
182     
183 Views.SashForm <T Views.Composite
184   >-- Views.SashForm.weights ==> "Vector Integer" <R SG.Node.HasProperty : L0.FunctionalRelation
185   >-- Views.SashForm.orientation ==> "Integer" <R SG.Node.HasProperty : L0.FunctionalRelation
186   @L0.assert Views.SashForm.orientation Views.SashForm.Horizontal
187
188 Views.SashForm.Horizontal = 256 : L0.Integer
189 Views.SashForm.Vertical = 512 : L0.Integer
190
191 Views.Combo <T Views.Control
192   >-- Views.Combo.available ==> "[(String, Resource)]" <R SG.Node.HasProperty : L0.FunctionalRelation
193   >-- Views.Combo.selected ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
194   >-- Views.Combo.modifier ==> "String -> String" <R SG.Node.HasProperty : L0.FunctionalRelation
195
196 Views.CCombo <T Views.Combo
197
198 Views.TextContainer <T Views.Control
199   >-- Views.TextContainer.text ==> "String" <R SG.Node.HasProperty : Views.ParameterType
200
201 Views.TextReceiver <T Views.Control
202   >-- Views.TextReceiver.modifier ==> "String -> String" <R SG.Node.HasProperty : L0.FunctionalRelation
203   >-- Views.TextReceiver.validator ==> "String -> String" <R SG.Node.HasProperty : L0.FunctionalRelation
204
205 Views.Label <T Views.TextContainer
206 Views.Text <T Views.TextContainer <T Views.TextReceiver
207 Views.StyledText <T Views.Text
208 Views.TrackedText <T Views.TextContainer <T Views.TextReceiver
209   >-- Views.TrackedText.invalidBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
210   >-- Views.TrackedText.inactiveBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
211   >-- Views.TrackedText.hoverBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
212   >-- Views.TrackedText.editingBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
213
214 Views.TrackedStyledText <T Views.TrackedText
215
216 Views.Button <T Views.TextContainer
217   >-- Views.Button.text ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
218   >-- Views.Button.tooltip ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
219   >-- Views.Button.modifier --> L0.Value <R SG.Node.HasProperty : L0.FunctionalRelation
220   >-- Views.Button.image ==> "ByteArray" <R SG.Node.HasProperty : L0.FunctionalRelation
221
222 Views.Browser <T Views.Control
223   >-- Views.Browser.document ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
224   >-- Views.Browser.variable ==> "Variable" <R SG.Node.HasProperty : L0.FunctionalRelation
225   >-- Views.Browser.locationChanging ==> "a -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
226
227 Views.WikiBrowser <T Views.Control
228   >-- Views.WikiBrowser.document ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
229   >-- Views.WikiBrowser.variable ==> "Variable" <R SG.Node.HasProperty : L0.FunctionalRelation
230   >-- Views.WikiBrowser.navigate ==> "String -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
231
232 Views.Explorer <T Views.Composite
233   >-- Views.Explorer.input ==> "a" <R SG.Node.HasProperty : L0.FunctionalRelation
234   >-- Views.Explorer.selectionListener ==> "a -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
235   >-- Views.Explorer.browseContext ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
236   >-- Views.Explorer.contextMenuId ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
237   >-- Views.Explorer.uiContext ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
238   >-- Views.Explorer.useNodeBrowseContexts ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
239   >-- Views.Explorer.useNodeActionContexts ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
240   >-- Views.Explorer.columns ==> "[ColumnBean]" <R SG.Node.HasProperty : L0.FunctionalRelation
241   >-- Views.Explorer.editingColumns ==> "[ColumnBean]" <R SG.Node.HasProperty : L0.FunctionalRelation
242   >-- Views.Explorer.columnsVisible ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
243   >-- Views.Explorer.displayFilter ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
244   >-- Views.Explorer.publishSelection ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
245   >-- Views.Explorer.persistor ==> "StatePersistor" <R SG.Node.HasProperty : L0.FunctionalRelation
246
247 Views.Explorer.ColumnList <T L0.List
248   @L0.assert L0.HasValueType "[ColumnBean]"
249   @L0.assert L0.ConvertsToValueWith
250     Views.Functions.columnList : L0.ExternalValue
251   
252 Views.Explorer.Column <T L0.Value
253   >-- Views.Explorer.Column.HasKey ==> "String" <R L0.HasProperty : L0.FunctionalRelation
254   >-- Views.Explorer.Column.HasLabel ==> "String" <R L0.HasProperty : L0.FunctionalRelation
255   >-- Views.Explorer.Column.HasAlignment ==> "String" <R L0.HasProperty : L0.FunctionalRelation
256   >-- Views.Explorer.Column.HasWidth ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
257   >-- Views.Explorer.Column.HasTooltip ==> "String" <R L0.HasProperty : L0.FunctionalRelation
258   >-- Views.Explorer.Column.HasGrab ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
259   >-- Views.Explorer.Column.HasWeight ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
260
261 Views.Explorer.Column.full : L0.Template
262     @template %explorer %key %label %alignment %width %tooltip %grab %weight
263         %explorer : Views.Explorer.Column
264             Views.Explorer.Column.HasKey %key
265             Views.Explorer.Column.HasLabel %label
266             Views.Explorer.Column.HasAlignment %alignment
267             Views.Explorer.Column.HasWidth %width
268             Views.Explorer.Column.HasTooltip %tooltip
269             Views.Explorer.Column.HasGrab %grab
270             Views.Explorer.Column.HasWeight %weight
271
272 //Views.Explorer.Selection : Views.ParameterDefinition
273
274 Views.Layout <T L0.Value
275 Views.GridLayout <T Views.Layout
276   @L0.assert L0.HasValueType "GridLayout"
277   @L0.assert
278     L0.ConvertsToValueWith
279     Views.Functions.gridLayout : L0.ExternalValue
280   >-- Views.GridLayout.columnCount ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
281   >-- Views.GridLayout.horizontalSpacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
282   >-- Views.GridLayout.verticalSpacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
283   >-- Views.GridLayout.extendedMargins ==> "a" <R L0.HasProperty : L0.FunctionalRelation
284   @L0.assert Views.GridLayout.columnCount 1
285   @L0.assert Views.GridLayout.horizontalSpacing 0
286   @L0.assert Views.GridLayout.verticalSpacing 0
287   @L0.assert Views.GridLayout.extendedMargins 
288     (2,2,2,2) : Views.GridLayout.ExtendedMargins
289
290 Views.GridLayout.ExtendedMargins <T L0.Literal
291     @L0.assert L0.HasDataType $(Integer,Integer,Integer,Integer)
292     
293 Views.GridLayout.GridData <T L0.Value
294   @L0.assert L0.HasValueType "GridData"
295   @L0.assert
296     L0.ConvertsToValueWith
297     Views.Functions.gridData : L0.ExternalValue
298   >-- Views.GridLayout.GridData.horizontalSpan ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
299   >-- Views.GridLayout.GridData.horizontalGrab ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
300   >-- Views.GridLayout.GridData.verticalGrab ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
301   >-- Views.GridLayout.GridData.preferredWidth ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
302   >-- Views.GridLayout.GridData.preferredHeight ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
303   >-- Views.GridLayout.GridData.horizontalAlignment ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
304   >-- Views.GridLayout.GridData.verticalAlignment ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
305   @L0.assert Views.GridLayout.GridData.horizontalSpan 1
306   @L0.assert Views.GridLayout.GridData.horizontalGrab false
307   @L0.assert Views.GridLayout.GridData.verticalGrab false
308   @L0.assert Views.GridLayout.GridData.preferredWidth -1
309   @L0.assert Views.GridLayout.GridData.preferredHeight -1
310   @L0.assert Views.GridLayout.GridData.horizontalAlignment Views.GridLayout.GridData.FILL
311   @L0.assert Views.GridLayout.GridData.verticalAlignment Views.GridLayout.GridData.FILL
312
313 Views.GridLayout.GridData.BEGINNING = 1 : L0.Integer
314 Views.GridLayout.GridData.CENTER = 2 : L0.Integer
315 Views.GridLayout.GridData.END = 3 : L0.Integer
316 Views.GridLayout.GridData.FILL = 4 : L0.Integer
317
318 Views.RowLayout <T Views.Layout
319   @L0.assert L0.HasValueType "RowLayout"
320   @L0.assert
321     L0.ConvertsToValueWith
322     Views.Functions.rowLayout : L0.ExternalValue
323   >-- Views.RowLayout.type ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
324   >-- Views.RowLayout.spacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
325   >-- Views.RowLayout.center ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
326   >-- Views.RowLayout.fill ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
327   >-- Views.RowLayout.justify ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
328   >-- Views.RowLayout.pack ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
329   >-- Views.RowLayout.wrap ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
330   >-- Views.RowLayout.extendedMargins ==> "a" <R L0.HasProperty : L0.FunctionalRelation
331   @L0.assert Views.RowLayout.type Views.Control.Style.Constant.Horizontal
332   @L0.assert Views.RowLayout.spacing 3
333   @L0.assert Views.RowLayout.center false
334   @L0.assert Views.RowLayout.fill false
335   @L0.assert Views.RowLayout.justify false
336   @L0.assert Views.RowLayout.pack true
337   @L0.assert Views.RowLayout.wrap true
338   @L0.assert Views.RowLayout.extendedMargins 
339     (3,3,3,3) : Views.RowLayout.ExtendedMargins
340
341 Views.RowLayout.ExtendedMargins <T L0.Literal
342     @L0.assert L0.HasDataType $(Integer,Integer,Integer,Integer)
343
344 Views.RowLayout.RowData <T L0.Value
345   @L0.assert L0.HasValueType "RowData"
346   @L0.assert
347     L0.ConvertsToValueWith
348     Views.Functions.rowData : L0.ExternalValue
349   >-- Views.RowLayout.RowData.width ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
350   >-- Views.RowLayout.RowData.height ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
351   @L0.assert Views.RowLayout.RowData.width -1
352   @L0.assert Views.RowLayout.RowData.height -1
353
354 Views.SingleColumn 
355   @Views.Explorer.Column.full "single" "Entries" "LEFT" 150 "Entries" true 1
356
357 Views.BundleImage <T L0.Value
358   @L0.assert L0.HasValueType "ByteArray"
359   @L0.assert
360     L0.ConvertsToValueWith
361     Views.Functions.bundleImage : L0.ExternalValue
362   >-- Views.BundleImage.HasReference --> L0.String <R L0.HasProperty : L0.FunctionalRelation
363
364 Views.MessageDialog <T L0.Entity
365   >-- Views.MessageDialog.HasType --> Views.MessageDialog.Type <R L0.DependsOn : L0.FunctionalRelation
366   >-- Views.MessageDialog.HasCustomArea --> Views.Control <R L0.DependsOn : L0.FunctionalRelation
367   >-- Views.MessageDialog.title ==> "String" <R L0.HasProperty : L0.FunctionalRelation
368   >-- Views.MessageDialog.message ==> "String" <R L0.HasProperty : L0.FunctionalRelation
369   >-- Views.MessageDialog.buttonLabels ==> "Vector String" <R L0.HasProperty : L0.FunctionalRelation
370   >-- Views.MessageDialog.defaultButton ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
371   
372 Views.MessageDialog.Type <T L0.Value
373     @L0.tag L0.Enumeration
374     
375 Views.MessageDialog.Type.Error : Views.MessageDialog.Type
376 Views.MessageDialog.Type.Information : Views.MessageDialog.Type
377 Views.MessageDialog.Type.Warning : Views.MessageDialog.Type
378 Views.MessageDialog.Type.Confirm : Views.MessageDialog.Type
379 Views.MessageDialog.Type.Question : Views.MessageDialog.Type
380 Views.MessageDialog.Type.QuestionWithCancel : Views.MessageDialog.Type
381
382 Views.ErrorDialog <T Views.MessageDialog
383   @L0.assert Views.MessageDialog.HasType Views.MessageDialog.Type.Error
384   @L0.assert Views.MessageDialog.buttonLabels ["OK"]
385   @L0.assert Views.MessageDialog.defaultButton 0
386   
387 Views.QuestionDialog <T Views.ErrorDialog
388   @L0.assert Views.MessageDialog.HasType Views.MessageDialog.Type.Confirm
389   @L0.assert Views.MessageDialog.buttonLabels ["OK","Cancel"]
390   @L0.assert Views.MessageDialog.defaultButton 0
391