]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.layer0/graph/Layer0List.pgraph
Configurability for Layer0 List modelling
[simantics/platform.git] / bundles / org.simantics.layer0 / graph / Layer0List.pgraph
1 L0 = <http://www.simantics.org/Layer0-1.1>
2
3 L0.list : L0.Template 
4     L0.HasDescription "A builtin template that is only used in graph compilation."
5
6 L0.List <T L0.Value
7     L0.HasDescription """Represents a list of resources that may contain repetitions."""
8     @L0.assert L0.HasValueType "[Resource]"
9     @L0.assert L0.ConvertsToValueWith L0.Functions.listResources
10     >-- L0.List.ElementPredicate --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation
11     @L0.assert L0.List.ElementPredicate L0.List.Element
12 L0.ListWithInverses <T L0.List    
13     @L0.assert L0.List.ElementPredicate L0.List.ElementWithInverse
14 L0.List.Entry <T L0.List
15 L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction
16     L0.HasDomain L0.List
17     L0.HasRange L0.List
18 L0.List.Previous <R L0.IsRelatedTo : L0.TotalFunction
19     L0.InverseOf L0.List.Next
20 L0.List.Element <R L0.IsRelatedTo : L0.TotalFunction
21     L0.HasDomain L0.List.Entry
22 L0.List.ElementWithInverse <R L0.List.Element
23     L0.InverseOf L0.List.ElementWithInverse.Inverse <R L0.IsRelatedTo