X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.graph.compiler%2Fsrc%2Forg%2Fsimantics%2Fgraph%2Fcompiler%2Finternal%2Fparsing%2FLayer0Deprecated.pgraph;fp=bundles%2Forg.simantics.graph.compiler%2Fsrc%2Forg%2Fsimantics%2Fgraph%2Fcompiler%2Finternal%2Fparsing%2FLayer0Deprecated.pgraph;h=20ed2373c65bce776872056f285857794a4e565c;hp=0000000000000000000000000000000000000000;hb=969bd23cab98a79ca9101af33334000879fb60c5;hpb=866dba5cd5a3929bbeae85991796acb212338a08

diff --git a/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/parsing/Layer0Deprecated.pgraph b/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/parsing/Layer0Deprecated.pgraph
new file mode 100644
index 000000000..20ed2373c
--- /dev/null
+++ b/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/parsing/Layer0Deprecated.pgraph
@@ -0,0 +1,136 @@
+L0 = <http://www.simantics.org/Layer0-1.0>
+
+L0.HasAttributeName <R L0.HasProperty : L0.FunctionalRelation
+    L0.HasRange L0.String
+  //
+L0.PropertyType <T L0.Type
+/*L0.Property <T L0.Entity : L0.PropertyType
+    @L0.tag L0.Abstract
+*/
+      
+L0.Operation <T L0.Entity
+L0.AbstractContextualList <T L0.Entity
+L0.ContextualList <T L0.AbstractContextualList <T L0.OrderedSet
+L0.TypeBasedList <T L0.AbstractContextualList
+    @L0.singleProperty L0.HasRelation
+L0.ConditionalList <T L0.AbstractContextualList
+    @L0.singleProperty L0.HasCondition
+    @L0.singleProperty L0.HasThenElement
+//    [HasElseElement card "0..1"]
+L0.HasCondition <R L0.IsRelatedTo
+    L0.HasRange L0.Predicate
+L0.HasThenElement <R L0.IsRelatedTo
+    L0.HasRange L0.AbstractContextualList
+L0.HasElseElement <R L0.IsRelatedTo
+    L0.HasRange L0.AbstractContextualList
+    
+L0.Value <T L0.Literal : L0.ValueType
+    @L0.property L0.PropertyOf
+    @L0.tag L0.Abstract
+    
+L0.Version <T L0.String
+L0.HasVersion <R L0.HasProperty : L0.FunctionalRelation
+    L0.HasRange L0.Version
+    
+L0.Trigger <T L0.Entity
+    @L0.tag L0.Deprecated
+    @L0.property L0.IsTriggerOf
+L0.HasTrigger <R L0.IsRelatedTo
+    @L0.tag L0.Deprecated
+    L0.HasRange L0.Trigger
+    L0.InverseOf L0.IsTriggerOf <R L0.IsWeaklyRelatedTo
+    
+L0.Activation <T L0.Entity
+    @L0.tag L0.Deprecated
+L0.HasActivation <R L0.IsRelatedTo
+    @L0.tag L0.Deprecated
+    L0.HasRange L0.Activation
+    
+L0.Extent <T L0.Entity
+L0.SubExtentOf <T L0.Entity
+L0.HasExtent <T L0.Entity
+L0.Propagates <T L0.Entity
+L0.PropagatesTo <T L0.Entity
+L0.Includes <T L0.Entity
+L0.IsIncludedWith <T L0.Entity
+    
+L0.HasPackageName <R L0.HasProperty
+    L0.HasRange L0.String
+    
+L0.HasChangeCode <R L0.IsRelatedTo
+    L0.HasRange L0.Long    
+    
+// Old requirements    
+    
+L0.Requires <R L0.IsRelatedTo    
+L0.Requirement <T L0.Entity
+    @L0.property L0.Ignore
+    @L0.tag L0.Abstract
+L0.HasRequirement <R L0.DependsOn
+    L0.HasRange L0.Requirement
+L0.RequirementDisjunction <T L0.Requirement
+    @L0.property L0.HasRequirement
+L0.RequirementConjunction <T L0.Requirement
+    @L0.property L0.HasRequirement
+L0.RequirementNegation <T L0.Requirement
+    @L0.singleProperty L0.HasRequirement
+L0.EqualityRequirement <T L0.Requirement
+    @L0.singleProperty L0.HasEntity
+L0.TypeRequirement <T L0.Requirement
+    @L0.singleProperty L0.HasType
+L0.RelationRequirement <T L0.Requirement
+    @L0.singleProperty L0.ConcernsRelation
+//  [HasCardinality card "0..1"]
+    @L0.property L0.AllValuesSatisfy
+    @L0.property L0.SomeValuesSatisfy
+L0.ValueRequirement <T L0.Requirement
+//  [HasType card "1" all ValueType]
+    @L0.singleProperty L0.HasMultiplicity
+//  [HasValidNumericalRange card "0..1"]
+L0.HasValueRequirement <R L0.HasProperty
+    L0.HasRange L0.ValueRequirement
+L0.HasEntity <R L0.IsRelatedTo    
+L0.AllValuesSatisfy <R L0.DependsOn
+    L0.HasRange L0.Requirement
+L0.SomeValuesSatisfy <R L0.DependsOn
+    L0.HasRange L0.Requirement
+L0.IntegerRangeUnion <T L0.String
+L0.HasMultiplicity <R L0.HasProperty
+    L0.HasRange L0.IntegerRangeUnion
+L0.ValueType <T L0.Type
+    @L0.property L0.HasMultiplicity    
+
+// Predicates
+
+L0.Predicate <T L0.Entity 
+L0.BinaryPredicate <T L0.Entity
+L0P = L0.Predicates : L0.Library
+L0P.Conjunction <T L0.Predicate
+//    [HasPredicate all Predicate]
+L0P.Disjunction <T L0.Predicate
+//    [HasPredicate all Predicate]
+L0P.Negation <T L0.Predicate
+//    [HasPredicate all Predicate card "1"]
+L0BP = L0.BinaryPredicates : L0.Library
+L0BP.OrderedSetElements : L0.BinaryPredicate
+L0BP.CompositePredicate <T L0.BinaryPredicate
+    @L0.singleProperty L0BP.AppliesFirst
+    @L0.singleProperty L0BP.AppliesThen
+L0BP.InversePredicate <T L0.BinaryPredicate
+    @L0.singleProperty L0BP.HasBinaryPredicate
+L0BP.TransitiveClosure <T L0.BinaryPredicate
+    @L0.singleProperty L0BP.HasBinaryPredicate
+L0BP.UnionPredicate <T L0.BinaryPredicate
+    @L0.property L0BP.HasBinaryPredicate
+L0BP.IntersectionPredicate <T L0.BinaryPredicate
+    @L0.property L0BP.HasBinaryPredicate
+L0BP.HasBinaryPredicate <R L0.IsRelatedTo
+    L0.HasRange L0.BinaryPredicate
+L0BP.AppliesFirst <R L0.IsRelatedTo
+    L0.HasRange L0.BinaryPredicate
+L0BP.AppliesThen <R L0.IsRelatedTo
+    L0.HasRange L0.BinaryPredicate
+    
+L0.EntityType <T L0.Type
+L0.Constraint <T L0.Entity
+L0.EvaluatesTo <R L0.IsRelatedTo