diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-16 15:45:14 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:18:52 -0400 |
commit | d6839b05d1e1f2dede0acc58ba2d39f89e8163e4 (patch) | |
tree | 34e6bc5f42f1dcb15434aa784bcaece040e9f60a /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem | |
parent | Set up #19 (diff) | |
download | VIATRA-Generator-d6839b05d1e1f2dede0acc58ba2d39f89e8163e4.tar.gz VIATRA-Generator-d6839b05d1e1f2dede0acc58ba2d39f89e8163e4.tar.zst VIATRA-Generator-d6839b05d1e1f2dede0acc58ba2d39f89e8163e4.zip |
Integrate queries partially #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem | 277 |
1 files changed, 206 insertions, 71 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem index b744bf95..991c88fd 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem | |||
@@ -1,33 +1,23 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | 1 | <?xml version="1.0" encoding="ASCII"?> |
2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"> | 2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> |
3 | <types xsi:type="language_1:TypeDeclaration" name="Pseudostate class" subtypes="//@types.5 //@types.6 //@types.10 //@types.11" supertypes="//@types.1" isAbstract="true"/> | 3 | <types xsi:type="language_1:TypeDeclaration" name="FileSystem class"/> |
4 | <types xsi:type="language_1:TypeDeclaration" name="Vertex class" subtypes="//@types.0 //@types.8" isAbstract="true"/> | 4 | <types xsi:type="language_1:TypeDeclaration" name="FSObject class" subtypes="//@types.2 //@types.3" isAbstract="true"/> |
5 | <types xsi:type="language_1:TypeDeclaration" name="Region class"/> | 5 | <types xsi:type="language_1:TypeDeclaration" name="Dir class" supertypes="//@types.1"/> |
6 | <types xsi:type="language_1:TypeDeclaration" name="Transition class"/> | 6 | <types xsi:type="language_1:TypeDeclaration" name="File class" supertypes="//@types.1"/> |
7 | <types xsi:type="language_1:TypeDeclaration" name="Statechart class" subtypes="//@types.13 //@types.14" supertypes="//@types.9" isAbstract="true"/> | 7 | <types xsi:type="language_1:TypeDeclaration" name="Model class" subtypes="//@types.5 //@types.6" isAbstract="true"/> |
8 | <types xsi:type="language_1:TypeDeclaration" name="Entry class" supertypes="//@types.0"/> | 8 | <types xsi:type="language_1:TypeDefinition" name="Model class DefinedPart" supertypes="//@types.4" elements="//@elements.0"/> |
9 | <types xsi:type="language_1:TypeDeclaration" name="Synchronization class" supertypes="//@types.0"/> | 9 | <types xsi:type="language_1:TypeDeclaration" name="Model class UndefinedPart" supertypes="//@types.4"/> |
10 | <types xsi:type="language_1:TypeDeclaration" name="State class" supertypes="//@types.8 //@types.9 //@types.16"/> | 10 | <assertions name="lowerMultiplicity root FileSystem" annotations="//@annotations.0"> |
11 | <types xsi:type="language_1:TypeDeclaration" name="RegularState class" subtypes="//@types.7 //@types.12" supertypes="//@types.1" isAbstract="true"/> | ||
12 | <types xsi:type="language_1:TypeDeclaration" name="CompositeElement class" subtypes="//@types.4 //@types.7 //@types.15 //@types.16" isAbstract="true"/> | ||
13 | <types xsi:type="language_1:TypeDeclaration" name="Choice class" supertypes="//@types.0"/> | ||
14 | <types xsi:type="language_1:TypeDeclaration" name="Exit class" supertypes="//@types.0"/> | ||
15 | <types xsi:type="language_1:TypeDeclaration" name="FinalState class" supertypes="//@types.8"/> | ||
16 | <types xsi:type="language_1:TypeDefinition" name="Statechart class DefinedPart" supertypes="//@types.4 //@types.15" elements="//@elements.0"/> | ||
17 | <types xsi:type="language_1:TypeDeclaration" name="Statechart class UndefinedPart" supertypes="//@types.4 //@types.16"/> | ||
18 | <types xsi:type="language_1:TypeDefinition" name="CompositeElement class DefinedPart" subtypes="//@types.13" supertypes="//@types.9" isAbstract="true" elements="//@elements.0"/> | ||
19 | <types xsi:type="language_1:TypeDeclaration" name="CompositeElement class UndefinedPart" subtypes="//@types.14 //@types.7" supertypes="//@types.9" isAbstract="true"/> | ||
20 | <assertions name="lowerMultiplicity target Transition" annotations="//@annotations.0"> | ||
21 | <value xsi:type="language_1:Forall"> | 11 | <value xsi:type="language_1:Forall"> |
22 | <quantifiedVariables name="src"> | 12 | <quantifiedVariables name="src"> |
23 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 13 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
24 | </quantifiedVariables> | 14 | </quantifiedVariables> |
25 | <expression xsi:type="language_1:Exists"> | 15 | <expression xsi:type="language_1:Exists"> |
26 | <quantifiedVariables name="trg 1"> | 16 | <quantifiedVariables name="trg 1"> |
27 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 17 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
28 | </quantifiedVariables> | 18 | </quantifiedVariables> |
29 | <expression xsi:type="language_1:And"> | 19 | <expression xsi:type="language_1:And"> |
30 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | 20 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
31 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | 21 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
32 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/> | 22 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/> |
33 | </operands> | 23 | </operands> |
@@ -35,24 +25,24 @@ | |||
35 | </expression> | 25 | </expression> |
36 | </value> | 26 | </value> |
37 | </assertions> | 27 | </assertions> |
38 | <assertions name="upperMultiplicity target Transition" annotations="//@annotations.1"> | 28 | <assertions name="upperMultiplicity root FileSystem" annotations="//@annotations.1"> |
39 | <value xsi:type="language_1:Forall"> | 29 | <value xsi:type="language_1:Forall"> |
40 | <quantifiedVariables name="src"> | 30 | <quantifiedVariables name="src"> |
41 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 31 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
42 | </quantifiedVariables> | 32 | </quantifiedVariables> |
43 | <quantifiedVariables name="trg 1"> | 33 | <quantifiedVariables name="trg 1"> |
44 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 34 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
45 | </quantifiedVariables> | 35 | </quantifiedVariables> |
46 | <quantifiedVariables name="trg 2"> | 36 | <quantifiedVariables name="trg 2"> |
47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 37 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
48 | </quantifiedVariables> | 38 | </quantifiedVariables> |
49 | <expression xsi:type="language_1:Impl"> | 39 | <expression xsi:type="language_1:Impl"> |
50 | <leftOperand xsi:type="language_1:And"> | 40 | <leftOperand xsi:type="language_1:And"> |
51 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | 41 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
52 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | 42 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> |
53 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | 43 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> |
54 | </operands> | 44 | </operands> |
55 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | 45 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
56 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | 46 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> |
57 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | 47 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> |
58 | </operands> | 48 | </operands> |
@@ -66,24 +56,24 @@ | |||
66 | </expression> | 56 | </expression> |
67 | </value> | 57 | </value> |
68 | </assertions> | 58 | </assertions> |
69 | <assertions name="upperMultiplicity source Transition" annotations="//@annotations.2"> | 59 | <assertions name="upperMultiplicity parent FSObject" annotations="//@annotations.2"> |
70 | <value xsi:type="language_1:Forall"> | 60 | <value xsi:type="language_1:Forall"> |
71 | <quantifiedVariables name="src"> | 61 | <quantifiedVariables name="src"> |
72 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 62 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
73 | </quantifiedVariables> | 63 | </quantifiedVariables> |
74 | <quantifiedVariables name="trg 1"> | 64 | <quantifiedVariables name="trg 1"> |
75 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 65 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
76 | </quantifiedVariables> | 66 | </quantifiedVariables> |
77 | <quantifiedVariables name="trg 2"> | 67 | <quantifiedVariables name="trg 2"> |
78 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 68 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
79 | </quantifiedVariables> | 69 | </quantifiedVariables> |
80 | <expression xsi:type="language_1:Impl"> | 70 | <expression xsi:type="language_1:Impl"> |
81 | <leftOperand xsi:type="language_1:And"> | 71 | <leftOperand xsi:type="language_1:And"> |
82 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 72 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
83 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | 73 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> |
84 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | 74 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> |
85 | </operands> | 75 | </operands> |
86 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 76 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
87 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | 77 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> |
88 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | 78 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> |
89 | </operands> | 79 | </operands> |
@@ -97,75 +87,220 @@ | |||
97 | </expression> | 87 | </expression> |
98 | </value> | 88 | </value> |
99 | </assertions> | 89 | </assertions> |
100 | <assertions name="oppositeReference incomingTransitions Vertex" annotations="//@annotations.3"> | 90 | <assertions name="lowerMultiplicity filesystems Model" annotations="//@annotations.3"> |
101 | <value xsi:type="language_1:Forall"> | 91 | <value xsi:type="language_1:Forall"> |
102 | <quantifiedVariables name="src"> | 92 | <quantifiedVariables name="src"> |
103 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 93 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
104 | </quantifiedVariables> | 94 | </quantifiedVariables> |
105 | <quantifiedVariables name="trg"> | 95 | <expression xsi:type="language_1:Exists"> |
106 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 96 | <quantifiedVariables name="trg 1"> |
97 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
98 | </quantifiedVariables> | ||
99 | <expression xsi:type="language_1:And"> | ||
100 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
101 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
102 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@expression/@quantifiedVariables.0"/> | ||
103 | </operands> | ||
104 | </expression> | ||
105 | </expression> | ||
106 | </value> | ||
107 | </assertions> | ||
108 | <assertions name="upperMultiplicity filesystems Model" annotations="//@annotations.4"> | ||
109 | <value xsi:type="language_1:Forall"> | ||
110 | <quantifiedVariables name="src"> | ||
111 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
107 | </quantifiedVariables> | 112 | </quantifiedVariables> |
108 | <expression xsi:type="language_1:Iff"> | 113 | <quantifiedVariables name="trg 1"> |
109 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | 114 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
110 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | 115 | </quantifiedVariables> |
111 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | 116 | <quantifiedVariables name="trg 2"> |
117 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
118 | </quantifiedVariables> | ||
119 | <expression xsi:type="language_1:Impl"> | ||
120 | <leftOperand xsi:type="language_1:And"> | ||
121 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
122 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
123 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
124 | </operands> | ||
125 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
126 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
127 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | ||
128 | </operands> | ||
112 | </leftOperand> | 129 | </leftOperand> |
113 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | 130 | <rightOperand xsi:type="language_1:Not"> |
114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | 131 | <operand xsi:type="language_1:Distinct"> |
115 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | 132 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> |
133 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | ||
134 | </operand> | ||
116 | </rightOperand> | 135 | </rightOperand> |
117 | </expression> | 136 | </expression> |
118 | </value> | 137 | </value> |
119 | </assertions> | 138 | </assertions> |
120 | <assertions name="oppositeReference outgoingTransitions Vertex" annotations="//@annotations.4"> | 139 | <assertions name="oppositeReference parent FSObject" annotations="//@annotations.5"> |
121 | <value xsi:type="language_1:Forall"> | 140 | <value xsi:type="language_1:Forall"> |
122 | <quantifiedVariables name="src"> | 141 | <quantifiedVariables name="src"> |
123 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 142 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
124 | </quantifiedVariables> | 143 | </quantifiedVariables> |
125 | <quantifiedVariables name="trg"> | 144 | <quantifiedVariables name="trg"> |
126 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 145 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
127 | </quantifiedVariables> | 146 | </quantifiedVariables> |
128 | <expression xsi:type="language_1:Iff"> | 147 | <expression xsi:type="language_1:Iff"> |
129 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | 148 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
130 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | 149 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> |
131 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | 150 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> |
132 | </leftOperand> | 151 | </leftOperand> |
133 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 152 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> |
134 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | 153 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> |
135 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | 154 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> |
136 | </rightOperand> | 155 | </rightOperand> |
137 | </expression> | 156 | </expression> |
138 | </value> | 157 | </value> |
139 | </assertions> | 158 | </assertions> |
140 | <relations xsi:type="language_1:RelationDeclaration" name="incomingTransitions reference Vertex"> | 159 | <assertions name="errorpattern ca mcgill ecse dslreasoner standalone test filesystem queries contentInNotLive" annotations="//@annotations.9"> |
160 | <value xsi:type="language_1:Forall"> | ||
161 | <quantifiedVariables name="p0"> | ||
162 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
163 | </quantifiedVariables> | ||
164 | <quantifiedVariables name="p1"> | ||
165 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
166 | </quantifiedVariables> | ||
167 | <expression xsi:type="language_1:Not"> | ||
168 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
169 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | ||
170 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | ||
171 | </operand> | ||
172 | </expression> | ||
173 | </value> | ||
174 | </assertions> | ||
175 | <relations xsi:type="language_1:RelationDeclaration" name="root reference FileSystem"> | ||
176 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
177 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
178 | </relations> | ||
179 | <relations xsi:type="language_1:RelationDeclaration" name="live reference FileSystem" annotations="//@annotations.10"> | ||
180 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
141 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 181 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
142 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
143 | </relations> | 182 | </relations> |
144 | <relations xsi:type="language_1:RelationDeclaration" name="outgoingTransitions reference Vertex"> | 183 | <relations xsi:type="language_1:RelationDeclaration" name="parent reference FSObject"> |
145 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 184 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
146 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 185 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
147 | </relations> | 186 | </relations> |
148 | <relations xsi:type="language_1:RelationDeclaration" name="vertices reference Region"> | 187 | <relations xsi:type="language_1:RelationDeclaration" name="contents reference Dir"> |
149 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 188 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
150 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 189 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
151 | </relations> | 190 | </relations> |
152 | <relations xsi:type="language_1:RelationDeclaration" name="target reference Transition"> | 191 | <relations xsi:type="language_1:RelationDeclaration" name="filesystems reference Model"> |
153 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 192 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
193 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
194 | </relations> | ||
195 | <relations xsi:type="language_1:RelationDeclaration" name="otherFSObjects reference Model"> | ||
196 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
154 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 197 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
155 | </relations> | 198 | </relations> |
156 | <relations xsi:type="language_1:RelationDeclaration" name="source reference Transition"> | 199 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner standalone test filesystem queries patternContent" annotations="//@annotations.6"> |
157 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 200 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
158 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 201 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
202 | <variables name="parameter o1"> | ||
203 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
204 | </variables> | ||
205 | <variables name="parameter o2"> | ||
206 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
207 | </variables> | ||
208 | <value xsi:type="language_1:Or"> | ||
209 | <operands xsi:type="language_1:And"> | ||
210 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
211 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | ||
212 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | ||
213 | </operands> | ||
214 | </operands> | ||
215 | </value> | ||
159 | </relations> | 216 | </relations> |
160 | <relations xsi:type="language_1:RelationDeclaration" name="regions reference CompositeElement"> | 217 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner standalone test filesystem queries live" annotations="//@annotations.7" defines="//@relations.1"> |
161 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | 218 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
219 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
220 | <variables name="parameter this"> | ||
221 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
222 | </variables> | ||
223 | <variables name="parameter l"> | ||
224 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
225 | </variables> | ||
226 | <value xsi:type="language_1:Or"> | ||
227 | <operands xsi:type="language_1:And"> | ||
228 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
229 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> | ||
230 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.1"/> | ||
231 | </operands> | ||
232 | </operands> | ||
233 | <operands xsi:type="language_1:Exists"> | ||
234 | <quantifiedVariables name="variable root"> | ||
235 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
236 | </quantifiedVariables> | ||
237 | <expression xsi:type="language_1:And"> | ||
238 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
239 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> | ||
240 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.1/@quantifiedVariables.0"/> | ||
241 | </operands> | ||
242 | <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.6"/> | ||
243 | </expression> | ||
244 | </operands> | ||
245 | </value> | ||
246 | </relations> | ||
247 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner standalone test filesystem queries contentInNotLive" annotations="//@annotations.8"> | ||
162 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 248 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
249 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
250 | <variables name="parameter parent"> | ||
251 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
252 | </variables> | ||
253 | <variables name="parameter child"> | ||
254 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
255 | </variables> | ||
256 | <value xsi:type="language_1:Or"> | ||
257 | <operands xsi:type="language_1:Forall"> | ||
258 | <quantifiedVariables name="variable 0"> | ||
259 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
260 | </quantifiedVariables> | ||
261 | <expression xsi:type="language_1:And"> | ||
262 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
263 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
264 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | ||
265 | </operands> | ||
266 | <operands xsi:type="language_1:Not"> | ||
267 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
268 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
269 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
270 | </operand> | ||
271 | </operands> | ||
272 | </expression> | ||
273 | </operands> | ||
274 | <operands xsi:type="language_1:Forall"> | ||
275 | <quantifiedVariables name="variable 0"> | ||
276 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
277 | </quantifiedVariables> | ||
278 | <expression xsi:type="language_1:And"> | ||
279 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
280 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
281 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | ||
282 | </operands> | ||
283 | <operands xsi:type="language_1:Not"> | ||
284 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
285 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.1/@quantifiedVariables.0"/> | ||
286 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | ||
287 | </operand> | ||
288 | </operands> | ||
289 | </expression> | ||
290 | </operands> | ||
291 | </value> | ||
163 | </relations> | 292 | </relations> |
164 | <elements name="o 1" definedInType="//@types.13 //@types.15"/> | 293 | <elements name="o 1" definedInType="//@types.5"/> |
165 | <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.9 //@types.3 //@types.7 //@types.6 //@types.5 //@types.8 //@types.10 //@types.1 //@types.4 //@types.11 //@types.12 //@types.2 //@types.13 //@types.14 //@types.15 //@types.16" containmentRelations="//@relations.1 //@relations.2 //@relations.5"/> | 294 | <containmentHierarchies typesOrderedInHierarchy="//@types.4 //@types.3 //@types.1 //@types.0 //@types.2 //@types.5 //@types.6" containmentRelations="//@relations.0 //@relations.3 //@relations.4 //@relations.5"/> |
166 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.3" lower="1"/> | 295 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/> |
167 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/> | 296 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/> |
168 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.4" upper="1"/> | 297 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.2" upper="1"/> |
169 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.3" inverseA="//@relations.0" inverseB="//@relations.3"/> | 298 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" lower="1"/> |
170 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.4" inverseA="//@relations.1" inverseB="//@relations.4"/> | 299 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.4" upper="1"/> |
300 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.5" inverseA="//@relations.2" inverseB="//@relations.3"/> | ||
301 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.patternContent"/> | ||
302 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.live"/> | ||
303 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.contentInNotLive"/> | ||
304 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.8"/> | ||
305 | <annotations xsi:type="viatra2logicannotations:DefinedByDerivedFeature" target="//@relations.1" query="//@annotations.7"/> | ||
171 | </language:LogicProblem> | 306 | </language:LogicProblem> |