diff options
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> |