diff options
author | 2019-05-15 13:46:38 -0400 | |
---|---|---|
committer | 2019-05-15 13:46:38 -0400 | |
commit | e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef (patch) | |
tree | 42cb23ff8839308345c0859cdf99469c930af03b /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.gz VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.zst VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.zip |
Formalize CPS case study for optimization
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model')
3 files changed, 1060 insertions, 165 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird index d94d68b4..3f1b0301 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.aird | |||
@@ -3,6 +3,991 @@ | |||
3 | <viewpoint:DAnalysis uid="_kQWZMFvMEemLJtrAOuDPFQ" selectedViews="_kSYZgFvMEemLJtrAOuDPFQ" version="14.1.0.201810161215"> | 3 | <viewpoint:DAnalysis uid="_kQWZMFvMEemLJtrAOuDPFQ" selectedViews="_kSYZgFvMEemLJtrAOuDPFQ" version="14.1.0.201810161215"> |
4 | <semanticResources>cps.ecore</semanticResources> | 4 | <semanticResources>cps.ecore</semanticResources> |
5 | <semanticResources>cps.genmodel</semanticResources> | 5 | <semanticResources>cps.genmodel</semanticResources> |
6 | <semanticResources>../src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql</semanticResources> | ||
7 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> | ||
8 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch</semanticResources> | ||
9 | <semanticResources>java:/Objects/java.lang.Object</semanticResources> | ||
10 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.IPatternMatch</semanticResources> | ||
11 | <semanticResources>java:/Primitives</semanticResources> | ||
12 | <semanticResources>java:/Objects/java.lang.SafeVarargs</semanticResources> | ||
13 | <semanticResources>java:/Objects/java.util.List</semanticResources> | ||
14 | <semanticResources>java:/Objects/java.lang.String</semanticResources> | ||
15 | <semanticResources>java:/Objects/java.lang.CloneNotSupportedException</semanticResources> | ||
16 | <semanticResources>java:/Objects/java.lang.Throwable</semanticResources> | ||
17 | <semanticResources>java:/Objects/java.lang.Class</semanticResources> | ||
18 | <semanticResources>java:/Objects/java.lang.InterruptedException</semanticResources> | ||
19 | <semanticResources>java:/Objects/java.lang.Exception</semanticResources> | ||
20 | <semanticResources>java:/Objects/java.io.Serializable</semanticResources> | ||
21 | <semanticResources>java:/Objects/java.io.PrintWriter</semanticResources> | ||
22 | <semanticResources>java:/Objects/java.io.PrintStream</semanticResources> | ||
23 | <semanticResources>java:/Objects/java.lang.StackTraceElement</semanticResources> | ||
24 | <semanticResources>java:/Objects/java.util.Set</semanticResources> | ||
25 | <semanticResources>java:/Objects/java.io.ObjectInputStream</semanticResources> | ||
26 | <semanticResources>java:/Objects/java.io.IOException</semanticResources> | ||
27 | <semanticResources>java:/Objects/java.lang.ClassNotFoundException</semanticResources> | ||
28 | <semanticResources>java:/Objects/java.io.ObjectOutputStream</semanticResources> | ||
29 | <semanticResources>java:/Objects/java.io.Writer</semanticResources> | ||
30 | <semanticResources>java:/Objects/java.io.OutputStream</semanticResources> | ||
31 | <semanticResources>java:/Objects/java.io.FileNotFoundException</semanticResources> | ||
32 | <semanticResources>java:/Objects/java.io.File</semanticResources> | ||
33 | <semanticResources>java:/Objects/java.nio.charset.Charset</semanticResources> | ||
34 | <semanticResources>java:/Objects/java.io.UnsupportedEncodingException</semanticResources> | ||
35 | <semanticResources>java:/Objects/java.lang.CharSequence</semanticResources> | ||
36 | <semanticResources>java:/Objects/java.util.Locale</semanticResources> | ||
37 | <semanticResources>java:/Objects/java.util.Formatter</semanticResources> | ||
38 | <semanticResources>java:/Objects/java.lang.Appendable</semanticResources> | ||
39 | <semanticResources>java:/Objects/java.io.Closeable</semanticResources> | ||
40 | <semanticResources>java:/Objects/java.io.Flushable</semanticResources> | ||
41 | <semanticResources>java:/Objects/java.lang.AutoCloseable</semanticResources> | ||
42 | <semanticResources>java:/Objects/java.lang.Comparable</semanticResources> | ||
43 | <semanticResources>java:/Objects/java.security.SecureRandom</semanticResources> | ||
44 | <semanticResources>java:/Objects/java.lang.Enum</semanticResources> | ||
45 | <semanticResources>java:/Objects/java.net.URI</semanticResources> | ||
46 | <semanticResources>java:/Objects/java.io.FilenameFilter</semanticResources> | ||
47 | <semanticResources>java:/Objects/java.io.FileFilter</semanticResources> | ||
48 | <semanticResources>java:/Objects/java.nio.file.Path</semanticResources> | ||
49 | <semanticResources>java:/Objects/java.lang.Deprecated</semanticResources> | ||
50 | <semanticResources>java:/Objects/java.net.MalformedURLException</semanticResources> | ||
51 | <semanticResources>java:/Objects/java.net.URL</semanticResources> | ||
52 | <semanticResources>java:/Objects/sun.misc.Unsafe</semanticResources> | ||
53 | <semanticResources>java:/Objects/java.io.FileSystem</semanticResources> | ||
54 | <semanticResources>java:/Objects/java.util.Random</semanticResources> | ||
55 | <semanticResources>java:/Objects/java.util.regex.Pattern</semanticResources> | ||
56 | <semanticResources>java:/Objects/java.security.SecureRandomSpi</semanticResources> | ||
57 | <semanticResources>java:/Objects/java.security.Provider</semanticResources> | ||
58 | <semanticResources>java:/Objects/java.security.NoSuchAlgorithmException</semanticResources> | ||
59 | <semanticResources>java:/Objects/java.security.NoSuchProviderException</semanticResources> | ||
60 | <semanticResources>java:/Objects/java.security.MessageDigest</semanticResources> | ||
61 | <semanticResources>java:/Objects/sun.security.util.Debug</semanticResources> | ||
62 | <semanticResources>java:/Objects/java.util.Spliterator</semanticResources> | ||
63 | <semanticResources>java:/Objects/java.util.function.DoubleConsumer</semanticResources> | ||
64 | <semanticResources>java:/Objects/java.util.function.LongConsumer</semanticResources> | ||
65 | <semanticResources>java:/Objects/java.util.function.IntConsumer</semanticResources> | ||
66 | <semanticResources>java:/Objects/java.util.stream.DoubleStream</semanticResources> | ||
67 | <semanticResources>java:/Objects/java.util.stream.IntStream</semanticResources> | ||
68 | <semanticResources>java:/Objects/java.util.stream.LongStream</semanticResources> | ||
69 | <semanticResources>java:/Objects/java.util.concurrent.atomic.AtomicLong</semanticResources> | ||
70 | <semanticResources>java:/Objects/java.io.ObjectStreamField</semanticResources> | ||
71 | <semanticResources>java:/Objects/java.lang.Double</semanticResources> | ||
72 | <semanticResources>java:/Objects/java.util.function.Consumer</semanticResources> | ||
73 | <semanticResources>java:/Objects/java.lang.Long</semanticResources> | ||
74 | <semanticResources>java:/Objects/java.lang.Integer</semanticResources> | ||
75 | <semanticResources>java:/Objects/java.util.Comparator</semanticResources> | ||
76 | <semanticResources>java:/Objects/java.lang.Number</semanticResources> | ||
77 | <semanticResources>java:/Objects/java.lang.NumberFormatException</semanticResources> | ||
78 | <semanticResources>java:/Objects/java.lang.IllegalArgumentException</semanticResources> | ||
79 | <semanticResources>java:/Objects/java.lang.RuntimeException</semanticResources> | ||
80 | <semanticResources>java:/Objects/java.lang.FunctionalInterface</semanticResources> | ||
81 | <semanticResources>java:/Objects/java.lang.annotation.Target</semanticResources> | ||
82 | <semanticResources>java:/Objects/java.lang.annotation.ElementType</semanticResources> | ||
83 | <semanticResources>java:/Objects/java.lang.annotation.Retention</semanticResources> | ||
84 | <semanticResources>java:/Objects/java.lang.annotation.RetentionPolicy</semanticResources> | ||
85 | <semanticResources>java:/Objects/java.lang.annotation.Documented</semanticResources> | ||
86 | <semanticResources>java:/Objects/java.lang.annotation.Annotation</semanticResources> | ||
87 | <semanticResources>java:/Objects/java.math.BigInteger</semanticResources> | ||
88 | <semanticResources>java:/Objects/java.lang.StringBuilder</semanticResources> | ||
89 | <semanticResources>java:/Objects/java.lang.AbstractStringBuilder</semanticResources> | ||
90 | <semanticResources>java:/Objects/java.lang.StringBuffer</semanticResources> | ||
91 | <semanticResources>java:/Objects/java.util.function.Function</semanticResources> | ||
92 | <semanticResources>java:/Objects/java.util.function.ToDoubleFunction</semanticResources> | ||
93 | <semanticResources>java:/Objects/java.util.function.ToIntFunction</semanticResources> | ||
94 | <semanticResources>java:/Objects/java.util.function.ToLongFunction</semanticResources> | ||
95 | <semanticResources>java:/Objects/java.util.stream.BaseStream</semanticResources> | ||
96 | <semanticResources>java:/Objects/java.util.function.DoublePredicate</semanticResources> | ||
97 | <semanticResources>java:/Objects/java.util.OptionalDouble</semanticResources> | ||
98 | <semanticResources>java:/Objects/java.util.stream.Stream</semanticResources> | ||
99 | <semanticResources>java:/Objects/java.util.function.Supplier</semanticResources> | ||
100 | <semanticResources>java:/Objects/java.util.function.ObjDoubleConsumer</semanticResources> | ||
101 | <semanticResources>java:/Objects/java.util.function.BiConsumer</semanticResources> | ||
102 | <semanticResources>java:/Objects/java.util.function.DoubleFunction</semanticResources> | ||
103 | <semanticResources>java:/Objects/java.util.function.DoubleSupplier</semanticResources> | ||
104 | <semanticResources>java:/Objects/java.util.function.DoubleUnaryOperator</semanticResources> | ||
105 | <semanticResources>java:/Objects/java.util.PrimitiveIterator</semanticResources> | ||
106 | <semanticResources>java:/Objects/java.util.function.DoubleToIntFunction</semanticResources> | ||
107 | <semanticResources>java:/Objects/java.util.function.DoubleToLongFunction</semanticResources> | ||
108 | <semanticResources>java:/Objects/java.util.function.DoubleBinaryOperator</semanticResources> | ||
109 | <semanticResources>java:/Objects/java.util.DoubleSummaryStatistics</semanticResources> | ||
110 | <semanticResources>java:/Objects/java.util.Iterator</semanticResources> | ||
111 | <semanticResources>java:/Objects/java.lang.Runnable</semanticResources> | ||
112 | <semanticResources>java:/Objects/java.util.function.Predicate</semanticResources> | ||
113 | <semanticResources>java:/Objects/java.util.stream.Collector</semanticResources> | ||
114 | <semanticResources>java:/Objects/java.util.Optional</semanticResources> | ||
115 | <semanticResources>java:/Objects/java.util.function.UnaryOperator</semanticResources> | ||
116 | <semanticResources>java:/Objects/java.util.function.BinaryOperator</semanticResources> | ||
117 | <semanticResources>java:/Objects/java.util.function.BiFunction</semanticResources> | ||
118 | <semanticResources>java:/Objects/java.util.function.IntFunction</semanticResources> | ||
119 | <semanticResources>java:/Objects/java.util.function.IntPredicate</semanticResources> | ||
120 | <semanticResources>java:/Objects/java.util.function.ObjIntConsumer</semanticResources> | ||
121 | <semanticResources>java:/Objects/java.util.OptionalInt</semanticResources> | ||
122 | <semanticResources>java:/Objects/java.util.function.IntSupplier</semanticResources> | ||
123 | <semanticResources>java:/Objects/java.util.function.IntUnaryOperator</semanticResources> | ||
124 | <semanticResources>java:/Objects/java.util.function.IntToDoubleFunction</semanticResources> | ||
125 | <semanticResources>java:/Objects/java.util.function.IntToLongFunction</semanticResources> | ||
126 | <semanticResources>java:/Objects/java.util.function.IntBinaryOperator</semanticResources> | ||
127 | <semanticResources>java:/Objects/java.util.IntSummaryStatistics</semanticResources> | ||
128 | <semanticResources>java:/Objects/java.util.function.LongPredicate</semanticResources> | ||
129 | <semanticResources>java:/Objects/java.util.function.ObjLongConsumer</semanticResources> | ||
130 | <semanticResources>java:/Objects/java.util.OptionalLong</semanticResources> | ||
131 | <semanticResources>java:/Objects/java.util.function.LongFunction</semanticResources> | ||
132 | <semanticResources>java:/Objects/java.util.function.LongSupplier</semanticResources> | ||
133 | <semanticResources>java:/Objects/java.util.function.LongUnaryOperator</semanticResources> | ||
134 | <semanticResources>java:/Objects/java.util.function.LongToDoubleFunction</semanticResources> | ||
135 | <semanticResources>java:/Objects/java.util.function.LongToIntFunction</semanticResources> | ||
136 | <semanticResources>java:/Objects/java.util.function.LongBinaryOperator</semanticResources> | ||
137 | <semanticResources>java:/Objects/java.util.LongSummaryStatistics</semanticResources> | ||
138 | <semanticResources>java:/Objects/java.lang.reflect.Field</semanticResources> | ||
139 | <semanticResources>java:/Objects/sun.reflect.CallerSensitive</semanticResources> | ||
140 | <semanticResources>java:/Objects/java.lang.reflect.AccessibleObject</semanticResources> | ||
141 | <semanticResources>java:/Objects/java.lang.reflect.Member</semanticResources> | ||
142 | <semanticResources>java:/Objects/sun.reflect.FieldAccessor</semanticResources> | ||
143 | <semanticResources>java:/Objects/java.util.Map</semanticResources> | ||
144 | <semanticResources>java:/Objects/java.lang.IllegalAccessException</semanticResources> | ||
145 | <semanticResources>java:/Objects/java.lang.reflect.AnnotatedType</semanticResources> | ||
146 | <semanticResources>java:/Objects/sun.reflect.generics.factory.GenericsFactory</semanticResources> | ||
147 | <semanticResources>java:/Objects/sun.reflect.generics.repository.FieldRepository</semanticResources> | ||
148 | <semanticResources>java:/Objects/java.lang.reflect.Type</semanticResources> | ||
149 | <semanticResources>java:/Objects/java.lang.reflect.AnnotatedElement</semanticResources> | ||
150 | <semanticResources>java:/Objects/java.lang.SecurityException</semanticResources> | ||
151 | <semanticResources>java:/Objects/java.security.Permission</semanticResources> | ||
152 | <semanticResources>java:/Objects/sun.reflect.ReflectionFactory</semanticResources> | ||
153 | <semanticResources>java:/Objects/java.security.Guard</semanticResources> | ||
154 | <semanticResources>java:/Objects/java.security.PermissionCollection</semanticResources> | ||
155 | <semanticResources>java:/Objects/java.util.Enumeration</semanticResources> | ||
156 | <semanticResources>java:/Objects/java.security.PrivilegedAction</semanticResources> | ||
157 | <semanticResources>java:/Objects/java.lang.reflect.Constructor</semanticResources> | ||
158 | <semanticResources>java:/Objects/java.lang.reflect.Method</semanticResources> | ||
159 | <semanticResources>java:/Objects/java.lang.invoke.MethodHandle</semanticResources> | ||
160 | <semanticResources>java:/Objects/sun.reflect.ConstructorAccessor</semanticResources> | ||
161 | <semanticResources>java:/Objects/java.lang.reflect.Executable</semanticResources> | ||
162 | <semanticResources>java:/Objects/sun.reflect.MethodAccessor</semanticResources> | ||
163 | <semanticResources>java:/Objects/sun.reflect.LangReflectAccess</semanticResources> | ||
164 | <semanticResources>java:/Objects/java.io.OptionalDataException</semanticResources> | ||
165 | <semanticResources>java:/Objects/sun.reflect.generics.repository.ConstructorRepository</semanticResources> | ||
166 | <semanticResources>java:/Objects/java.lang.reflect.TypeVariable</semanticResources> | ||
167 | <semanticResources>java:/Objects/java.lang.InstantiationException</semanticResources> | ||
168 | <semanticResources>java:/Objects/java.lang.reflect.InvocationTargetException</semanticResources> | ||
169 | <semanticResources>java:/Objects/sun.reflect.generics.repository.GenericDeclRepository</semanticResources> | ||
170 | <semanticResources>java:/Objects/sun.reflect.generics.tree.MethodTypeSignature</semanticResources> | ||
171 | <semanticResources>java:/Objects/sun.reflect.generics.repository.AbstractRepository</semanticResources> | ||
172 | <semanticResources>java:/Objects/sun.reflect.generics.tree.Signature</semanticResources> | ||
173 | <semanticResources>java:/Objects/sun.reflect.generics.visitor.Reifier</semanticResources> | ||
174 | <semanticResources>java:/Objects/sun.reflect.generics.tree.Tree</semanticResources> | ||
175 | <semanticResources>java:/Objects/sun.reflect.generics.visitor.TypeTreeVisitor</semanticResources> | ||
176 | <semanticResources>java:/Objects/sun.reflect.generics.tree.TypeArgument</semanticResources> | ||
177 | <semanticResources>java:/Objects/sun.reflect.generics.tree.ArrayTypeSignature</semanticResources> | ||
178 | <semanticResources>java:/Objects/sun.reflect.generics.tree.BooleanSignature</semanticResources> | ||
179 | <semanticResources>java:/Objects/sun.reflect.generics.tree.BottomSignature</semanticResources> | ||
180 | <semanticResources>java:/Objects/sun.reflect.generics.tree.ByteSignature</semanticResources> | ||
181 | <semanticResources>java:/Objects/sun.reflect.generics.tree.CharSignature</semanticResources> | ||
182 | <semanticResources>java:/Objects/sun.reflect.generics.tree.ClassTypeSignature</semanticResources> | ||
183 | <semanticResources>java:/Objects/sun.reflect.generics.tree.DoubleSignature</semanticResources> | ||
184 | <semanticResources>java:/Objects/sun.reflect.generics.tree.FloatSignature</semanticResources> | ||
185 | <semanticResources>java:/Objects/sun.reflect.generics.tree.FormalTypeParameter</semanticResources> | ||
186 | <semanticResources>java:/Objects/sun.reflect.generics.tree.IntSignature</semanticResources> | ||
187 | <semanticResources>java:/Objects/sun.reflect.generics.tree.LongSignature</semanticResources> | ||
188 | <semanticResources>java:/Objects/sun.reflect.generics.tree.ShortSignature</semanticResources> | ||
189 | <semanticResources>java:/Objects/sun.reflect.generics.tree.SimpleClassTypeSignature</semanticResources> | ||
190 | <semanticResources>java:/Objects/sun.reflect.generics.tree.TypeVariableSignature</semanticResources> | ||
191 | <semanticResources>java:/Objects/sun.reflect.generics.tree.VoidDescriptor</semanticResources> | ||
192 | <semanticResources>java:/Objects/sun.reflect.generics.tree.Wildcard</semanticResources> | ||
193 | <semanticResources>java:/Objects/sun.reflect.generics.tree.TypeTree</semanticResources> | ||
194 | <semanticResources>java:/Objects/sun.reflect.generics.tree.FieldTypeSignature</semanticResources> | ||
195 | <semanticResources>java:/Objects/sun.reflect.generics.tree.TypeSignature</semanticResources> | ||
196 | <semanticResources>java:/Objects/sun.reflect.generics.tree.BaseType</semanticResources> | ||
197 | <semanticResources>java:/Objects/sun.reflect.generics.tree.ReturnType</semanticResources> | ||
198 | <semanticResources>java:/Objects/sun.reflect.generics.visitor.Visitor</semanticResources> | ||
199 | <semanticResources>java:/Objects/sun.reflect.generics.tree.ClassSignature</semanticResources> | ||
200 | <semanticResources>java:/Objects/java.lang.reflect.GenericDeclaration</semanticResources> | ||
201 | <semanticResources>java:/Objects/java.lang.ReflectiveOperationException</semanticResources> | ||
202 | <semanticResources>java:/Objects/sun.reflect.generics.repository.MethodRepository</semanticResources> | ||
203 | <semanticResources>java:/Objects/java.lang.invoke.MethodType</semanticResources> | ||
204 | <semanticResources>java:/Objects/java.lang.invoke.LambdaForm</semanticResources> | ||
205 | <semanticResources>java:/Objects/java.lang.invoke.BoundMethodHandle</semanticResources> | ||
206 | <semanticResources>java:/Objects/java.lang.invoke.MemberName</semanticResources> | ||
207 | <semanticResources>java:/Objects/java.lang.invoke.MethodHandleImpl</semanticResources> | ||
208 | <semanticResources>java:/Objects/java.lang.ref.WeakReference</semanticResources> | ||
209 | <semanticResources>java:/Objects/java.lang.ref.ReferenceQueue</semanticResources> | ||
210 | <semanticResources>java:/Objects/java.util.concurrent.ConcurrentMap</semanticResources> | ||
211 | <semanticResources>java:/Objects/java.lang.invoke.MethodTypeForm</semanticResources> | ||
212 | <semanticResources>java:/Objects/java.lang.ClassLoader</semanticResources> | ||
213 | <semanticResources>java:/Objects/java.lang.TypeNotPresentException</semanticResources> | ||
214 | <semanticResources>java:/Objects/java.lang.invoke.Invokers</semanticResources> | ||
215 | <semanticResources>java:/Objects/java.lang.IndexOutOfBoundsException</semanticResources> | ||
216 | <semanticResources>java:/Objects/java.lang.invoke.Stable</semanticResources> | ||
217 | <semanticResources>java:/Objects/java.lang.ref.Reference</semanticResources> | ||
218 | <semanticResources>java:/Objects/java.lang.Thread</semanticResources> | ||
219 | <semanticResources>java:/Objects/java.lang.ThreadGroup</semanticResources> | ||
220 | <semanticResources>java:/Objects/java.lang.Boolean</semanticResources> | ||
221 | <semanticResources>java:/Objects/java.security.AccessControlContext</semanticResources> | ||
222 | <semanticResources>java:/Objects/sun.nio.ch.Interruptible</semanticResources> | ||
223 | <semanticResources>java:/Objects/java.lang.RuntimePermission</semanticResources> | ||
224 | <semanticResources>java:/Objects/java.lang.ThreadLocal</semanticResources> | ||
225 | <semanticResources>java:/Objects/sun.misc.Contended</semanticResources> | ||
226 | <semanticResources>java:/Objects/java.security.ProtectionDomain</semanticResources> | ||
227 | <semanticResources>java:/Objects/java.security.DomainCombiner</semanticResources> | ||
228 | <semanticResources>java:/Objects/java.security.AccessControlException</semanticResources> | ||
229 | <semanticResources>java:/Objects/sun.misc.JavaSecurityAccess</semanticResources> | ||
230 | <semanticResources>java:/Objects/java.security.CodeSource</semanticResources> | ||
231 | <semanticResources>java:/Objects/java.security.Principal</semanticResources> | ||
232 | <semanticResources>java:/Objects/java.security.cert.Certificate</semanticResources> | ||
233 | <semanticResources>java:/Objects/java.security.CodeSigner</semanticResources> | ||
234 | <semanticResources>java:/Objects/java.security.cert.CertificateFactory</semanticResources> | ||
235 | <semanticResources>java:/Objects/java.net.SocketPermission</semanticResources> | ||
236 | <semanticResources>java:/Objects/java.io.ObjectStreamException</semanticResources> | ||
237 | <semanticResources>java:/Objects/java.security.cert.CertificateEncodingException</semanticResources> | ||
238 | <semanticResources>java:/Objects/java.security.PublicKey</semanticResources> | ||
239 | <semanticResources>java:/Objects/java.security.cert.CertificateException</semanticResources> | ||
240 | <semanticResources>java:/Objects/java.security.InvalidKeyException</semanticResources> | ||
241 | <semanticResources>java:/Objects/java.security.SignatureException</semanticResources> | ||
242 | <semanticResources>java:/Objects/java.security.Key</semanticResources> | ||
243 | <semanticResources>java:/Objects/java.security.GeneralSecurityException</semanticResources> | ||
244 | <semanticResources>java:/Objects/java.security.KeyException</semanticResources> | ||
245 | <semanticResources>java:/Objects/java.security.cert.CertPath</semanticResources> | ||
246 | <semanticResources>java:/Objects/java.security.Timestamp</semanticResources> | ||
247 | <semanticResources>java:/Objects/java.util.Date</semanticResources> | ||
248 | <semanticResources>java:/Objects/java.lang.Cloneable</semanticResources> | ||
249 | <semanticResources>java:/Objects/java.time.Instant</semanticResources> | ||
250 | <semanticResources>java:/Objects/sun.util.calendar.BaseCalendar</semanticResources> | ||
251 | <semanticResources>java:/Objects/java.time.temporal.Temporal</semanticResources> | ||
252 | <semanticResources>java:/Objects/java.time.temporal.TemporalAdjuster</semanticResources> | ||
253 | <semanticResources>java:/Objects/java.time.ZoneOffset</semanticResources> | ||
254 | <semanticResources>java:/Objects/java.time.OffsetDateTime</semanticResources> | ||
255 | <semanticResources>java:/Objects/java.time.ZoneId</semanticResources> | ||
256 | <semanticResources>java:/Objects/java.time.ZonedDateTime</semanticResources> | ||
257 | <semanticResources>java:/Objects/java.time.temporal.TemporalAccessor</semanticResources> | ||
258 | <semanticResources>java:/Objects/java.time.temporal.TemporalField</semanticResources> | ||
259 | <semanticResources>java:/Objects/java.time.temporal.TemporalUnit</semanticResources> | ||
260 | <semanticResources>java:/Objects/java.time.temporal.TemporalAmount</semanticResources> | ||
261 | <semanticResources>java:/Objects/java.time.Clock</semanticResources> | ||
262 | <semanticResources>java:/Objects/java.time.temporal.TemporalQuery</semanticResources> | ||
263 | <semanticResources>java:/Objects/java.time.temporal.ValueRange</semanticResources> | ||
264 | <semanticResources>java:/Objects/java.io.DataInput</semanticResources> | ||
265 | <semanticResources>java:/Objects/java.io.InvalidObjectException</semanticResources> | ||
266 | <semanticResources>java:/Objects/java.io.DataOutput</semanticResources> | ||
267 | <semanticResources>java:/Objects/java.time.zone.ZoneRules</semanticResources> | ||
268 | <semanticResources>java:/Objects/java.time.zone.ZoneOffsetTransition</semanticResources> | ||
269 | <semanticResources>java:/Objects/java.time.zone.ZoneOffsetTransitionRule</semanticResources> | ||
270 | <semanticResources>java:/Objects/java.time.LocalDateTime</semanticResources> | ||
271 | <semanticResources>java:/Objects/java.time.Duration</semanticResources> | ||
272 | <semanticResources>java:/Objects/java.time.Month</semanticResources> | ||
273 | <semanticResources>java:/Objects/java.time.DayOfWeek</semanticResources> | ||
274 | <semanticResources>java:/Objects/java.time.LocalTime</semanticResources> | ||
275 | <semanticResources>java:/Objects/java.time.format.TextStyle</semanticResources> | ||
276 | <semanticResources>java:/Objects/java.time.LocalDate</semanticResources> | ||
277 | <semanticResources>java:/Objects/java.time.OffsetTime</semanticResources> | ||
278 | <semanticResources>java:/Objects/java.time.format.DateTimeFormatter</semanticResources> | ||
279 | <semanticResources>java:/Objects/java.time.chrono.ChronoLocalDate</semanticResources> | ||
280 | <semanticResources>java:/Objects/java.time.chrono.IsoChronology</semanticResources> | ||
281 | <semanticResources>java:/Objects/java.time.chrono.Era</semanticResources> | ||
282 | <semanticResources>java:/Objects/java.time.Period</semanticResources> | ||
283 | <semanticResources>java:/Objects/java.time.chrono.ChronoLocalDateTime</semanticResources> | ||
284 | <semanticResources>java:/Objects/java.time.chrono.Chronology</semanticResources> | ||
285 | <semanticResources>java:/Objects/java.time.chrono.ChronoPeriod</semanticResources> | ||
286 | <semanticResources>java:/Objects/java.time.chrono.ChronoZonedDateTime</semanticResources> | ||
287 | <semanticResources>java:/Objects/java.time.temporal.ChronoField</semanticResources> | ||
288 | <semanticResources>java:/Objects/java.time.format.ResolverStyle</semanticResources> | ||
289 | <semanticResources>java:/Objects/java.time.chrono.AbstractChronology</semanticResources> | ||
290 | <semanticResources>java:/Objects/java.time.chrono.IsoEra</semanticResources> | ||
291 | <semanticResources>java:/Objects/java.util.concurrent.ConcurrentHashMap</semanticResources> | ||
292 | <semanticResources>java:/Objects/java.util.AbstractMap</semanticResources> | ||
293 | <semanticResources>java:/Objects/java.util.function.ToIntBiFunction</semanticResources> | ||
294 | <semanticResources>java:/Objects/java.util.function.ToLongBiFunction</semanticResources> | ||
295 | <semanticResources>java:/Objects/java.util.function.ToDoubleBiFunction</semanticResources> | ||
296 | <semanticResources>java:/Objects/java.util.concurrent.atomic.AtomicReference</semanticResources> | ||
297 | <semanticResources>java:/Objects/java.lang.Void</semanticResources> | ||
298 | <semanticResources>java:/Objects/java.util.concurrent.CountedCompleter</semanticResources> | ||
299 | <semanticResources>java:/Objects/java.util.Collection</semanticResources> | ||
300 | <semanticResources>java:/Objects/java.util.concurrent.locks.ReentrantLock</semanticResources> | ||
301 | <semanticResources>java:/Objects/java.util.concurrent.ForkJoinTask</semanticResources> | ||
302 | <semanticResources>java:/Objects/java.util.concurrent.Future</semanticResources> | ||
303 | <semanticResources>java:/Objects/java.util.concurrent.RunnableFuture</semanticResources> | ||
304 | <semanticResources>java:/Objects/java.util.concurrent.Callable</semanticResources> | ||
305 | <semanticResources>java:/Objects/java.util.concurrent.ExecutionException</semanticResources> | ||
306 | <semanticResources>java:/Objects/java.util.concurrent.TimeUnit</semanticResources> | ||
307 | <semanticResources>java:/Objects/java.util.concurrent.TimeoutException</semanticResources> | ||
308 | <semanticResources>java:/Objects/java.util.concurrent.ForkJoinPool</semanticResources> | ||
309 | <semanticResources>java:/Objects/java.util.concurrent.AbstractExecutorService</semanticResources> | ||
310 | <semanticResources>java:/Objects/java.util.concurrent.ForkJoinWorkerThread</semanticResources> | ||
311 | <semanticResources>java:/Objects/java.util.concurrent.ExecutorService</semanticResources> | ||
312 | <semanticResources>java:/Objects/java.util.concurrent.Executor</semanticResources> | ||
313 | <semanticResources>java:/Objects/java.lang.Iterable</semanticResources> | ||
314 | <semanticResources>java:/Objects/java.util.concurrent.locks.Lock</semanticResources> | ||
315 | <semanticResources>java:/Objects/java.util.concurrent.locks.AbstractQueuedSynchronizer</semanticResources> | ||
316 | <semanticResources>java:/Objects/java.util.concurrent.locks.Condition</semanticResources> | ||
317 | <semanticResources>java:/Objects/java.util.concurrent.locks.AbstractOwnableSynchronizer</semanticResources> | ||
318 | <semanticResources>java:/Objects/java.lang.NullPointerException</semanticResources> | ||
319 | <semanticResources>java:/Objects/java.io.ObjectInput</semanticResources> | ||
320 | <semanticResources>java:/Objects/java.io.ObjectOutput</semanticResources> | ||
321 | <semanticResources>java:/Objects/java.text.Format</semanticResources> | ||
322 | <semanticResources>java:/Objects/java.text.FieldPosition</semanticResources> | ||
323 | <semanticResources>java:/Objects/java.text.ParseException</semanticResources> | ||
324 | <semanticResources>java:/Objects/java.text.ParsePosition</semanticResources> | ||
325 | <semanticResources>java:/Objects/java.time.format.DateTimeFormatterBuilder</semanticResources> | ||
326 | <semanticResources>java:/Objects/java.time.format.DecimalStyle</semanticResources> | ||
327 | <semanticResources>java:/Objects/java.time.format.DateTimeParseException</semanticResources> | ||
328 | <semanticResources>java:/Objects/java.time.format.FormatStyle</semanticResources> | ||
329 | <semanticResources>java:/Objects/java.time.format.DateTimeParseContext</semanticResources> | ||
330 | <semanticResources>java:/Objects/java.text.AttributedCharacterIterator</semanticResources> | ||
331 | <semanticResources>java:/Objects/java.text.CharacterIterator</semanticResources> | ||
332 | <semanticResources>java:/Objects/java.time.format.DateTimePrintContext</semanticResources> | ||
333 | <semanticResources>java:/Objects/java.lang.ref.SoftReference</semanticResources> | ||
334 | <semanticResources>java:/Objects/java.time.format.DateTimeTextProvider</semanticResources> | ||
335 | <semanticResources>java:/Objects/java.math.BigDecimal</semanticResources> | ||
336 | <semanticResources>java:/Objects/java.time.format.SignStyle</semanticResources> | ||
337 | <semanticResources>java:/Objects/java.lang.Character</semanticResources> | ||
338 | <semanticResources>java:/Objects/java.math.MathContext</semanticResources> | ||
339 | <semanticResources>java:/Objects/java.math.RoundingMode</semanticResources> | ||
340 | <semanticResources>java:/Objects/java.math.MutableBigInteger</semanticResources> | ||
341 | <semanticResources>java:/Objects/java.util.HashMap</semanticResources> | ||
342 | <semanticResources>java:/Objects/java.util.LinkedHashMap</semanticResources> | ||
343 | <semanticResources>java:/Objects/java.util.AbstractSet</semanticResources> | ||
344 | <semanticResources>java:/Objects/java.util.AbstractCollection</semanticResources> | ||
345 | <semanticResources>java:/Objects/java.time.DateTimeException</semanticResources> | ||
346 | <semanticResources>java:/Objects/java.time.format.Parsed</semanticResources> | ||
347 | <semanticResources>java:/Objects/java.util.ArrayList</semanticResources> | ||
348 | <semanticResources>java:/Objects/java.util.AbstractList</semanticResources> | ||
349 | <semanticResources>java:/Objects/java.util.RandomAccess</semanticResources> | ||
350 | <semanticResources>java:/Objects/java.util.ListIterator</semanticResources> | ||
351 | <semanticResources>java:/Objects/sun.util.calendar.AbstractCalendar</semanticResources> | ||
352 | <semanticResources>java:/Objects/sun.util.calendar.CalendarDate</semanticResources> | ||
353 | <semanticResources>java:/Objects/java.util.TimeZone</semanticResources> | ||
354 | <semanticResources>java:/Objects/sun.util.calendar.CalendarSystem</semanticResources> | ||
355 | <semanticResources>java:/Objects/sun.util.calendar.Era</semanticResources> | ||
356 | <semanticResources>java:/Objects/java.util.Properties</semanticResources> | ||
357 | <semanticResources>java:/Objects/sun.util.calendar.Gregorian</semanticResources> | ||
358 | <semanticResources>java:/Objects/java.util.Hashtable</semanticResources> | ||
359 | <semanticResources>java:/Objects/java.io.InputStream</semanticResources> | ||
360 | <semanticResources>java:/Objects/java.util.InvalidPropertiesFormatException</semanticResources> | ||
361 | <semanticResources>java:/Objects/sun.util.spi.XmlPropertiesProvider</semanticResources> | ||
362 | <semanticResources>java:/Objects/java.io.Reader</semanticResources> | ||
363 | <semanticResources>java:/Objects/java.io.BufferedWriter</semanticResources> | ||
364 | <semanticResources>java:/Objects/java.util.Dictionary</semanticResources> | ||
365 | <semanticResources>java:/Objects/java.io.StreamCorruptedException</semanticResources> | ||
366 | <semanticResources>java:/Objects/java.io.NotSerializableException</semanticResources> | ||
367 | <semanticResources>java:/Objects/java.lang.Readable</semanticResources> | ||
368 | <semanticResources>java:/Objects/java.nio.CharBuffer</semanticResources> | ||
369 | <semanticResources>java:/Objects/java.nio.Buffer</semanticResources> | ||
370 | <semanticResources>java:/Objects/java.nio.ByteOrder</semanticResources> | ||
371 | <semanticResources>java:/Objects/java.security.cert.CertificateFactorySpi</semanticResources> | ||
372 | <semanticResources>java:/Objects/java.security.cert.CRLException</semanticResources> | ||
373 | <semanticResources>java:/Objects/java.security.cert.CRL</semanticResources> | ||
374 | <semanticResources>java:/Objects/java.net.UnknownHostException</semanticResources> | ||
375 | <semanticResources>java:/Objects/java.net.InetAddress</semanticResources> | ||
376 | <semanticResources>java:/Objects/sun.net.spi.nameservice.NameService</semanticResources> | ||
377 | <semanticResources>java:/Objects/java.net.NetworkInterface</semanticResources> | ||
378 | <semanticResources>java:/Objects/java.net.InetAddressImpl</semanticResources> | ||
379 | <semanticResources>java:/Objects/java.net.SocketException</semanticResources> | ||
380 | <semanticResources>java:/Objects/java.net.InterfaceAddress</semanticResources> | ||
381 | <semanticResources>java:/Objects/java.net.Inet4Address</semanticResources> | ||
382 | <semanticResources>java:/Objects/javax.security.auth.Subject</semanticResources> | ||
383 | <semanticResources>java:/Objects/javax.security.auth.AuthPermission</semanticResources> | ||
384 | <semanticResources>java:/Objects/java.util.LinkedList</semanticResources> | ||
385 | <semanticResources>java:/Objects/java.security.PrivilegedExceptionAction</semanticResources> | ||
386 | <semanticResources>java:/Objects/java.security.PrivilegedActionException</semanticResources> | ||
387 | <semanticResources>java:/Objects/java.security.BasicPermission</semanticResources> | ||
388 | <semanticResources>java:/Objects/java.util.AbstractSequentialList</semanticResources> | ||
389 | <semanticResources>java:/Objects/java.util.Deque</semanticResources> | ||
390 | <semanticResources>java:/Objects/java.util.Queue</semanticResources> | ||
391 | <semanticResources>java:/Objects/java.util.concurrent.atomic.AtomicInteger</semanticResources> | ||
392 | <semanticResources>java:/Objects/java.lang.ClassFormatError</semanticResources> | ||
393 | <semanticResources>java:/Objects/java.nio.ByteBuffer</semanticResources> | ||
394 | <semanticResources>java:/Objects/java.lang.Package</semanticResources> | ||
395 | <semanticResources>java:/Objects/sun.misc.URLClassPath</semanticResources> | ||
396 | <semanticResources>java:/Objects/java.lang.AssertionStatusDirectives</semanticResources> | ||
397 | <semanticResources>java:/Objects/java.util.Vector</semanticResources> | ||
398 | <semanticResources>java:/Objects/java.util.Stack</semanticResources> | ||
399 | <semanticResources>java:/Objects/java.lang.LinkageError</semanticResources> | ||
400 | <semanticResources>java:/Objects/java.lang.Error</semanticResources> | ||
401 | <semanticResources>java:/Objects/java.nio.DoubleBuffer</semanticResources> | ||
402 | <semanticResources>java:/Objects/java.nio.FloatBuffer</semanticResources> | ||
403 | <semanticResources>java:/Objects/java.nio.IntBuffer</semanticResources> | ||
404 | <semanticResources>java:/Objects/java.nio.LongBuffer</semanticResources> | ||
405 | <semanticResources>java:/Objects/java.nio.ShortBuffer</semanticResources> | ||
406 | <semanticResources>java:/Objects/java.util.jar.Manifest</semanticResources> | ||
407 | <semanticResources>java:/Objects/java.io.FilterInputStream</semanticResources> | ||
408 | <semanticResources>java:/Objects/java.util.jar.JarVerifier</semanticResources> | ||
409 | <semanticResources>java:/Objects/java.util.jar.Attributes</semanticResources> | ||
410 | <semanticResources>java:/Objects/java.util.jar.JarEntry</semanticResources> | ||
411 | <semanticResources>java:/Objects/sun.security.util.ManifestEntryVerifier</semanticResources> | ||
412 | <semanticResources>java:/Objects/java.util.jar.JarFile</semanticResources> | ||
413 | <semanticResources>java:/Objects/java.util.zip.ZipEntry</semanticResources> | ||
414 | <semanticResources>java:/Objects/java.io.ByteArrayOutputStream</semanticResources> | ||
415 | <semanticResources>java:/Objects/sun.security.util.ManifestDigester</semanticResources> | ||
416 | <semanticResources>java:/Objects/sun.security.util.SignatureFileVerifier</semanticResources> | ||
417 | <semanticResources>java:/Objects/java.util.jar.JarException</semanticResources> | ||
418 | <semanticResources>java:/Objects/java.util.zip.ZipException</semanticResources> | ||
419 | <semanticResources>java:/Objects/java.util.zip.ZipFile</semanticResources> | ||
420 | <semanticResources>java:/Objects/java.util.zip.ZipConstants</semanticResources> | ||
421 | <semanticResources>java:/Objects/java.util.zip.InflaterInputStream</semanticResources> | ||
422 | <semanticResources>java:/Objects/java.util.zip.Inflater</semanticResources> | ||
423 | <semanticResources>java:/Objects/java.util.zip.ZipCoder</semanticResources> | ||
424 | <semanticResources>java:/Objects/java.util.zip.DataFormatException</semanticResources> | ||
425 | <semanticResources>java:/Objects/java.util.zip.ZStreamRef</semanticResources> | ||
426 | <semanticResources>java:/Objects/java.nio.charset.CharsetDecoder</semanticResources> | ||
427 | <semanticResources>java:/Objects/java.nio.charset.CharsetEncoder</semanticResources> | ||
428 | <semanticResources>java:/Objects/java.nio.charset.CharacterCodingException</semanticResources> | ||
429 | <semanticResources>java:/Objects/java.nio.charset.CoderResult</semanticResources> | ||
430 | <semanticResources>java:/Objects/java.nio.charset.CodingErrorAction</semanticResources> | ||
431 | <semanticResources>java:/Objects/java.nio.file.attribute.FileTime</semanticResources> | ||
432 | <semanticResources>java:/Objects/sun.security.pkcs.SignerInfo</semanticResources> | ||
433 | <semanticResources>java:/Objects/sun.security.pkcs.PKCS7</semanticResources> | ||
434 | <semanticResources>java:/Objects/sun.security.util.DisabledAlgorithmConstraints</semanticResources> | ||
435 | <semanticResources>java:/Objects/sun.security.util.DerEncoder</semanticResources> | ||
436 | <semanticResources>java:/Objects/sun.security.util.DerInputStream</semanticResources> | ||
437 | <semanticResources>java:/Objects/sun.security.pkcs.ParsingException</semanticResources> | ||
438 | <semanticResources>java:/Objects/sun.security.x509.X500Name</semanticResources> | ||
439 | <semanticResources>java:/Objects/sun.security.x509.AlgorithmId</semanticResources> | ||
440 | <semanticResources>java:/Objects/sun.security.pkcs.PKCS9Attributes</semanticResources> | ||
441 | <semanticResources>java:/Objects/sun.security.util.DerOutputStream</semanticResources> | ||
442 | <semanticResources>java:/Objects/java.security.cert.X509Certificate</semanticResources> | ||
443 | <semanticResources>java:/Objects/sun.security.timestamp.TimestampToken</semanticResources> | ||
444 | <semanticResources>java:/Objects/java.security.CryptoPrimitive</semanticResources> | ||
445 | <semanticResources>java:/Objects/sun.security.util.DerInputBuffer</semanticResources> | ||
446 | <semanticResources>java:/Objects/sun.security.util.DerValue</semanticResources> | ||
447 | <semanticResources>java:/Objects/sun.security.util.ObjectIdentifier</semanticResources> | ||
448 | <semanticResources>java:/Objects/sun.security.util.BitArray</semanticResources> | ||
449 | <semanticResources>java:/Objects/java.io.ByteArrayInputStream</semanticResources> | ||
450 | <semanticResources>java:/Objects/java.lang.ArrayIndexOutOfBoundsException</semanticResources> | ||
451 | <semanticResources>java:/Objects/sun.security.x509.GeneralNameInterface</semanticResources> | ||
452 | <semanticResources>java:/Objects/sun.security.x509.RDN</semanticResources> | ||
453 | <semanticResources>java:/Objects/sun.security.x509.AVA</semanticResources> | ||
454 | <semanticResources>java:/Objects/javax.security.auth.x500.X500Principal</semanticResources> | ||
455 | <semanticResources>java:/Objects/java.lang.UnsupportedOperationException</semanticResources> | ||
456 | <semanticResources>java:/Objects/java.lang.Byte</semanticResources> | ||
457 | <semanticResources>java:/Objects/java.io.NotActiveException</semanticResources> | ||
458 | <semanticResources>java:/Objects/java.security.AlgorithmParameters</semanticResources> | ||
459 | <semanticResources>java:/Objects/java.security.AlgorithmParametersSpi</semanticResources> | ||
460 | <semanticResources>java:/Objects/java.security.spec.AlgorithmParameterSpec</semanticResources> | ||
461 | <semanticResources>java:/Objects/java.security.spec.InvalidParameterSpecException</semanticResources> | ||
462 | <semanticResources>java:/Objects/sun.security.pkcs.PKCS9Attribute</semanticResources> | ||
463 | <semanticResources>java:/Objects/sun.security.util.ByteArrayLexOrder</semanticResources> | ||
464 | <semanticResources>java:/Objects/sun.security.util.ByteArrayTagOrder</semanticResources> | ||
465 | <semanticResources>java:/Objects/java.security.cert.X509Extension</semanticResources> | ||
466 | <semanticResources>java:/Objects/java.security.cert.CertificateExpiredException</semanticResources> | ||
467 | <semanticResources>java:/Objects/java.security.cert.CertificateNotYetValidException</semanticResources> | ||
468 | <semanticResources>java:/Objects/java.security.cert.CertificateParsingException</semanticResources> | ||
469 | <semanticResources>java:/Objects/sun.security.pkcs.ContentInfo</semanticResources> | ||
470 | <semanticResources>java:/Objects/java.security.cert.X509CRL</semanticResources> | ||
471 | <semanticResources>java:/Objects/sun.security.timestamp.Timestamper</semanticResources> | ||
472 | <semanticResources>java:/Objects/java.security.cert.X509CRLEntry</semanticResources> | ||
473 | <semanticResources>java:/Objects/java.security.cert.CRLReason</semanticResources> | ||
474 | <semanticResources>java:/Objects/sun.security.timestamp.TSRequest</semanticResources> | ||
475 | <semanticResources>java:/Objects/sun.security.timestamp.TSResponse</semanticResources> | ||
476 | <semanticResources>java:/Objects/sun.security.util.AbstractAlgorithmConstraints</semanticResources> | ||
477 | <semanticResources>java:/Objects/sun.security.util.ConstraintsParameters</semanticResources> | ||
478 | <semanticResources>java:/Objects/java.security.cert.CertPathValidatorException</semanticResources> | ||
479 | <semanticResources>java:/Objects/java.text.SimpleDateFormat</semanticResources> | ||
480 | <semanticResources>java:/Objects/sun.security.util.AlgorithmDecomposer</semanticResources> | ||
481 | <semanticResources>java:/Objects/java.security.AlgorithmConstraints</semanticResources> | ||
482 | <semanticResources>java:/Objects/java.text.DateFormat</semanticResources> | ||
483 | <semanticResources>java:/Objects/java.text.DateFormatSymbols</semanticResources> | ||
484 | <semanticResources>java:/Objects/java.text.CalendarBuilder</semanticResources> | ||
485 | <semanticResources>java:/Objects/java.text.NumberFormat</semanticResources> | ||
486 | <semanticResources>java:/Objects/sun.util.locale.provider.LocaleProviderAdapter</semanticResources> | ||
487 | <semanticResources>java:/Objects/java.util.Calendar</semanticResources> | ||
488 | <semanticResources>java:/Objects/java.util.spi.LocaleServiceProvider</semanticResources> | ||
489 | <semanticResources>java:/Objects/java.text.spi.BreakIteratorProvider</semanticResources> | ||
490 | <semanticResources>java:/Objects/java.util.spi.CalendarDataProvider</semanticResources> | ||
491 | <semanticResources>java:/Objects/java.util.spi.CalendarNameProvider</semanticResources> | ||
492 | <semanticResources>java:/Objects/sun.util.spi.CalendarProvider</semanticResources> | ||
493 | <semanticResources>java:/Objects/java.text.spi.CollatorProvider</semanticResources> | ||
494 | <semanticResources>java:/Objects/java.util.spi.CurrencyNameProvider</semanticResources> | ||
495 | <semanticResources>java:/Objects/java.text.spi.DateFormatProvider</semanticResources> | ||
496 | <semanticResources>java:/Objects/java.text.spi.DateFormatSymbolsProvider</semanticResources> | ||
497 | <semanticResources>java:/Objects/java.text.spi.DecimalFormatSymbolsProvider</semanticResources> | ||
498 | <semanticResources>java:/Objects/java.util.spi.LocaleNameProvider</semanticResources> | ||
499 | <semanticResources>java:/Objects/sun.util.locale.provider.LocaleResources</semanticResources> | ||
500 | <semanticResources>java:/Objects/java.text.spi.NumberFormatProvider</semanticResources> | ||
501 | <semanticResources>java:/Objects/java.util.spi.TimeZoneNameProvider</semanticResources> | ||
502 | <semanticResources>java:/Objects/java.text.BreakIterator</semanticResources> | ||
503 | <semanticResources>java:/Objects/java.text.Collator</semanticResources> | ||
504 | <semanticResources>java:/Objects/java.text.CollationKey</semanticResources> | ||
505 | <semanticResources>java:/Objects/java.text.DecimalFormatSymbols</semanticResources> | ||
506 | <semanticResources>java:/Objects/java.util.Currency</semanticResources> | ||
507 | <semanticResources>java:/Objects/sun.util.locale.provider.LocaleServiceProviderPool</semanticResources> | ||
508 | <semanticResources>java:/Objects/java.io.DataInputStream</semanticResources> | ||
509 | <semanticResources>java:/Objects/java.util.HashSet</semanticResources> | ||
510 | <semanticResources>java:/Objects/sun.util.locale.provider.ResourceBundleBasedAdapter</semanticResources> | ||
511 | <semanticResources>java:/Objects/java.util.ResourceBundle</semanticResources> | ||
512 | <semanticResources>java:/Objects/sun.util.resources.LocaleData</semanticResources> | ||
513 | <semanticResources>java:/Objects/sun.util.locale.LocaleObjectCache</semanticResources> | ||
514 | <semanticResources>java:/Objects/sun.util.locale.BaseLocale</semanticResources> | ||
515 | <semanticResources>java:/Objects/java.util.spi.ResourceBundleControlProvider</semanticResources> | ||
516 | <semanticResources>java:/Objects/sun.util.resources.OpenListResourceBundle</semanticResources> | ||
517 | <semanticResources>java:/Objects/sun.util.resources.TimeZoneNamesBundle</semanticResources> | ||
518 | <semanticResources>java:/Objects/sun.util.resources.ParallelListResourceBundle</semanticResources> | ||
519 | <semanticResources>java:/Objects/java.util.concurrent.atomic.AtomicMarkableReference</semanticResources> | ||
520 | <semanticResources>java:/Objects/java.io.DataOutputStream</semanticResources> | ||
521 | <semanticResources>java:/Objects/java.io.FilterOutputStream</semanticResources> | ||
522 | <semanticResources>java:/Objects/sun.misc.Resource</semanticResources> | ||
523 | <semanticResources>java:/Objects/java.net.URLStreamHandler</semanticResources> | ||
524 | <semanticResources>java:/Objects/sun.misc.JarIndex</semanticResources> | ||
525 | <semanticResources>java:/Objects/sun.misc.MetaIndex</semanticResources> | ||
526 | <semanticResources>java:/Objects/sun.misc.JavaUtilZipFileAccess</semanticResources> | ||
527 | <semanticResources>java:/Objects/java.net.URLStreamHandlerFactory</semanticResources> | ||
528 | <semanticResources>java:/Objects/java.net.URLConnection</semanticResources> | ||
529 | <semanticResources>java:/Objects/java.net.Proxy</semanticResources> | ||
530 | <semanticResources>java:/Objects/java.net.UnknownServiceException</semanticResources> | ||
531 | <semanticResources>java:/Objects/java.net.ContentHandler</semanticResources> | ||
532 | <semanticResources>java:/Objects/java.net.FileNameMap</semanticResources> | ||
533 | <semanticResources>java:/Objects/java.net.ContentHandlerFactory</semanticResources> | ||
534 | <semanticResources>java:/Objects/sun.net.www.MessageHeader</semanticResources> | ||
535 | <semanticResources>java:/Objects/java.net.SocketAddress</semanticResources> | ||
536 | <semanticResources>java:/Objects/java.lang.invoke.ForceInline</semanticResources> | ||
537 | <semanticResources>java:/Objects/java.lang.invoke.DontInline</semanticResources> | ||
538 | <semanticResources>java:/Objects/java.lang.invoke.WrongMethodTypeException</semanticResources> | ||
539 | <semanticResources>java:/Objects/sun.invoke.util.Wrapper</semanticResources> | ||
540 | <semanticResources>java:/Objects/java.lang.invoke.LambdaFormEditor</semanticResources> | ||
541 | <semanticResources>java:/Objects/java.lang.ClassCastException</semanticResources> | ||
542 | <semanticResources>java:/Objects/java.lang.invoke.LambdaFormBuffer</semanticResources> | ||
543 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.MethodVisitor</semanticResources> | ||
544 | <semanticResources>java:/Objects/java.lang.invoke.MethodHandles</semanticResources> | ||
545 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.AnnotationVisitor</semanticResources> | ||
546 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Attribute</semanticResources> | ||
547 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.TypePath</semanticResources> | ||
548 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Handle</semanticResources> | ||
549 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Label</semanticResources> | ||
550 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.ClassWriter</semanticResources> | ||
551 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.ByteVector</semanticResources> | ||
552 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.ClassReader</semanticResources> | ||
553 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.ClassVisitor</semanticResources> | ||
554 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Item</semanticResources> | ||
555 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.FieldVisitor</semanticResources> | ||
556 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.AnnotationWriter</semanticResources> | ||
557 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.FieldWriter</semanticResources> | ||
558 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.MethodWriter</semanticResources> | ||
559 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Frame</semanticResources> | ||
560 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Handler</semanticResources> | ||
561 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Type</semanticResources> | ||
562 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Context</semanticResources> | ||
563 | <semanticResources>java:/Objects/jdk.internal.org.objectweb.asm.Edge</semanticResources> | ||
564 | <semanticResources>java:/Objects/java.lang.NoSuchMethodException</semanticResources> | ||
565 | <semanticResources>java:/Objects/java.lang.NoSuchFieldException</semanticResources> | ||
566 | <semanticResources>java:/Objects/java.lang.invoke.DirectMethodHandle</semanticResources> | ||
567 | <semanticResources>java:/Objects/java.lang.invoke.MethodHandleInfo</semanticResources> | ||
568 | <semanticResources>java:/Objects/java.lang.ClassValue</semanticResources> | ||
569 | <semanticResources>java:/Objects/java.util.WeakHashMap</semanticResources> | ||
570 | <semanticResources>java:/Objects/java.lang.invoke.DelegatingMethodHandle</semanticResources> | ||
571 | <semanticResources>java:/Objects/sun.invoke.empty.Empty</semanticResources> | ||
572 | <semanticResources>java:/Objects/java.lang.reflect.Parameter</semanticResources> | ||
573 | <semanticResources>java:/Objects/java.lang.reflect.ParameterizedType</semanticResources> | ||
574 | <semanticResources>java:/Objects/java.lang.reflect.WildcardType</semanticResources> | ||
575 | <semanticResources>java:/Objects/java.util.regex.Matcher</semanticResources> | ||
576 | <semanticResources>java:/Objects/java.util.regex.UnicodeProp</semanticResources> | ||
577 | <semanticResources>java:/Objects/java.util.regex.PatternSyntaxException</semanticResources> | ||
578 | <semanticResources>java:/Objects/java.util.regex.MatchResult</semanticResources> | ||
579 | <semanticResources>java:/Objects/java.security.MessageDigestSpi</semanticResources> | ||
580 | <semanticResources>java:/Objects/java.security.DigestException</semanticResources> | ||
581 | <semanticResources>java:/Objects/java.net.URISyntaxException</semanticResources> | ||
582 | <semanticResources>java:/Objects/java.nio.file.Watchable</semanticResources> | ||
583 | <semanticResources>java:/Objects/java.nio.file.FileSystem</semanticResources> | ||
584 | <semanticResources>java:/Objects/java.nio.file.WatchService</semanticResources> | ||
585 | <semanticResources>java:/Objects/java.nio.file.WatchEvent</semanticResources> | ||
586 | <semanticResources>java:/Objects/java.nio.file.WatchKey</semanticResources> | ||
587 | <semanticResources>java:/Objects/java.nio.file.LinkOption</semanticResources> | ||
588 | <semanticResources>java:/Objects/java.nio.file.FileStore</semanticResources> | ||
589 | <semanticResources>java:/Objects/java.nio.file.PathMatcher</semanticResources> | ||
590 | <semanticResources>java:/Objects/java.nio.file.attribute.UserPrincipalLookupService</semanticResources> | ||
591 | <semanticResources>java:/Objects/java.nio.file.spi.FileSystemProvider</semanticResources> | ||
592 | <semanticResources>java:/Objects/java.nio.file.attribute.FileStoreAttributeView</semanticResources> | ||
593 | <semanticResources>java:/Objects/java.nio.file.attribute.FileAttributeView</semanticResources> | ||
594 | <semanticResources>java:/Objects/java.nio.file.attribute.AttributeView</semanticResources> | ||
595 | <semanticResources>java:/Objects/java.nio.file.attribute.GroupPrincipal</semanticResources> | ||
596 | <semanticResources>java:/Objects/java.nio.file.attribute.UserPrincipal</semanticResources> | ||
597 | <semanticResources>java:/Objects/java.nio.file.AccessMode</semanticResources> | ||
598 | <semanticResources>java:/Objects/java.nio.file.CopyOption</semanticResources> | ||
599 | <semanticResources>java:/Objects/java.nio.file.attribute.FileAttribute</semanticResources> | ||
600 | <semanticResources>java:/Objects/java.nio.file.OpenOption</semanticResources> | ||
601 | <semanticResources>java:/Objects/java.nio.channels.AsynchronousFileChannel</semanticResources> | ||
602 | <semanticResources>java:/Objects/java.nio.channels.SeekableByteChannel</semanticResources> | ||
603 | <semanticResources>java:/Objects/java.nio.file.DirectoryStream</semanticResources> | ||
604 | <semanticResources>java:/Objects/java.nio.channels.FileChannel</semanticResources> | ||
605 | <semanticResources>java:/Objects/java.nio.file.attribute.BasicFileAttributes</semanticResources> | ||
606 | <semanticResources>java:/Objects/java.nio.channels.AsynchronousChannel</semanticResources> | ||
607 | <semanticResources>java:/Objects/java.nio.channels.FileLock</semanticResources> | ||
608 | <semanticResources>java:/Objects/java.nio.channels.CompletionHandler</semanticResources> | ||
609 | <semanticResources>java:/Objects/java.nio.channels.Channel</semanticResources> | ||
610 | <semanticResources>java:/Objects/java.nio.channels.ByteChannel</semanticResources> | ||
611 | <semanticResources>java:/Objects/java.nio.channels.ReadableByteChannel</semanticResources> | ||
612 | <semanticResources>java:/Objects/java.nio.channels.WritableByteChannel</semanticResources> | ||
613 | <semanticResources>java:/Objects/java.nio.channels.spi.AbstractInterruptibleChannel</semanticResources> | ||
614 | <semanticResources>java:/Objects/java.nio.channels.GatheringByteChannel</semanticResources> | ||
615 | <semanticResources>java:/Objects/java.nio.channels.ScatteringByteChannel</semanticResources> | ||
616 | <semanticResources>java:/Objects/java.nio.MappedByteBuffer</semanticResources> | ||
617 | <semanticResources>java:/Objects/java.nio.channels.InterruptibleChannel</semanticResources> | ||
618 | <semanticResources>java:/Objects/java.nio.channels.AsynchronousCloseException</semanticResources> | ||
619 | <semanticResources>java:/Objects/java.nio.channels.ClosedChannelException</semanticResources> | ||
620 | <semanticResources>java:/Objects/java.io.FileDescriptor</semanticResources> | ||
621 | <semanticResources>java:/Objects/java.io.SyncFailedException</semanticResources> | ||
622 | <semanticResources>java:/Objects/java.lang.SecurityManager</semanticResources> | ||
623 | <semanticResources>java:/Objects/java.net.UrlDeserializedState</semanticResources> | ||
624 | <semanticResources>java:/Objects/java.nio.charset.spi.CharsetProvider</semanticResources> | ||
625 | <semanticResources>java:/Objects/java.util.SortedMap</semanticResources> | ||
626 | <semanticResources>java:/Objects/sun.util.locale.InternalLocaleBuilder</semanticResources> | ||
627 | <semanticResources>java:/Objects/sun.util.locale.LocaleExtensions</semanticResources> | ||
628 | <semanticResources>java:/Objects/java.text.MessageFormat</semanticResources> | ||
629 | <semanticResources>java:/Objects/java.util.MissingResourceException</semanticResources> | ||
630 | <semanticResources>java:/Objects/sun.util.locale.LocaleSyntaxException</semanticResources> | ||
631 | <semanticResources>java:/Objects/sun.util.locale.LanguageTag</semanticResources> | ||
632 | <semanticResources>java:/Objects/sun.util.locale.ParseStatus</semanticResources> | ||
633 | <semanticResources>java:/Objects/sun.util.locale.StringTokenIterator</semanticResources> | ||
634 | <semanticResources>java:/Objects/sun.util.locale.Extension</semanticResources> | ||
635 | <semanticResources>java:/Objects/java.io.OutputStreamWriter</semanticResources> | ||
636 | <semanticResources>java:/Objects/sun.nio.cs.StreamEncoder</semanticResources> | ||
637 | <semanticResources>java:/Objects/java.io.ObjectStreamConstants</semanticResources> | ||
638 | <semanticResources>java:/Objects/sun.misc.ObjectInputFilter</semanticResources> | ||
639 | <semanticResources>java:/Objects/java.io.ObjectInputValidation</semanticResources> | ||
640 | <semanticResources>java:/Objects/java.io.ObjectStreamClass</semanticResources> | ||
641 | <semanticResources>java:/Objects/sun.util.logging.PlatformLogger</semanticResources> | ||
642 | <semanticResources>java:/Objects/java.io.InvalidClassException</semanticResources> | ||
643 | <semanticResources>java:/Objects/java.io.Externalizable</semanticResources> | ||
644 | <semanticResources>java:/Objects/sun.misc.ObjectStreamClassValidator</semanticResources> | ||
645 | <semanticResources>java:/Objects/java.io.SerialCallbackContext</semanticResources> | ||
646 | <semanticResources>java:/Objects/java.io.SerializablePermission</semanticResources> | ||
647 | <semanticResources>java:/Objects/sun.reflect.annotation.AnnotationType</semanticResources> | ||
648 | <semanticResources>java:/Objects/sun.reflect.ConstantPool</semanticResources> | ||
649 | <semanticResources>java:/Objects/sun.reflect.generics.repository.ClassRepository</semanticResources> | ||
650 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.IQuerySpecification</semanticResources> | ||
651 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher</semanticResources> | ||
652 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader</semanticResources> | ||
653 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery</semanticResources> | ||
654 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngine</semanticResources> | ||
655 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.scope.QueryScope</semanticResources> | ||
656 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation</semanticResources> | ||
657 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter</semanticResources> | ||
658 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility</semanticResources> | ||
659 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IInputKey</semanticResources> | ||
660 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection</semanticResources> | ||
661 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PTraceable</semanticResources> | ||
662 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PDisjunction</semanticResources> | ||
663 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint</semanticResources> | ||
664 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PProblem</semanticResources> | ||
665 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.TypeJudgement</semanticResources> | ||
666 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PBody</semanticResources> | ||
667 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PVariable</semanticResources> | ||
668 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryMetaContext</semanticResources> | ||
669 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint</semanticResources> | ||
670 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter</semanticResources> | ||
671 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.InputKeyImplication</semanticResources> | ||
672 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IPosetComparator</semanticResources> | ||
673 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.Tuple</semanticResources> | ||
674 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.AbstractTuple</semanticResources> | ||
675 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.ITuple</semanticResources> | ||
676 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint</semanticResources> | ||
677 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint</semanticResources> | ||
678 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.SubPlan</semanticResources> | ||
679 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint</semanticResources> | ||
680 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation</semanticResources> | ||
681 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.QueryHintOption</semanticResources> | ||
682 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendFactory</semanticResources> | ||
683 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IMatcherCapability</semanticResources> | ||
684 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryBackendContext</semanticResources> | ||
685 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackend</semanticResources> | ||
686 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendHintProvider</semanticResources> | ||
687 | <semanticResources>java:/Objects/org.apache.log4j.Logger</semanticResources> | ||
688 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.analysis.QueryAnalyzer</semanticResources> | ||
689 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryCacheContext</semanticResources> | ||
690 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryResultProviderAccess</semanticResources> | ||
691 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContext</semanticResources> | ||
692 | <semanticResources>java:/Objects/org.apache.log4j.Category</semanticResources> | ||
693 | <semanticResources>java:/Objects/org.apache.log4j.spi.LoggerFactory</semanticResources> | ||
694 | <semanticResources>java:/Objects/org.apache.log4j.spi.AppenderAttachable</semanticResources> | ||
695 | <semanticResources>java:/Objects/org.apache.log4j.Appender</semanticResources> | ||
696 | <semanticResources>java:/Objects/org.apache.log4j.spi.LoggingEvent</semanticResources> | ||
697 | <semanticResources>java:/Objects/org.apache.log4j.Priority</semanticResources> | ||
698 | <semanticResources>java:/Objects/org.apache.log4j.spi.LoggerRepository</semanticResources> | ||
699 | <semanticResources>java:/Objects/org.apache.log4j.Level</semanticResources> | ||
700 | <semanticResources>java:/Objects/org.apache.log4j.helpers.AppenderAttachableImpl</semanticResources> | ||
701 | <semanticResources>java:/Objects/org.apache.log4j.spi.Filter</semanticResources> | ||
702 | <semanticResources>java:/Objects/org.apache.log4j.spi.ErrorHandler</semanticResources> | ||
703 | <semanticResources>java:/Objects/org.apache.log4j.Layout</semanticResources> | ||
704 | <semanticResources>java:/Objects/org.apache.log4j.spi.OptionHandler</semanticResources> | ||
705 | <semanticResources>java:/Objects/org.apache.log4j.spi.ThrowableInformation</semanticResources> | ||
706 | <semanticResources>java:/Objects/org.apache.log4j.spi.LocationInfo</semanticResources> | ||
707 | <semanticResources>java:/Objects/java.io.StringWriter</semanticResources> | ||
708 | <semanticResources>java:/Objects/org.apache.log4j.spi.HierarchyEventListener</semanticResources> | ||
709 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryResultProvider</semanticResources> | ||
710 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IUpdateable</semanticResources> | ||
711 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.TupleMask</semanticResources> | ||
712 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.util.Accuracy</semanticResources> | ||
713 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.IModifiableTuple</semanticResources> | ||
714 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContextListener</semanticResources> | ||
715 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IndexingService</semanticResources> | ||
716 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.QueryProcessingException</semanticResources> | ||
717 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.ViatraQueryRuntimeException</semanticResources> | ||
718 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IBaseIndex</semanticResources> | ||
719 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions</semanticResources> | ||
720 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.scope.ViatraBaseIndexChangeListener</semanticResources> | ||
721 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IIndexingErrorListener</semanticResources> | ||
722 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IInstanceObserver</semanticResources> | ||
723 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.EngineContextFactory</semanticResources> | ||
724 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IEngineContext</semanticResources> | ||
725 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseMatcher</semanticResources> | ||
726 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.QueryResultWrapper</semanticResources> | ||
727 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification</semanticResources> | ||
728 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseQuerySpecification</semanticResources> | ||
729 | <semanticResources>java:/Objects/java.lang.ExceptionInInitializerError</semanticResources> | ||
730 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.exception.ViatraQueryException</semanticResources> | ||
731 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException</semanticResources> | ||
732 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup</semanticResources> | ||
733 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseQueryGroup</semanticResources> | ||
734 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.IQueryGroup</semanticResources> | ||
735 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine</semanticResources> | ||
736 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineLifecycleListener</semanticResources> | ||
737 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.IMatchUpdateListener</semanticResources> | ||
738 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryModelUpdateListener</semanticResources> | ||
739 | <semanticResources>java:/Objects/java.lang.Override</semanticResources> | ||
740 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery</semanticResources> | ||
741 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.BasePQuery</semanticResources> | ||
742 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EClassifier</semanticResources> | ||
743 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EEnumLiteral</semanticResources> | ||
744 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EStructuralFeature</semanticResources> | ||
745 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.ENamedElement</semanticResources> | ||
746 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EPackage</semanticResources> | ||
747 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.EList</semanticResources> | ||
748 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.ETypeParameter</semanticResources> | ||
749 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EModelElement</semanticResources> | ||
750 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EObject</semanticResources> | ||
751 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EAnnotation</semanticResources> | ||
752 | <semanticResources>java:/Objects/org.eclipse.emf.common.notify.Notifier</semanticResources> | ||
753 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.TreeIterator</semanticResources> | ||
754 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EClass</semanticResources> | ||
755 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EReference</semanticResources> | ||
756 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EOperation</semanticResources> | ||
757 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.resource.Resource</semanticResources> | ||
758 | <semanticResources>java:/Objects/org.eclipse.emf.common.notify.Adapter</semanticResources> | ||
759 | <semanticResources>java:/Objects/org.eclipse.emf.common.notify.Notification</semanticResources> | ||
760 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EAttribute</semanticResources> | ||
761 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EGenericType</semanticResources> | ||
762 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EDataType</semanticResources> | ||
763 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.InternalEObject</semanticResources> | ||
764 | <semanticResources>java:/Objects/org.eclipse.emf.common.CommonPlugin</semanticResources> | ||
765 | <semanticResources>java:/Objects/org.eclipse.emf.common.notify.NotificationChain</semanticResources> | ||
766 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.URI</semanticResources> | ||
767 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.Pool</semanticResources> | ||
768 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.SegmentSequence</semanticResources> | ||
769 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.CommonUtil</semanticResources> | ||
770 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.WeakInterningHashSet</semanticResources> | ||
771 | <semanticResources>java:/Objects/java.util.concurrent.locks.ReentrantReadWriteLock</semanticResources> | ||
772 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.InterningSet</semanticResources> | ||
773 | <semanticResources>java:/Objects/java.util.concurrent.locks.ReadWriteLock</semanticResources> | ||
774 | <semanticResources>java:/Objects/java.lang.IllegalMonitorStateException</semanticResources> | ||
775 | <semanticResources>java:/Objects/org.eclipse.emf.common.EMFPlugin</semanticResources> | ||
776 | <semanticResources>java:/Objects/org.osgi.framework.BundleActivator</semanticResources> | ||
777 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.ResourceLocator</semanticResources> | ||
778 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.DelegatingResourceLocator</semanticResources> | ||
779 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.Logger</semanticResources> | ||
780 | <semanticResources>java:/Objects/org.eclipse.core.runtime.Plugin</semanticResources> | ||
781 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IPluginDescriptor</semanticResources> | ||
782 | <semanticResources>java:/Objects/org.osgi.framework.Bundle</semanticResources> | ||
783 | <semanticResources>java:/Objects/org.eclipse.core.runtime.ILog</semanticResources> | ||
784 | <semanticResources>java:/Objects/org.osgi.framework.BundleContext</semanticResources> | ||
785 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IPath</semanticResources> | ||
786 | <semanticResources>java:/Objects/org.eclipse.osgi.service.debug.DebugOptions</semanticResources> | ||
787 | <semanticResources>java:/Objects/org.eclipse.core.runtime.Preferences</semanticResources> | ||
788 | <semanticResources>java:/Objects/java.lang.IllegalStateException</semanticResources> | ||
789 | <semanticResources>java:/Objects/org.eclipse.core.runtime.CoreException</semanticResources> | ||
790 | <semanticResources>java:/Objects/org.osgi.util.tracker.ServiceTracker</semanticResources> | ||
791 | <semanticResources>java:/Objects/org.eclipse.osgi.service.debug.DebugTrace</semanticResources> | ||
792 | <semanticResources>java:/Objects/java.util.EventListener</semanticResources> | ||
793 | <semanticResources>java:/Objects/java.util.EventObject</semanticResources> | ||
794 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IStatus</semanticResources> | ||
795 | <semanticResources>java:/Objects/org.eclipse.core.runtime.ListenerList</semanticResources> | ||
796 | <semanticResources>java:/Objects/org.osgi.util.tracker.ServiceTrackerCustomizer</semanticResources> | ||
797 | <semanticResources>java:/Objects/org.osgi.framework.AllServiceListener</semanticResources> | ||
798 | <semanticResources>java:/Objects/org.osgi.util.tracker.AbstractTracked</semanticResources> | ||
799 | <semanticResources>java:/Objects/org.osgi.framework.ServiceReference</semanticResources> | ||
800 | <semanticResources>java:/Objects/org.osgi.framework.ServiceEvent</semanticResources> | ||
801 | <semanticResources>java:/Objects/org.osgi.framework.ServiceListener</semanticResources> | ||
802 | <semanticResources>java:/Objects/org.osgi.framework.Filter</semanticResources> | ||
803 | <semanticResources>java:/Objects/org.osgi.framework.InvalidSyntaxException</semanticResources> | ||
804 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IExtension</semanticResources> | ||
805 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IExtensionPoint</semanticResources> | ||
806 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IPluginPrerequisite</semanticResources> | ||
807 | <semanticResources>java:/Objects/org.eclipse.core.runtime.ILibrary</semanticResources> | ||
808 | <semanticResources>java:/Objects/org.eclipse.core.runtime.PluginVersionIdentifier</semanticResources> | ||
809 | <semanticResources>java:/Objects/org.eclipse.core.runtime.InvalidRegistryObjectException</semanticResources> | ||
810 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IConfigurationElement</semanticResources> | ||
811 | <semanticResources>java:/Objects/org.eclipse.core.runtime.IContributor</semanticResources> | ||
812 | <semanticResources>java:/Objects/org.osgi.framework.Version</semanticResources> | ||
813 | <semanticResources>java:/Objects/org.osgi.framework.BundleException</semanticResources> | ||
814 | <semanticResources>java:/Objects/org.eclipse.core.runtime.ILogListener</semanticResources> | ||
815 | <semanticResources>java:/Objects/org.osgi.framework.BundleReference</semanticResources> | ||
816 | <semanticResources>java:/Objects/org.osgi.framework.BundleListener</semanticResources> | ||
817 | <semanticResources>java:/Objects/org.osgi.framework.FrameworkListener</semanticResources> | ||
818 | <semanticResources>java:/Objects/org.osgi.framework.ServiceObjects</semanticResources> | ||
819 | <semanticResources>java:/Objects/org.osgi.framework.ServiceRegistration</semanticResources> | ||
820 | <semanticResources>java:/Objects/org.osgi.framework.ServiceFactory</semanticResources> | ||
821 | <semanticResources>java:/Objects/org.osgi.framework.BundleEvent</semanticResources> | ||
822 | <semanticResources>java:/Objects/org.osgi.framework.FrameworkEvent</semanticResources> | ||
823 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.ETypedElement</semanticResources> | ||
824 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EParameter</semanticResources> | ||
825 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.resource.ResourceSet</semanticResources> | ||
826 | <semanticResources>java:/Objects/org.eclipse.emf.common.notify.AdapterFactory</semanticResources> | ||
827 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.resource.URIConverter</semanticResources> | ||
828 | <semanticResources>java:/Objects/java.io.InputStreamReader</semanticResources> | ||
829 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.resource.ContentHandler</semanticResources> | ||
830 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.resource.URIHandler</semanticResources> | ||
831 | <semanticResources>java:/Objects/sun.nio.cs.StreamDecoder</semanticResources> | ||
832 | <semanticResources>java:/Objects/java.io.FileInputStream</semanticResources> | ||
833 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.EMap</semanticResources> | ||
834 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EFactory</semanticResources> | ||
835 | <semanticResources>java:/Objects/org.eclipse.emf.common.util.Enumerator</semanticResources> | ||
836 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.EEnum</semanticResources> | ||
837 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.util.FeatureMap</semanticResources> | ||
838 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.util.InternalEList</semanticResources> | ||
839 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.util.EContentsEList</semanticResources> | ||
840 | <semanticResources>java:/Objects/org.eclipse.emf.ecore.util.AbstractSequentialInternalEList</semanticResources> | ||
841 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem</semanticResources> | ||
842 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationType</semanticResources> | ||
843 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance</semanticResources> | ||
844 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.HostType</semanticResources> | ||
845 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance</semanticResources> | ||
846 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.Request</semanticResources> | ||
847 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.ResourceRequirement</semanticResources> | ||
848 | <semanticResources>java:/Objects/hu.bme.mit.inf.dslreasoner.domains.cps.Requirement</semanticResources> | ||
849 | <semanticResources>java:/Objects/java.lang.SuppressWarnings</semanticResources> | ||
850 | <semanticResources>java:/Objects/javax.annotation.Generated</semanticResources> | ||
851 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatcher</semanticResources> | ||
852 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatch</semanticResources> | ||
853 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.GenericQuerySpecification</semanticResources> | ||
854 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher</semanticResources> | ||
855 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.sum</semanticResources> | ||
856 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.AggregatorType</semanticResources> | ||
857 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IAggregatorFactory</semanticResources> | ||
858 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.BoundAggregator</semanticResources> | ||
859 | <semanticResources>java:/Objects/java.lang.annotation.Inherited</semanticResources> | ||
860 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IMultisetAggregationOperator</semanticResources> | ||
861 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ArrayLiterals</semanticResources> | ||
862 | <semanticResources>java:/Objects/com.google.common.annotations.GwtCompatible</semanticResources> | ||
863 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.Pure</semanticResources> | ||
864 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.Inline</semanticResources> | ||
865 | <semanticResources>java:/Objects/com.google.common.annotations.Beta</semanticResources> | ||
866 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.CollectionLiterals</semanticResources> | ||
867 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.Pair</semanticResources> | ||
868 | <semanticResources>java:/Objects/java.util.LinkedHashSet</semanticResources> | ||
869 | <semanticResources>java:/Objects/java.util.TreeMap</semanticResources> | ||
870 | <semanticResources>java:/Objects/java.util.TreeSet</semanticResources> | ||
871 | <semanticResources>java:/Objects/java.util.NavigableMap</semanticResources> | ||
872 | <semanticResources>java:/Objects/java.util.NavigableSet</semanticResources> | ||
873 | <semanticResources>java:/Objects/java.util.SortedSet</semanticResources> | ||
874 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.InputOutput</semanticResources> | ||
875 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ArrayExtensions</semanticResources> | ||
876 | <semanticResources>java:/Objects/com.google.common.annotations.GwtIncompatible</semanticResources> | ||
877 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.BigDecimalExtensions</semanticResources> | ||
878 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.BigIntegerExtensions</semanticResources> | ||
879 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.BooleanExtensions</semanticResources> | ||
880 | <semanticResources>java:/Objects/com.google.common.primitives.Booleans</semanticResources> | ||
881 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ByteExtensions</semanticResources> | ||
882 | <semanticResources>java:/Objects/java.lang.Math</semanticResources> | ||
883 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.CharacterExtensions</semanticResources> | ||
884 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.CollectionExtensions</semanticResources> | ||
885 | <semanticResources>java:/Objects/com.google.common.collect.Iterables</semanticResources> | ||
886 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableList</semanticResources> | ||
887 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableSet</semanticResources> | ||
888 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableSortedSet</semanticResources> | ||
889 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableMap</semanticResources> | ||
890 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableSortedMap</semanticResources> | ||
891 | <semanticResources>java:/Objects/java.util.Collections</semanticResources> | ||
892 | <semanticResources>java:/Objects/com.google.common.collect.FluentIterable</semanticResources> | ||
893 | <semanticResources>java:/Objects/com.google.common.base.Predicate</semanticResources> | ||
894 | <semanticResources>java:/Objects/com.google.common.base.Function</semanticResources> | ||
895 | <semanticResources>java:/Objects/com.google.common.base.Optional</semanticResources> | ||
896 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableCollection</semanticResources> | ||
897 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableListMultimap</semanticResources> | ||
898 | <semanticResources>java:/Objects/com.google.common.base.Joiner</semanticResources> | ||
899 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableMultiset</semanticResources> | ||
900 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableMultimap</semanticResources> | ||
901 | <semanticResources>java:/Objects/com.google.common.collect.ListMultimap</semanticResources> | ||
902 | <semanticResources>java:/Objects/com.google.common.collect.Multimap</semanticResources> | ||
903 | <semanticResources>java:/Objects/com.google.common.collect.AbstractMultimap</semanticResources> | ||
904 | <semanticResources>java:/Objects/com.google.common.collect.UnmodifiableIterator</semanticResources> | ||
905 | <semanticResources>java:/Objects/com.google.common.collect.Serialization</semanticResources> | ||
906 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableSetMultimap</semanticResources> | ||
907 | <semanticResources>java:/Objects/com.google.common.collect.Multiset</semanticResources> | ||
908 | <semanticResources>java:/Objects/com.google.common.collect.Multimaps</semanticResources> | ||
909 | <semanticResources>java:/Objects/com.google.common.collect.Maps</semanticResources> | ||
910 | <semanticResources>java:/Objects/com.google.common.collect.AbstractListMultimap</semanticResources> | ||
911 | <semanticResources>java:/Objects/com.google.common.base.Supplier</semanticResources> | ||
912 | <semanticResources>java:/Objects/com.google.common.collect.AbstractMapBasedMultimap</semanticResources> | ||
913 | <semanticResources>java:/Objects/com.google.common.collect.AbstractSetMultimap</semanticResources> | ||
914 | <semanticResources>java:/Objects/com.google.common.collect.AbstractSortedSetMultimap</semanticResources> | ||
915 | <semanticResources>java:/Objects/com.google.common.collect.AbstractMultiset</semanticResources> | ||
916 | <semanticResources>java:/Objects/com.google.common.collect.Multisets</semanticResources> | ||
917 | <semanticResources>java:/Objects/com.google.common.collect.SetMultimap</semanticResources> | ||
918 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingMultimap</semanticResources> | ||
919 | <semanticResources>java:/Objects/com.google.common.collect.SortedSetMultimap</semanticResources> | ||
920 | <semanticResources>java:/Objects/com.google.common.collect.FilteredMultimap</semanticResources> | ||
921 | <semanticResources>java:/Objects/com.google.common.collect.FilteredSetMultimap</semanticResources> | ||
922 | <semanticResources>java:/Objects/java.util.EnumMap</semanticResources> | ||
923 | <semanticResources>java:/Objects/com.google.common.base.Converter</semanticResources> | ||
924 | <semanticResources>java:/Objects/com.google.common.collect.BiMap</semanticResources> | ||
925 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingMap</semanticResources> | ||
926 | <semanticResources>java:/Objects/com.google.common.collect.Ordering</semanticResources> | ||
927 | <semanticResources>java:/Objects/com.google.common.collect.Sets</semanticResources> | ||
928 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingSet</semanticResources> | ||
929 | <semanticResources>java:/Objects/com.google.common.collect.AbstractNavigableMap</semanticResources> | ||
930 | <semanticResources>java:/Objects/com.google.common.collect.MapDifference</semanticResources> | ||
931 | <semanticResources>java:/Objects/com.google.common.collect.SortedMapDifference</semanticResources> | ||
932 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingCollection</semanticResources> | ||
933 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingSortedMap</semanticResources> | ||
934 | <semanticResources>java:/Objects/com.google.common.base.Equivalence</semanticResources> | ||
935 | <semanticResources>java:/Objects/java.util.IdentityHashMap</semanticResources> | ||
936 | <semanticResources>java:/Objects/com.google.common.collect.Range</semanticResources> | ||
937 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingObject</semanticResources> | ||
938 | <semanticResources>java:/Objects/com.google.common.annotations.VisibleForTesting</semanticResources> | ||
939 | <semanticResources>java:/Objects/java.util.EnumSet</semanticResources> | ||
940 | <semanticResources>java:/Objects/com.google.common.collect.CartesianList</semanticResources> | ||
941 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingNavigableSet</semanticResources> | ||
942 | <semanticResources>java:/Objects/com.google.common.collect.Collections2</semanticResources> | ||
943 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingSortedSet</semanticResources> | ||
944 | <semanticResources>java:/Objects/java.util.concurrent.CopyOnWriteArraySet</semanticResources> | ||
945 | <semanticResources>java:/Objects/com.google.common.collect.AbstractIterator</semanticResources> | ||
946 | <semanticResources>java:/Objects/java.util.concurrent.CopyOnWriteArrayList</semanticResources> | ||
947 | <semanticResources>java:/Objects/java.util.function.BiPredicate</semanticResources> | ||
948 | <semanticResources>java:/Objects/com.google.common.collect.Cut</semanticResources> | ||
949 | <semanticResources>java:/Objects/com.google.common.collect.DiscreteDomain</semanticResources> | ||
950 | <semanticResources>java:/Objects/com.google.common.collect.BoundType</semanticResources> | ||
951 | <semanticResources>java:/Objects/com.google.common.collect.ForwardingMultiset</semanticResources> | ||
952 | <semanticResources>java:/Objects/com.google.common.collect.SortedMultiset</semanticResources> | ||
953 | <semanticResources>java:/Objects/com.google.common.collect.SortedMultisetBridge</semanticResources> | ||
954 | <semanticResources>java:/Objects/com.google.common.collect.SortedIterable</semanticResources> | ||
955 | <semanticResources>java:/Objects/com.google.common.collect.UnmodifiableListIterator</semanticResources> | ||
956 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableSortedSetFauxverideShim</semanticResources> | ||
957 | <semanticResources>java:/Objects/com.google.common.collect.RegularImmutableSortedSet</semanticResources> | ||
958 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableMapEntry</semanticResources> | ||
959 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableEntry</semanticResources> | ||
960 | <semanticResources>java:/Objects/com.google.common.collect.AbstractMapEntry</semanticResources> | ||
961 | <semanticResources>java:/Objects/com.google.common.collect.ImmutableSortedMapFauxverideShim</semanticResources> | ||
962 | <semanticResources>java:/Objects/java.util.AbstractQueue</semanticResources> | ||
963 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ComparableExtensions</semanticResources> | ||
964 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.DoubleExtensions</semanticResources> | ||
965 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.FloatExtensions</semanticResources> | ||
966 | <semanticResources>java:/Objects/java.lang.Float</semanticResources> | ||
967 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.FunctionExtensions</semanticResources> | ||
968 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.Functions</semanticResources> | ||
969 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.Procedures</semanticResources> | ||
970 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.IntegerExtensions</semanticResources> | ||
971 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ExclusiveRange</semanticResources> | ||
972 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.IntegerRange</semanticResources> | ||
973 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.IterableExtensions</semanticResources> | ||
974 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.IteratorExtensions</semanticResources> | ||
975 | <semanticResources>java:/Objects/com.google.common.collect.Iterators</semanticResources> | ||
976 | <semanticResources>java:/Objects/com.google.common.collect.MultitransformedIterator</semanticResources> | ||
977 | <semanticResources>java:/Objects/com.google.common.collect.PeekingIterator</semanticResources> | ||
978 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ListExtensions</semanticResources> | ||
979 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.LongExtensions</semanticResources> | ||
980 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.MapExtensions</semanticResources> | ||
981 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.internal.UnmodifiableMergingMapView</semanticResources> | ||
982 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ObjectExtensions</semanticResources> | ||
983 | <semanticResources>java:/Objects/com.google.common.base.Objects</semanticResources> | ||
984 | <semanticResources>java:/Objects/com.google.common.base.ExtraObjectsMethodsForWeb</semanticResources> | ||
985 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ProcedureExtensions</semanticResources> | ||
986 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.ShortExtensions</semanticResources> | ||
987 | <semanticResources>java:/Objects/java.lang.Short</semanticResources> | ||
988 | <semanticResources>java:/Objects/org.eclipse.xtext.xbase.lib.StringExtensions</semanticResources> | ||
989 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.count</semanticResources> | ||
990 | <semanticResources>java:/Objects/org.eclipse.viatra.query.runtime.matchers.aggregators.avg</semanticResources> | ||
6 | <ownedViews xmi:type="viewpoint:DView" uid="_kSYZgFvMEemLJtrAOuDPFQ"> | 991 | <ownedViews xmi:type="viewpoint:DView" uid="_kSYZgFvMEemLJtrAOuDPFQ"> |
7 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | 992 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> |
8 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_kTNf8FvMEemLJtrAOuDPFQ" name="cps" repPath="#_kSw0AFvMEemLJtrAOuDPFQ"> | 993 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_kTNf8FvMEemLJtrAOuDPFQ" name="cps" repPath="#_kSw0AFvMEemLJtrAOuDPFQ"> |
@@ -62,6 +1047,17 @@ | |||
62 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | 1047 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> |
63 | </endLabelStyleDescription> | 1048 | </endLabelStyleDescription> |
64 | </computedStyleDescriptions> | 1049 | </computedStyleDescriptions> |
1050 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_5GJwsHcmEemo29BzW_RHcw" sourceArrow="InputArrow" routingStyle="manhattan"> | ||
1051 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1052 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_5GJwsXcmEemo29BzW_RHcw" showIcon="false" labelExpression="service:renderEOpposite"> | ||
1053 | <labelFormat>bold</labelFormat> | ||
1054 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1055 | </beginLabelStyleDescription> | ||
1056 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_5GJwsncmEemo29BzW_RHcw" showIcon="false" labelExpression="service:render"> | ||
1057 | <labelFormat>bold</labelFormat> | ||
1058 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1059 | </endLabelStyleDescription> | ||
1060 | </computedStyleDescriptions> | ||
65 | </data> | 1061 | </data> |
66 | </ownedAnnotationEntries> | 1062 | </ownedAnnotationEntries> |
67 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_kTOHAFvMEemLJtrAOuDPFQ" source="GMF_DIAGRAMS"> | 1063 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_kTOHAFvMEemLJtrAOuDPFQ" source="GMF_DIAGRAMS"> |
@@ -95,6 +1091,10 @@ | |||
95 | <styles xmi:type="notation:FontStyle" xmi:id="_bL_qgVvREemLJtrAOuDPFQ" fontColor="2697711" fontName="Noto Sans" fontHeight="8"/> | 1091 | <styles xmi:type="notation:FontStyle" xmi:id="_bL_qgVvREemLJtrAOuDPFQ" fontColor="2697711" fontName="Noto Sans" fontHeight="8"/> |
96 | <layoutConstraint xmi:type="notation:Location" xmi:id="_bL_qglvREemLJtrAOuDPFQ"/> | 1092 | <layoutConstraint xmi:type="notation:Location" xmi:id="_bL_qglvREemLJtrAOuDPFQ"/> |
97 | </children> | 1093 | </children> |
1094 | <children xmi:type="notation:Node" xmi:id="_4TdfwHc3Eemo29BzW_RHcw" type="3010" element="_4TQEYHc3Eemo29BzW_RHcw"> | ||
1095 | <styles xmi:type="notation:FontStyle" xmi:id="_4TdfwXc3Eemo29BzW_RHcw" fontColor="2697711" fontName="Noto Sans" fontHeight="8"/> | ||
1096 | <layoutConstraint xmi:type="notation:Location" xmi:id="_4Tdfwnc3Eemo29BzW_RHcw"/> | ||
1097 | </children> | ||
98 | <styles xmi:type="notation:SortingStyle" xmi:id="_FZ-QAVvOEemLJtrAOuDPFQ"/> | 1098 | <styles xmi:type="notation:SortingStyle" xmi:id="_FZ-QAVvOEemLJtrAOuDPFQ"/> |
99 | <styles xmi:type="notation:FilteringStyle" xmi:id="_FZ-QAlvOEemLJtrAOuDPFQ"/> | 1099 | <styles xmi:type="notation:FilteringStyle" xmi:id="_FZ-QAlvOEemLJtrAOuDPFQ"/> |
100 | </children> | 1100 | </children> |
@@ -383,70 +1383,6 @@ | |||
383 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_TAtKclvZEemLJtrAOuDPFQ" id="(0.0,0.6122448979591837)"/> | 1383 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_TAtKclvZEemLJtrAOuDPFQ" id="(0.0,0.6122448979591837)"/> |
384 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_TAtKc1vZEemLJtrAOuDPFQ" id="(0.39705882352941174,0.0)"/> | 1384 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_TAtKc1vZEemLJtrAOuDPFQ" id="(0.39705882352941174,0.0)"/> |
385 | </edges> | 1385 | </edges> |
386 | <edges xmi:type="notation:Edge" xmi:id="_sSYbUFvfEemLJtrAOuDPFQ" type="4001" element="_sSGHdlvfEemLJtrAOuDPFQ" source="_8icOoFvNEemLJtrAOuDPFQ" target="_8icOoFvNEemLJtrAOuDPFQ"> | ||
387 | <children xmi:type="notation:Node" xmi:id="_sSYbVFvfEemLJtrAOuDPFQ" type="6001"> | ||
388 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_sSYbVVvfEemLJtrAOuDPFQ" x="22" y="-22"/> | ||
389 | </children> | ||
390 | <children xmi:type="notation:Node" xmi:id="_sSYbVlvfEemLJtrAOuDPFQ" type="6002"> | ||
391 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_sSYbV1vfEemLJtrAOuDPFQ" x="-13" y="19"/> | ||
392 | </children> | ||
393 | <children xmi:type="notation:Node" xmi:id="_sSYbWFvfEemLJtrAOuDPFQ" type="6003"> | ||
394 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_sSYbWVvfEemLJtrAOuDPFQ" x="11" y="7"/> | ||
395 | </children> | ||
396 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_sSYbUVvfEemLJtrAOuDPFQ" routing="Rectilinear" lineColor="1345869"/> | ||
397 | <styles xmi:type="notation:FontStyle" xmi:id="_sSYbUlvfEemLJtrAOuDPFQ" fontColor="1345869" fontName="Noto Sans" fontHeight="8"/> | ||
398 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_sSYbU1vfEemLJtrAOuDPFQ" points="[-118, 0, -39, 15]$[-148, 0, -69, 15]$[-148, -60, -69, -45]$[-60, -60, 19, -45]$[-60, -15, 19, 0]"/> | ||
399 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sSZCYFvfEemLJtrAOuDPFQ" id="(1.0,0.15306122448979592)"/> | ||
400 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sSZCYVvfEemLJtrAOuDPFQ" id="(0.3333333333333333,0.0)"/> | ||
401 | </edges> | ||
402 | <edges xmi:type="notation:Edge" xmi:id="_D2rzIFvgEemLJtrAOuDPFQ" type="4001" element="_D2lspFvgEemLJtrAOuDPFQ" source="_vI6r8FvREemLJtrAOuDPFQ" target="_vI6r8FvREemLJtrAOuDPFQ"> | ||
403 | <children xmi:type="notation:Node" xmi:id="_D2saMFvgEemLJtrAOuDPFQ" type="6001"> | ||
404 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D2saMVvgEemLJtrAOuDPFQ" x="101" y="-7"/> | ||
405 | </children> | ||
406 | <children xmi:type="notation:Node" xmi:id="_D2saMlvgEemLJtrAOuDPFQ" type="6002"> | ||
407 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D2saM1vgEemLJtrAOuDPFQ" x="-7" y="10"/> | ||
408 | </children> | ||
409 | <children xmi:type="notation:Node" xmi:id="_D2saNFvgEemLJtrAOuDPFQ" type="6003"> | ||
410 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_D2saNVvgEemLJtrAOuDPFQ" x="7" y="10"/> | ||
411 | </children> | ||
412 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_D2rzIVvgEemLJtrAOuDPFQ" routing="Rectilinear" lineColor="1345869"/> | ||
413 | <styles xmi:type="notation:FontStyle" xmi:id="_D2rzIlvgEemLJtrAOuDPFQ" fontColor="1345869" fontName="Noto Sans" fontHeight="8"/> | ||
414 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_D2rzI1vgEemLJtrAOuDPFQ" points="[0, 98, -60, 0]$[0, 135, -60, 37]$[90, 135, 30, 37]$[90, 98, 30, 0]"/> | ||
415 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_D2saNlvgEemLJtrAOuDPFQ" id="(0.17647058823529413,0.0)"/> | ||
416 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_D2saN1vgEemLJtrAOuDPFQ" id="(0.6176470588235294,1.0)"/> | ||
417 | </edges> | ||
418 | <edges xmi:type="notation:Edge" xmi:id="_rSkHoFvgEemLJtrAOuDPFQ" type="4001" element="_rSSa1lvgEemLJtrAOuDPFQ" source="_FZ9o8FvOEemLJtrAOuDPFQ" target="_FZ9o8FvOEemLJtrAOuDPFQ"> | ||
419 | <children xmi:type="notation:Node" xmi:id="_rSkHpFvgEemLJtrAOuDPFQ" type="6001"> | ||
420 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rSkHpVvgEemLJtrAOuDPFQ" x="1" y="22"/> | ||
421 | </children> | ||
422 | <children xmi:type="notation:Node" xmi:id="_rSkHplvgEemLJtrAOuDPFQ" type="6002"> | ||
423 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rSkHp1vgEemLJtrAOuDPFQ" x="-10"/> | ||
424 | </children> | ||
425 | <children xmi:type="notation:Node" xmi:id="_rSkHqFvgEemLJtrAOuDPFQ" type="6003"> | ||
426 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rSkHqVvgEemLJtrAOuDPFQ" x="-9" y="-10"/> | ||
427 | </children> | ||
428 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_rSkHoVvgEemLJtrAOuDPFQ" routing="Rectilinear" lineColor="1345869"/> | ||
429 | <styles xmi:type="notation:FontStyle" xmi:id="_rSkHolvgEemLJtrAOuDPFQ" fontColor="1345869" fontName="Noto Sans" fontHeight="8"/> | ||
430 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_rSkHo1vgEemLJtrAOuDPFQ" points="[135, -15, -16, -15]$[135, -60, -16, -60]$[60, -60, -91, -60]$[60, -15, -91, -15]"/> | ||
431 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rSkusFvgEemLJtrAOuDPFQ" id="(0.0,0.15306122448979592)"/> | ||
432 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rSkusVvgEemLJtrAOuDPFQ" id="(1.0,0.15306122448979592)"/> | ||
433 | </edges> | ||
434 | <edges xmi:type="notation:Edge" xmi:id="_xXkXAFvgEemLJtrAOuDPFQ" type="4001" element="_xXdpelvgEemLJtrAOuDPFQ" source="_UoYsMFvUEemLJtrAOuDPFQ" target="_UoYsMFvUEemLJtrAOuDPFQ"> | ||
435 | <children xmi:type="notation:Node" xmi:id="_xXkXBFvgEemLJtrAOuDPFQ" type="6001"> | ||
436 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xXkXBVvgEemLJtrAOuDPFQ" x="-104" y="-7"/> | ||
437 | </children> | ||
438 | <children xmi:type="notation:Node" xmi:id="_xXkXBlvgEemLJtrAOuDPFQ" type="6002"> | ||
439 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xXkXB1vgEemLJtrAOuDPFQ" x="1" y="8"/> | ||
440 | </children> | ||
441 | <children xmi:type="notation:Node" xmi:id="_xXk-EFvgEemLJtrAOuDPFQ" type="6003"> | ||
442 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xXk-EVvgEemLJtrAOuDPFQ" x="-2" y="10"/> | ||
443 | </children> | ||
444 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_xXkXAVvgEemLJtrAOuDPFQ" routing="Rectilinear" lineColor="1345869"/> | ||
445 | <styles xmi:type="notation:FontStyle" xmi:id="_xXkXAlvgEemLJtrAOuDPFQ" fontColor="1345869" fontName="Noto Sans" fontHeight="8"/> | ||
446 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_xXkXA1vgEemLJtrAOuDPFQ" points="[-121, 83, 30, 83]$[-121, 120, 30, 120]$[-31, 120, 120, 120]$[-31, 83, 120, 83]"/> | ||
447 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xXk-ElvgEemLJtrAOuDPFQ" id="(1.0,0.15306122448979592)"/> | ||
448 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xXk-E1vgEemLJtrAOuDPFQ" id="(0.0,0.15306122448979592)"/> | ||
449 | </edges> | ||
450 | </data> | 1386 | </data> |
451 | </ownedAnnotationEntries> | 1387 | </ownedAnnotationEntries> |
452 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_Itg50FvNEemLJtrAOuDPFQ" name="CyberPhysicalSystem" tooltipText="" outgoingEdges="_CU3uAFvTEemLJtrAOuDPFQ _ECuvRlvZEemLJtrAOuDPFQ _HQRCT1vZEemLJtrAOuDPFQ _Lr45GFvZEemLJtrAOuDPFQ _TAeg9lvZEemLJtrAOuDPFQ" width="12" height="10"> | 1388 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_Itg50FvNEemLJtrAOuDPFQ" name="CyberPhysicalSystem" tooltipText="" outgoingEdges="_CU3uAFvTEemLJtrAOuDPFQ _ECuvRlvZEemLJtrAOuDPFQ _HQRCT1vZEemLJtrAOuDPFQ _Lr45GFvZEemLJtrAOuDPFQ _TAeg9lvZEemLJtrAOuDPFQ" width="12" height="10"> |
@@ -460,7 +1396,7 @@ | |||
460 | </ownedStyle> | 1396 | </ownedStyle> |
461 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 1397 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
462 | </ownedDiagramElements> | 1398 | </ownedDiagramElements> |
463 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_8iM-EFvNEemLJtrAOuDPFQ" name="ApplicationType" tooltipText="" outgoingEdges="_jGSVo1vTEemLJtrAOuDPFQ _GOOItlvUEemLJtrAOuDPFQ _sSGHdlvfEemLJtrAOuDPFQ" incomingEdges="_Xc3bc1vTEemLJtrAOuDPFQ _ECuvRlvZEemLJtrAOuDPFQ _sSGHdlvfEemLJtrAOuDPFQ" width="12" height="10"> | 1399 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_8iM-EFvNEemLJtrAOuDPFQ" name="ApplicationType" tooltipText="" outgoingEdges="_jGSVo1vTEemLJtrAOuDPFQ _GOOItlvUEemLJtrAOuDPFQ" incomingEdges="_Xc3bc1vTEemLJtrAOuDPFQ _ECuvRlvZEemLJtrAOuDPFQ" width="12" height="10"> |
464 | <target xmi:type="ecore:EClass" href="cps.ecore#//ApplicationType"/> | 1400 | <target xmi:type="ecore:EClass" href="cps.ecore#//ApplicationType"/> |
465 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//ApplicationType"/> | 1401 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//ApplicationType"/> |
466 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 1402 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -471,13 +1407,13 @@ | |||
471 | </ownedStyle> | 1407 | </ownedStyle> |
472 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 1408 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
473 | </ownedDiagramElements> | 1409 | </ownedDiagramElements> |
474 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_FZ1GEFvOEemLJtrAOuDPFQ" name="HostType" tooltipText="" outgoingEdges="_YawKkFvUEemLJtrAOuDPFQ _rSSa1lvgEemLJtrAOuDPFQ" incomingEdges="_OKZ8IFvUEemLJtrAOuDPFQ _HQRCT1vZEemLJtrAOuDPFQ _rSSa1lvgEemLJtrAOuDPFQ" width="12" height="10"> | 1410 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_FZ1GEFvOEemLJtrAOuDPFQ" name="HostType" tooltipText="" outgoingEdges="_YawKkFvUEemLJtrAOuDPFQ" incomingEdges="_OKZ8IFvUEemLJtrAOuDPFQ _HQRCT1vZEemLJtrAOuDPFQ" width="12" height="10"> |
475 | <target xmi:type="ecore:EClass" href="cps.ecore#//HostType"/> | 1411 | <target xmi:type="ecore:EClass" href="cps.ecore#//HostType"/> |
476 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//HostType"/> | 1412 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//HostType"/> |
477 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 1413 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
478 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | 1414 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> |
479 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | 1415 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> |
480 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_eEUig1vREemLJtrAOuDPFQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 1416 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_4ua9dXc3Eemo29BzW_RHcw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
481 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 1417 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
482 | </ownedStyle> | 1418 | </ownedStyle> |
483 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 1419 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
@@ -497,6 +1433,14 @@ | |||
497 | </ownedStyle> | 1433 | </ownedStyle> |
498 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 1434 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
499 | </ownedElements> | 1435 | </ownedElements> |
1436 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_4TQEYHc3Eemo29BzW_RHcw" name="cost : EInt" tooltipText=""> | ||
1437 | <target xmi:type="ecore:EAttribute" href="cps.ecore#//HostType/cost"/> | ||
1438 | <semanticElements xmi:type="ecore:EAttribute" href="cps.ecore#//HostType/cost"/> | ||
1439 | <ownedStyle xmi:type="diagram:BundledImage" uid="_5G0PUnc3Eemo29BzW_RHcw" labelAlignment="LEFT" description="_-5WboFvNEemLJtrAOuDPFQ"> | ||
1440 | <labelFormat>bold</labelFormat> | ||
1441 | </ownedStyle> | ||
1442 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
1443 | </ownedElements> | ||
500 | </ownedDiagramElements> | 1444 | </ownedDiagramElements> |
501 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_jfFiEFvREemLJtrAOuDPFQ" name="Request" tooltipText="" outgoingEdges="_INyCIFvTEemLJtrAOuDPFQ" incomingEdges="_CU3uAFvTEemLJtrAOuDPFQ" width="12" height="10"> | 1445 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_jfFiEFvREemLJtrAOuDPFQ" name="Request" tooltipText="" outgoingEdges="_INyCIFvTEemLJtrAOuDPFQ" incomingEdges="_CU3uAFvTEemLJtrAOuDPFQ" width="12" height="10"> |
502 | <target xmi:type="ecore:EClass" href="cps.ecore#//Request"/> | 1446 | <target xmi:type="ecore:EClass" href="cps.ecore#//Request"/> |
@@ -528,7 +1472,7 @@ | |||
528 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 1472 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
529 | </ownedElements> | 1473 | </ownedElements> |
530 | </ownedDiagramElements> | 1474 | </ownedDiagramElements> |
531 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_vIvs0FvREemLJtrAOuDPFQ" name="ApplicationInstance" tooltipText="" outgoingEdges="_ZlkF81vWEemLJtrAOuDPFQ _D2lspFvgEemLJtrAOuDPFQ" incomingEdges="_dUZ2kFvTEemLJtrAOuDPFQ _jGSVo1vTEemLJtrAOuDPFQ _TAeg9lvZEemLJtrAOuDPFQ _D2lspFvgEemLJtrAOuDPFQ" width="12" height="10"> | 1475 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_vIvs0FvREemLJtrAOuDPFQ" name="ApplicationInstance" tooltipText="" outgoingEdges="_ZlkF81vWEemLJtrAOuDPFQ" incomingEdges="_dUZ2kFvTEemLJtrAOuDPFQ _jGSVo1vTEemLJtrAOuDPFQ _TAeg9lvZEemLJtrAOuDPFQ" width="12" height="10"> |
532 | <target xmi:type="ecore:EClass" href="cps.ecore#//ApplicationInstance"/> | 1476 | <target xmi:type="ecore:EClass" href="cps.ecore#//ApplicationInstance"/> |
533 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//ApplicationInstance"/> | 1477 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//ApplicationInstance"/> |
534 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 1478 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -603,7 +1547,7 @@ | |||
603 | </ownedStyle> | 1547 | </ownedStyle> |
604 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 1548 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
605 | </ownedDiagramElements> | 1549 | </ownedDiagramElements> |
606 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_dUZ2kFvTEemLJtrAOuDPFQ" sourceNode="_p05NkFvREemLJtrAOuDPFQ" targetNode="_vIvs0FvREemLJtrAOuDPFQ" beginLabel="[0..*] requirement" endLabel="[0..*] instances"> | 1550 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_dUZ2kFvTEemLJtrAOuDPFQ" sourceNode="_p05NkFvREemLJtrAOuDPFQ" targetNode="_vIvs0FvREemLJtrAOuDPFQ" beginLabel="[0..1] requirement" endLabel="[0..*] instances"> |
607 | <target xmi:type="ecore:EReference" href="cps.ecore#//Requirement/instances"/> | 1551 | <target xmi:type="ecore:EReference" href="cps.ecore#//Requirement/instances"/> |
608 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//Requirement/instances"/> | 1552 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//Requirement/instances"/> |
609 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/requirement"/> | 1553 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/requirement"/> |
@@ -648,7 +1592,7 @@ | |||
648 | </ownedStyle> | 1592 | </ownedStyle> |
649 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 1593 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
650 | </ownedDiagramElements> | 1594 | </ownedDiagramElements> |
651 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_UoGYUFvUEemLJtrAOuDPFQ" name="HostInstance" tooltipText="" outgoingEdges="_xXdpelvgEemLJtrAOuDPFQ" incomingEdges="_YawKkFvUEemLJtrAOuDPFQ _ZlkF81vWEemLJtrAOuDPFQ _Lr45GFvZEemLJtrAOuDPFQ _xXdpelvgEemLJtrAOuDPFQ" width="12" height="10"> | 1595 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_UoGYUFvUEemLJtrAOuDPFQ" name="HostInstance" tooltipText="" incomingEdges="_YawKkFvUEemLJtrAOuDPFQ _ZlkF81vWEemLJtrAOuDPFQ _Lr45GFvZEemLJtrAOuDPFQ" width="12" height="10"> |
652 | <target xmi:type="ecore:EClass" href="cps.ecore#//HostInstance"/> | 1596 | <target xmi:type="ecore:EClass" href="cps.ecore#//HostInstance"/> |
653 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//HostInstance"/> | 1597 | <semanticElements xmi:type="ecore:EClass" href="cps.ecore#//HostInstance"/> |
654 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 1598 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -693,14 +1637,17 @@ | |||
693 | </ownedStyle> | 1637 | </ownedStyle> |
694 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/> | 1638 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/> |
695 | </ownedDiagramElements> | 1639 | </ownedDiagramElements> |
696 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_ZlkF81vWEemLJtrAOuDPFQ" sourceNode="_vIvs0FvREemLJtrAOuDPFQ" targetNode="_UoGYUFvUEemLJtrAOuDPFQ" beginLabel="[0..*] applications" endLabel="[0..*] allocatedTo"> | 1640 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_ZlkF81vWEemLJtrAOuDPFQ" sourceNode="_vIvs0FvREemLJtrAOuDPFQ" targetNode="_UoGYUFvUEemLJtrAOuDPFQ" beginLabel="[0..*] applications" endLabel="[1..1] allocatedTo"> |
697 | <target xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/allocatedTo"/> | 1641 | <target xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/allocatedTo"/> |
698 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/allocatedTo"/> | 1642 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/allocatedTo"/> |
699 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//HostInstance/applications"/> | 1643 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//HostInstance/applications"/> |
700 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_ZlktAFvWEemLJtrAOuDPFQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> | 1644 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_5GJws3cmEemo29BzW_RHcw" description="_5GJwsHcmEemo29BzW_RHcw" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> |
701 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']/@style"/> | 1645 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_5GJwtHcmEemo29BzW_RHcw" showIcon="false"> |
702 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_ZlktAVvWEemLJtrAOuDPFQ" showIcon="false"/> | 1646 | <labelFormat>bold</labelFormat> |
703 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_ZlktAlvWEemLJtrAOuDPFQ" showIcon="false"/> | 1647 | </beginLabelStyle> |
1648 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_5GJwtXcmEemo29BzW_RHcw" showIcon="false"> | ||
1649 | <labelFormat>bold</labelFormat> | ||
1650 | </endLabelStyle> | ||
704 | </ownedStyle> | 1651 | </ownedStyle> |
705 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/> | 1652 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/> |
706 | </ownedDiagramElements> | 1653 | </ownedDiagramElements> |
@@ -748,76 +1695,6 @@ | |||
748 | </ownedStyle> | 1695 | </ownedStyle> |
749 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 1696 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
750 | </ownedDiagramElements> | 1697 | </ownedDiagramElements> |
751 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_sSGHdlvfEemLJtrAOuDPFQ" name="[0..*] dependsOn" sourceNode="_8iM-EFvNEemLJtrAOuDPFQ" targetNode="_8iM-EFvNEemLJtrAOuDPFQ"> | ||
752 | <target xmi:type="ecore:EReference" href="cps.ecore#//ApplicationType/dependsOn"/> | ||
753 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//ApplicationType/dependsOn"/> | ||
754 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_sSHVkFvfEemLJtrAOuDPFQ" routingStyle="manhattan" strokeColor="77,137,20"> | ||
755 | <customFeatures>strokeColor</customFeatures> | ||
756 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> | ||
757 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_sSHVklvfEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
758 | <customFeatures>labelFormat</customFeatures> | ||
759 | <customFeatures>labelSize</customFeatures> | ||
760 | <customFeatures>labelColor</customFeatures> | ||
761 | </centerLabelStyle> | ||
762 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_sSHVkVvfEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
763 | <customFeatures>labelFormat</customFeatures> | ||
764 | <customFeatures>labelSize</customFeatures> | ||
765 | <customFeatures>labelColor</customFeatures> | ||
766 | </endLabelStyle> | ||
767 | </ownedStyle> | ||
768 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
769 | </ownedDiagramElements> | ||
770 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_D2lspFvgEemLJtrAOuDPFQ" name="[0..1] dependsOn" sourceNode="_vIvs0FvREemLJtrAOuDPFQ" targetNode="_vIvs0FvREemLJtrAOuDPFQ"> | ||
771 | <target xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/dependsOn"/> | ||
772 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//ApplicationInstance/dependsOn"/> | ||
773 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_D2mTkFvgEemLJtrAOuDPFQ" routingStyle="manhattan" strokeColor="77,137,20"> | ||
774 | <customFeatures>strokeColor</customFeatures> | ||
775 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> | ||
776 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_D2mTklvgEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
777 | <customFeatures>labelSize</customFeatures> | ||
778 | <customFeatures>labelColor</customFeatures> | ||
779 | </centerLabelStyle> | ||
780 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_D2mTkVvgEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
781 | <customFeatures>labelSize</customFeatures> | ||
782 | <customFeatures>labelColor</customFeatures> | ||
783 | </endLabelStyle> | ||
784 | </ownedStyle> | ||
785 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
786 | </ownedDiagramElements> | ||
787 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_rSSa1lvgEemLJtrAOuDPFQ" name="[0..*] canConnectTo" sourceNode="_FZ1GEFvOEemLJtrAOuDPFQ" targetNode="_FZ1GEFvOEemLJtrAOuDPFQ"> | ||
788 | <target xmi:type="ecore:EReference" href="cps.ecore#//HostType/canConnectTo"/> | ||
789 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//HostType/canConnectTo"/> | ||
790 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_rSTB4FvgEemLJtrAOuDPFQ" routingStyle="manhattan" strokeColor="77,137,20"> | ||
791 | <customFeatures>strokeColor</customFeatures> | ||
792 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> | ||
793 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_rSTB4lvgEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
794 | <customFeatures>labelSize</customFeatures> | ||
795 | <customFeatures>labelColor</customFeatures> | ||
796 | </centerLabelStyle> | ||
797 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_rSTB4VvgEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
798 | <customFeatures>labelSize</customFeatures> | ||
799 | <customFeatures>labelColor</customFeatures> | ||
800 | </endLabelStyle> | ||
801 | </ownedStyle> | ||
802 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
803 | </ownedDiagramElements> | ||
804 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_xXdpelvgEemLJtrAOuDPFQ" name="[0..*] connectedTo" sourceNode="_UoGYUFvUEemLJtrAOuDPFQ" targetNode="_UoGYUFvUEemLJtrAOuDPFQ"> | ||
805 | <target xmi:type="ecore:EReference" href="cps.ecore#//HostInstance/connectedTo"/> | ||
806 | <semanticElements xmi:type="ecore:EReference" href="cps.ecore#//HostInstance/connectedTo"/> | ||
807 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_xXeQYFvgEemLJtrAOuDPFQ" routingStyle="manhattan" strokeColor="77,137,20"> | ||
808 | <customFeatures>strokeColor</customFeatures> | ||
809 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> | ||
810 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_xXeQYlvgEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
811 | <customFeatures>labelSize</customFeatures> | ||
812 | <customFeatures>labelColor</customFeatures> | ||
813 | </centerLabelStyle> | ||
814 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_xXeQYVvgEemLJtrAOuDPFQ" showIcon="false" labelColor="77,137,20"> | ||
815 | <customFeatures>labelSize</customFeatures> | ||
816 | <customFeatures>labelColor</customFeatures> | ||
817 | </endLabelStyle> | ||
818 | </ownedStyle> | ||
819 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
820 | </ownedDiagramElements> | ||
821 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 1698 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
822 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_kSzQQFvMEemLJtrAOuDPFQ"/> | 1699 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_kSzQQFvMEemLJtrAOuDPFQ"/> |
823 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | 1700 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore index bcf0ed99..36db23be 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.ecore | |||
@@ -1,6 +1,9 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cps" nsURI="http://www.example.org/cps" nsPrefix="cps"> | 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cps" nsURI="http://www.example.org/cps" nsPrefix="cps"> |
4 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
5 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
6 | </eAnnotations> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem"> | 7 | <eClassifiers xsi:type="ecore:EClass" name="CyberPhysicalSystem"> |
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1" | 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="requests" upperBound="-1" |
6 | eType="#//Request" containment="true"/> | 9 | eType="#//Request" containment="true"/> |
@@ -10,18 +13,24 @@ | |||
10 | eType="#//HostType" containment="true"/> | 13 | eType="#//HostType" containment="true"/> |
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1" | 14 | <eStructuralFeatures xsi:type="ecore:EReference" name="hosts" upperBound="-1" |
12 | eType="#//HostInstance" changeable="false" volatile="true" transient="true" | 15 | eType="#//HostInstance" changeable="false" volatile="true" transient="true" |
13 | derived="true"/> | 16 | derived="true"> |
17 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
18 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsHosts"/> | ||
19 | </eAnnotations> | ||
20 | </eStructuralFeatures> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | 21 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" |
15 | eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true" | 22 | eType="#//ApplicationInstance" changeable="false" volatile="true" transient="true" |
16 | derived="true"/> | 23 | derived="true"> |
24 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
25 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.cpsApplications"/> | ||
26 | </eAnnotations> | ||
27 | </eStructuralFeatures> | ||
17 | </eClassifiers> | 28 | </eClassifiers> |
18 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> | 29 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationType"> |
19 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | 30 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" |
20 | eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/> | 31 | eType="#//ApplicationInstance" containment="true" eOpposite="#//ApplicationInstance/type"/> |
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" | 32 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" |
22 | eType="#//ResourceRequirement" containment="true"/> | 33 | eType="#//ResourceRequirement" containment="true"/> |
23 | <eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" upperBound="-1" | ||
24 | eType="#//ApplicationType"/> | ||
25 | </eClassifiers> | 34 | </eClassifiers> |
26 | <eClassifiers xsi:type="ecore:EClass" name="HostType"> | 35 | <eClassifiers xsi:type="ecore:EClass" name="HostType"> |
27 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1" | 36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultMemory" lowerBound="1" |
@@ -30,8 +39,7 @@ | |||
30 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 39 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
31 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" | 40 | <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1" |
32 | eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/> | 41 | eType="#//HostInstance" containment="true" eOpposite="#//HostInstance/type"/> |
33 | <eStructuralFeatures xsi:type="ecore:EReference" name="canConnectTo" upperBound="-1" | 42 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="cost" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
34 | eType="#//HostType"/> | ||
35 | </eClassifiers> | 43 | </eClassifiers> |
36 | <eClassifiers xsi:type="ecore:EClass" name="Request"> | 44 | <eClassifiers xsi:type="ecore:EClass" name="Request"> |
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" | 45 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirements" upperBound="-1" |
@@ -46,13 +54,12 @@ | |||
46 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/> | 54 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/requirement"/> |
47 | </eClassifiers> | 55 | </eClassifiers> |
48 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance"> | 56 | <eClassifiers xsi:type="ecore:EClass" name="ApplicationInstance"> |
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirement" upperBound="-1" | 57 | <eStructuralFeatures xsi:type="ecore:EReference" name="requirement" eType="#//Requirement" |
50 | eType="#//Requirement" eOpposite="#//Requirement/instances"/> | 58 | eOpposite="#//Requirement/instances"/> |
51 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType" | 59 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ApplicationType" |
52 | eOpposite="#//ApplicationType/instances"/> | 60 | eOpposite="#//ApplicationType/instances"/> |
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" upperBound="-1" | 61 | <eStructuralFeatures xsi:type="ecore:EReference" name="allocatedTo" lowerBound="1" |
54 | eType="#//HostInstance" eOpposite="#//HostInstance/applications"/> | 62 | eType="#//HostInstance" eOpposite="#//HostInstance/applications"/> |
55 | <eStructuralFeatures xsi:type="ecore:EReference" name="dependsOn" eType="#//ApplicationInstance"/> | ||
56 | </eClassifiers> | 63 | </eClassifiers> |
57 | <eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement"> | 64 | <eClassifiers xsi:type="ecore:EClass" name="ResourceRequirement"> |
58 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1" | 65 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="requiredMemory" lowerBound="1" |
@@ -66,16 +73,30 @@ | |||
66 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" | 73 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//HostType" |
67 | eOpposite="#//HostType/instances"/> | 74 | eOpposite="#//HostType/instances"/> |
68 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 75 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" |
69 | changeable="false" volatile="true" transient="true" derived="true"/> | 76 | changeable="false" volatile="true" transient="true" derived="true"> |
77 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
78 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory"/> | ||
79 | </eAnnotations> | ||
80 | </eStructuralFeatures> | ||
70 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 81 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="availableHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" |
71 | changeable="false" volatile="true" transient="true" derived="true"/> | 82 | changeable="false" volatile="true" transient="true" derived="true"> |
83 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
84 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd"/> | ||
85 | </eAnnotations> | ||
86 | </eStructuralFeatures> | ||
72 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 87 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalMemory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" |
73 | changeable="false" volatile="true" transient="true" derived="true"/> | 88 | changeable="false" volatile="true" transient="true" derived="true"> |
89 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
90 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory"/> | ||
91 | </eAnnotations> | ||
92 | </eStructuralFeatures> | ||
74 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | 93 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="totalHdd" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" |
75 | changeable="false" volatile="true" transient="true" derived="true"/> | 94 | changeable="false" volatile="true" transient="true" derived="true"> |
95 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
96 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd"/> | ||
97 | </eAnnotations> | ||
98 | </eStructuralFeatures> | ||
76 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" | 99 | <eStructuralFeatures xsi:type="ecore:EReference" name="applications" upperBound="-1" |
77 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> | 100 | eType="#//ApplicationInstance" eOpposite="#//ApplicationInstance/allocatedTo"/> |
78 | <eStructuralFeatures xsi:type="ecore:EReference" name="connectedTo" upperBound="-1" | ||
79 | eType="#//HostInstance"/> | ||
80 | </eClassifiers> | 101 | </eClassifiers> |
81 | </ecore:EPackage> | 102 | </ecore:EPackage> |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel index 679e2c49..a0ccec7f 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/model/cps.genmodel | |||
@@ -21,13 +21,12 @@ | |||
21 | <genClasses ecoreClass="cps.ecore#//ApplicationType"> | 21 | <genClasses ecoreClass="cps.ecore#//ApplicationType"> |
22 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationType/instances"/> | 22 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationType/instances"/> |
23 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationType/requirements"/> | 23 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationType/requirements"/> |
24 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationType/dependsOn"/> | ||
25 | </genClasses> | 24 | </genClasses> |
26 | <genClasses ecoreClass="cps.ecore#//HostType"> | 25 | <genClasses ecoreClass="cps.ecore#//HostType"> |
27 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostType/defaultMemory"/> | 26 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostType/defaultMemory"/> |
28 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostType/defaultHdd"/> | 27 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostType/defaultHdd"/> |
29 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//HostType/instances"/> | 28 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//HostType/instances"/> |
30 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//HostType/canConnectTo"/> | 29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostType/cost"/> |
31 | </genClasses> | 30 | </genClasses> |
32 | <genClasses ecoreClass="cps.ecore#//Request"> | 31 | <genClasses ecoreClass="cps.ecore#//Request"> |
33 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//Request/requirements"/> | 32 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//Request/requirements"/> |
@@ -42,7 +41,6 @@ | |||
42 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/requirement"/> | 41 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/requirement"/> |
43 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/type"/> | 42 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/type"/> |
44 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/allocatedTo"/> | 43 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/allocatedTo"/> |
45 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//ApplicationInstance/dependsOn"/> | ||
46 | </genClasses> | 44 | </genClasses> |
47 | <genClasses ecoreClass="cps.ecore#//ResourceRequirement"> | 45 | <genClasses ecoreClass="cps.ecore#//ResourceRequirement"> |
48 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//ResourceRequirement/requiredMemory"/> | 46 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//ResourceRequirement/requiredMemory"/> |
@@ -56,7 +54,6 @@ | |||
56 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostInstance/totalMemory"/> | 54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostInstance/totalMemory"/> |
57 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostInstance/totalHdd"/> | 55 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cps.ecore#//HostInstance/totalHdd"/> |
58 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//HostInstance/applications"/> | 56 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//HostInstance/applications"/> |
59 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cps.ecore#//HostInstance/connectedTo"/> | ||
60 | </genClasses> | 57 | </genClasses> |
61 | </genPackages> | 58 | </genPackages> |
62 | </genmodel:GenModel> | 59 | </genmodel:GenModel> |