From 2531cfb60d747c261a20201415728beb0e24ab9b Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 15 Apr 2019 16:23:19 +0200 Subject: Satellite constellation case study WIP --- .../model/satellite.aird | 2121 ++++++++++++++++++++ .../model/satellite.ecore | 50 + .../model/satellite.genmodel | 54 + 3 files changed, 2225 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird new file mode 100644 index 00000000..3aa1cc06 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.aird @@ -0,0 +1,2121 @@ + + + + satellite.ecore + satellite.genmodel + ../src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql + http://www.eclipse.org/emf/2002/Ecore + java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatcher + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseMatcher + java:/Objects/org.eclipse.viatra.query.runtime.api.GenericPatternMatch + java:/Objects/org.eclipse.viatra.query.runtime.api.GenericQuerySpecification + java:/Objects/java.lang.Object + java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngine + java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.Tuple + java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.QueryResultWrapper + java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher + java:/Objects/org.eclipse.viatra.query.runtime.api.IQuerySpecification + java:/Primitives + java:/Objects/java.util.function.Consumer + java:/Objects/java.util.Collection + java:/Objects/java.lang.String + java:/Objects/java.util.Set + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IMatcherCapability + java:/Objects/java.util.Optional + java:/Objects/java.util.List + java:/Objects/java.lang.Integer + java:/Objects/java.util.stream.Stream + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryResultProvider + java:/Objects/org.eclipse.viatra.query.runtime.api.IPatternMatch + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQueryHeader + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery + java:/Objects/java.lang.Class + java:/Objects/org.eclipse.viatra.query.runtime.api.scope.QueryScope + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility + java:/Objects/java.util.function.BiConsumer + java:/Objects/java.lang.FunctionalInterface + java:/Objects/java.lang.annotation.Target + java:/Objects/java.lang.annotation.ElementType + java:/Objects/java.lang.annotation.Retention + java:/Objects/java.lang.annotation.RetentionPolicy + java:/Objects/java.lang.annotation.Documented + java:/Objects/java.lang.annotation.Annotation + java:/Objects/java.lang.Enum + java:/Objects/java.lang.Comparable + java:/Objects/java.io.Serializable + java:/Objects/java.lang.CloneNotSupportedException + java:/Objects/java.io.ObjectInputStream + java:/Objects/java.io.IOException + java:/Objects/java.lang.ClassNotFoundException + java:/Objects/java.io.ObjectStreamException + java:/Objects/java.lang.Exception + java:/Objects/java.lang.Throwable + java:/Objects/java.io.PrintWriter + java:/Objects/java.io.PrintStream + java:/Objects/java.lang.StackTraceElement + java:/Objects/java.io.ObjectOutputStream + java:/Objects/java.io.Writer + java:/Objects/java.io.OutputStream + java:/Objects/java.io.FileNotFoundException + java:/Objects/java.io.File + java:/Objects/java.nio.charset.Charset + java:/Objects/java.io.UnsupportedEncodingException + java:/Objects/java.lang.CharSequence + java:/Objects/java.util.Locale + java:/Objects/java.util.Formatter + java:/Objects/java.lang.Appendable + java:/Objects/java.io.Closeable + java:/Objects/java.io.Flushable + java:/Objects/java.lang.AutoCloseable + java:/Objects/java.security.SecureRandom + java:/Objects/java.net.URI + java:/Objects/java.io.FilenameFilter + java:/Objects/java.io.FileFilter + java:/Objects/java.nio.file.Path + java:/Objects/java.lang.Deprecated + java:/Objects/java.net.MalformedURLException + java:/Objects/java.net.URL + java:/Objects/sun.misc.Unsafe + java:/Objects/java.io.FileSystem + java:/Objects/java.util.Random + java:/Objects/java.util.regex.Pattern + java:/Objects/java.security.SecureRandomSpi + java:/Objects/java.security.Provider + java:/Objects/java.security.NoSuchAlgorithmException + java:/Objects/java.security.NoSuchProviderException + java:/Objects/java.security.MessageDigest + java:/Objects/sun.security.util.Debug + java:/Objects/java.util.Spliterator + java:/Objects/java.util.function.DoubleConsumer + java:/Objects/java.util.function.LongConsumer + java:/Objects/java.util.function.IntConsumer + java:/Objects/java.util.stream.DoubleStream + java:/Objects/java.util.stream.IntStream + java:/Objects/java.util.stream.LongStream + java:/Objects/java.util.concurrent.atomic.AtomicLong + java:/Objects/java.io.ObjectStreamField + java:/Objects/java.lang.Double + java:/Objects/java.lang.Long + java:/Objects/java.util.Comparator + java:/Objects/java.lang.Number + java:/Objects/java.lang.NumberFormatException + java:/Objects/java.lang.IllegalArgumentException + java:/Objects/java.lang.RuntimeException + java:/Objects/java.math.BigInteger + java:/Objects/java.lang.StringBuilder + java:/Objects/java.lang.AbstractStringBuilder + java:/Objects/java.lang.StringBuffer + java:/Objects/java.util.function.Function + java:/Objects/java.util.function.ToDoubleFunction + java:/Objects/java.util.function.ToIntFunction + java:/Objects/java.util.function.ToLongFunction + java:/Objects/java.util.stream.BaseStream + java:/Objects/java.util.function.DoublePredicate + java:/Objects/java.util.OptionalDouble + java:/Objects/java.util.function.Supplier + java:/Objects/java.util.function.ObjDoubleConsumer + java:/Objects/java.util.function.DoubleFunction + java:/Objects/java.util.function.DoubleSupplier + java:/Objects/java.util.function.DoubleUnaryOperator + java:/Objects/java.util.PrimitiveIterator + java:/Objects/java.util.function.DoubleToIntFunction + java:/Objects/java.util.function.DoubleToLongFunction + java:/Objects/java.util.function.DoubleBinaryOperator + java:/Objects/java.util.DoubleSummaryStatistics + java:/Objects/java.util.Iterator + java:/Objects/java.lang.Runnable + java:/Objects/java.util.function.IntPredicate + java:/Objects/java.util.function.ObjIntConsumer + java:/Objects/java.util.OptionalInt + java:/Objects/java.util.function.IntFunction + java:/Objects/java.util.function.IntSupplier + java:/Objects/java.util.function.IntUnaryOperator + java:/Objects/java.util.function.IntToDoubleFunction + java:/Objects/java.util.function.IntToLongFunction + java:/Objects/java.util.function.IntBinaryOperator + java:/Objects/java.util.IntSummaryStatistics + java:/Objects/java.util.function.LongPredicate + java:/Objects/java.util.function.ObjLongConsumer + java:/Objects/java.util.OptionalLong + java:/Objects/java.util.function.LongFunction + java:/Objects/java.util.function.LongSupplier + java:/Objects/java.util.function.LongUnaryOperator + java:/Objects/java.util.function.LongToDoubleFunction + java:/Objects/java.util.function.LongToIntFunction + java:/Objects/java.util.function.LongBinaryOperator + java:/Objects/java.util.LongSummaryStatistics + java:/Objects/java.lang.reflect.Field + java:/Objects/sun.reflect.CallerSensitive + java:/Objects/java.lang.reflect.AccessibleObject + java:/Objects/java.lang.reflect.Member + java:/Objects/sun.reflect.FieldAccessor + java:/Objects/java.util.Map + java:/Objects/java.lang.IllegalAccessException + java:/Objects/java.lang.reflect.AnnotatedType + java:/Objects/sun.reflect.generics.factory.GenericsFactory + java:/Objects/sun.reflect.generics.repository.FieldRepository + java:/Objects/java.lang.reflect.Type + java:/Objects/java.lang.reflect.AnnotatedElement + java:/Objects/java.lang.SecurityException + java:/Objects/java.security.Permission + java:/Objects/sun.reflect.ReflectionFactory + java:/Objects/java.security.Guard + java:/Objects/java.security.PermissionCollection + java:/Objects/java.util.Enumeration + java:/Objects/java.security.PrivilegedAction + java:/Objects/java.lang.reflect.Constructor + java:/Objects/java.lang.reflect.Method + java:/Objects/java.lang.invoke.MethodHandle + java:/Objects/sun.reflect.ConstructorAccessor + java:/Objects/java.lang.reflect.Executable + java:/Objects/sun.reflect.MethodAccessor + java:/Objects/sun.reflect.LangReflectAccess + java:/Objects/java.io.OptionalDataException + java:/Objects/sun.reflect.generics.repository.ConstructorRepository + java:/Objects/java.lang.reflect.TypeVariable + java:/Objects/java.lang.InstantiationException + java:/Objects/java.lang.reflect.InvocationTargetException + java:/Objects/sun.reflect.generics.repository.GenericDeclRepository + java:/Objects/sun.reflect.generics.tree.MethodTypeSignature + java:/Objects/sun.reflect.generics.repository.AbstractRepository + java:/Objects/sun.reflect.generics.tree.Signature + java:/Objects/sun.reflect.generics.visitor.Reifier + java:/Objects/sun.reflect.generics.tree.Tree + java:/Objects/sun.reflect.generics.visitor.TypeTreeVisitor + java:/Objects/sun.reflect.generics.tree.TypeArgument + java:/Objects/sun.reflect.generics.tree.ArrayTypeSignature + java:/Objects/sun.reflect.generics.tree.BooleanSignature + java:/Objects/sun.reflect.generics.tree.BottomSignature + java:/Objects/sun.reflect.generics.tree.ByteSignature + java:/Objects/sun.reflect.generics.tree.CharSignature + java:/Objects/sun.reflect.generics.tree.ClassTypeSignature + java:/Objects/sun.reflect.generics.tree.DoubleSignature + java:/Objects/sun.reflect.generics.tree.FloatSignature + java:/Objects/sun.reflect.generics.tree.FormalTypeParameter + java:/Objects/sun.reflect.generics.tree.IntSignature + java:/Objects/sun.reflect.generics.tree.LongSignature + java:/Objects/sun.reflect.generics.tree.ShortSignature + java:/Objects/sun.reflect.generics.tree.SimpleClassTypeSignature + java:/Objects/sun.reflect.generics.tree.TypeVariableSignature + java:/Objects/sun.reflect.generics.tree.VoidDescriptor + java:/Objects/sun.reflect.generics.tree.Wildcard + java:/Objects/sun.reflect.generics.tree.TypeTree + java:/Objects/sun.reflect.generics.tree.FieldTypeSignature + java:/Objects/sun.reflect.generics.tree.TypeSignature + java:/Objects/sun.reflect.generics.tree.BaseType + java:/Objects/sun.reflect.generics.tree.ReturnType + java:/Objects/sun.reflect.generics.visitor.Visitor + java:/Objects/sun.reflect.generics.tree.ClassSignature + java:/Objects/java.lang.reflect.GenericDeclaration + java:/Objects/java.lang.ReflectiveOperationException + java:/Objects/sun.reflect.generics.repository.MethodRepository + java:/Objects/java.lang.invoke.MethodType + java:/Objects/java.lang.invoke.LambdaForm + java:/Objects/java.lang.invoke.BoundMethodHandle + java:/Objects/java.lang.invoke.MemberName + java:/Objects/java.lang.invoke.MethodHandleImpl + java:/Objects/java.lang.ref.WeakReference + java:/Objects/java.lang.ref.ReferenceQueue + java:/Objects/java.util.concurrent.ConcurrentMap + java:/Objects/java.lang.invoke.MethodTypeForm + java:/Objects/java.lang.ClassLoader + java:/Objects/java.lang.TypeNotPresentException + java:/Objects/java.lang.invoke.Invokers + java:/Objects/java.lang.IndexOutOfBoundsException + java:/Objects/java.lang.invoke.Stable + java:/Objects/java.lang.ref.Reference + java:/Objects/java.lang.Thread + java:/Objects/java.lang.ThreadGroup + java:/Objects/java.lang.Boolean + java:/Objects/java.security.AccessControlContext + java:/Objects/sun.nio.ch.Interruptible + java:/Objects/java.lang.InterruptedException + java:/Objects/java.lang.RuntimePermission + java:/Objects/java.lang.ThreadLocal + java:/Objects/sun.misc.Contended + java:/Objects/java.security.ProtectionDomain + java:/Objects/java.security.DomainCombiner + java:/Objects/java.security.AccessControlException + java:/Objects/sun.misc.JavaSecurityAccess + java:/Objects/java.security.CodeSource + java:/Objects/java.security.Principal + java:/Objects/java.security.cert.Certificate + java:/Objects/java.security.CodeSigner + java:/Objects/java.security.cert.CertificateFactory + java:/Objects/java.net.SocketPermission + java:/Objects/java.security.cert.CertificateEncodingException + java:/Objects/java.security.PublicKey + java:/Objects/java.security.cert.CertificateException + java:/Objects/java.security.InvalidKeyException + java:/Objects/java.security.SignatureException + java:/Objects/java.security.Key + java:/Objects/java.security.GeneralSecurityException + java:/Objects/java.security.KeyException + java:/Objects/java.security.cert.CertPath + java:/Objects/java.security.Timestamp + java:/Objects/java.util.Date + java:/Objects/java.lang.Cloneable + java:/Objects/java.time.Instant + java:/Objects/sun.util.calendar.BaseCalendar + java:/Objects/java.time.temporal.Temporal + java:/Objects/java.time.temporal.TemporalAdjuster + java:/Objects/java.time.ZoneOffset + java:/Objects/java.time.OffsetDateTime + java:/Objects/java.time.ZoneId + java:/Objects/java.time.ZonedDateTime + java:/Objects/java.time.temporal.TemporalAccessor + java:/Objects/java.time.temporal.TemporalField + java:/Objects/java.time.temporal.TemporalUnit + java:/Objects/java.time.temporal.TemporalAmount + java:/Objects/java.time.Clock + java:/Objects/java.time.temporal.TemporalQuery + java:/Objects/java.time.temporal.ValueRange + java:/Objects/java.io.DataInput + java:/Objects/java.io.InvalidObjectException + java:/Objects/java.io.DataOutput + java:/Objects/java.time.zone.ZoneRules + java:/Objects/java.time.zone.ZoneOffsetTransition + java:/Objects/java.time.zone.ZoneOffsetTransitionRule + java:/Objects/java.time.LocalDateTime + java:/Objects/java.time.Duration + java:/Objects/java.time.Month + java:/Objects/java.time.DayOfWeek + java:/Objects/java.time.LocalTime + java:/Objects/java.time.format.TextStyle + java:/Objects/java.time.LocalDate + java:/Objects/java.time.OffsetTime + java:/Objects/java.time.format.DateTimeFormatter + java:/Objects/java.time.chrono.ChronoLocalDate + java:/Objects/java.time.chrono.IsoChronology + java:/Objects/java.time.chrono.Era + java:/Objects/java.time.Period + java:/Objects/java.time.chrono.ChronoLocalDateTime + java:/Objects/java.time.chrono.Chronology + java:/Objects/java.time.chrono.ChronoPeriod + java:/Objects/java.time.chrono.ChronoZonedDateTime + java:/Objects/java.time.temporal.ChronoField + java:/Objects/java.time.format.ResolverStyle + java:/Objects/java.time.chrono.AbstractChronology + java:/Objects/java.time.chrono.IsoEra + java:/Objects/java.util.concurrent.ConcurrentHashMap + java:/Objects/java.util.AbstractMap + java:/Objects/java.util.function.ToIntBiFunction + java:/Objects/java.util.function.ToLongBiFunction + java:/Objects/java.util.function.ToDoubleBiFunction + java:/Objects/java.util.function.BiFunction + java:/Objects/java.util.concurrent.atomic.AtomicReference + java:/Objects/java.lang.Void + java:/Objects/java.util.concurrent.CountedCompleter + java:/Objects/java.util.concurrent.locks.ReentrantLock + java:/Objects/java.util.function.BinaryOperator + java:/Objects/java.util.function.UnaryOperator + java:/Objects/java.util.concurrent.ForkJoinTask + java:/Objects/java.util.concurrent.Future + java:/Objects/java.util.concurrent.RunnableFuture + java:/Objects/java.util.concurrent.Callable + java:/Objects/java.util.concurrent.ExecutionException + java:/Objects/java.util.concurrent.TimeUnit + java:/Objects/java.util.concurrent.TimeoutException + java:/Objects/java.util.concurrent.ForkJoinPool + java:/Objects/java.util.concurrent.AbstractExecutorService + java:/Objects/java.util.concurrent.ForkJoinWorkerThread + java:/Objects/java.util.concurrent.ExecutorService + java:/Objects/java.util.concurrent.Executor + java:/Objects/java.util.concurrent.locks.Lock + java:/Objects/java.util.concurrent.locks.AbstractQueuedSynchronizer + java:/Objects/java.util.concurrent.locks.Condition + java:/Objects/java.util.concurrent.locks.AbstractOwnableSynchronizer + java:/Objects/java.lang.NullPointerException + java:/Objects/java.io.ObjectInput + java:/Objects/java.io.ObjectOutput + java:/Objects/java.text.Format + java:/Objects/java.text.FieldPosition + java:/Objects/java.text.ParseException + java:/Objects/java.text.ParsePosition + java:/Objects/java.time.format.DateTimeFormatterBuilder + java:/Objects/java.time.format.DecimalStyle + java:/Objects/java.time.format.DateTimeParseException + java:/Objects/java.time.format.FormatStyle + java:/Objects/java.time.format.DateTimeParseContext + java:/Objects/java.text.AttributedCharacterIterator + java:/Objects/java.text.CharacterIterator + java:/Objects/java.time.format.DateTimePrintContext + java:/Objects/java.lang.ref.SoftReference + java:/Objects/java.time.format.DateTimeTextProvider + java:/Objects/java.math.BigDecimal + java:/Objects/java.time.format.SignStyle + java:/Objects/java.lang.Character + java:/Objects/java.math.MathContext + java:/Objects/java.math.RoundingMode + java:/Objects/java.math.MutableBigInteger + java:/Objects/java.util.HashMap + java:/Objects/java.util.LinkedHashMap + java:/Objects/java.util.AbstractSet + java:/Objects/java.util.AbstractCollection + java:/Objects/java.time.DateTimeException + java:/Objects/java.time.format.Parsed + java:/Objects/java.util.ArrayList + java:/Objects/java.util.AbstractList + java:/Objects/java.util.RandomAccess + java:/Objects/java.util.ListIterator + java:/Objects/java.util.function.Predicate + java:/Objects/sun.util.calendar.AbstractCalendar + java:/Objects/sun.util.calendar.CalendarDate + java:/Objects/java.util.TimeZone + java:/Objects/sun.util.calendar.CalendarSystem + java:/Objects/sun.util.calendar.Era + java:/Objects/java.util.Properties + java:/Objects/sun.util.calendar.Gregorian + java:/Objects/java.util.Hashtable + java:/Objects/java.io.InputStream + java:/Objects/java.util.InvalidPropertiesFormatException + java:/Objects/sun.util.spi.XmlPropertiesProvider + java:/Objects/java.io.Reader + java:/Objects/java.io.BufferedWriter + java:/Objects/java.util.Dictionary + java:/Objects/java.io.StreamCorruptedException + java:/Objects/java.io.NotSerializableException + java:/Objects/java.lang.Readable + java:/Objects/java.nio.CharBuffer + java:/Objects/java.nio.Buffer + java:/Objects/java.nio.ByteOrder + java:/Objects/java.security.cert.CertificateFactorySpi + java:/Objects/java.security.cert.CRLException + java:/Objects/java.security.cert.CRL + java:/Objects/java.net.UnknownHostException + java:/Objects/java.net.InetAddress + java:/Objects/sun.net.spi.nameservice.NameService + java:/Objects/java.net.NetworkInterface + java:/Objects/java.net.InetAddressImpl + java:/Objects/java.net.SocketException + java:/Objects/java.net.InterfaceAddress + java:/Objects/java.net.Inet4Address + java:/Objects/javax.security.auth.Subject + java:/Objects/javax.security.auth.AuthPermission + java:/Objects/java.util.LinkedList + java:/Objects/java.security.PrivilegedExceptionAction + java:/Objects/java.security.PrivilegedActionException + java:/Objects/java.security.BasicPermission + java:/Objects/java.util.AbstractSequentialList + java:/Objects/java.util.Deque + java:/Objects/java.util.Queue + java:/Objects/java.util.concurrent.atomic.AtomicInteger + java:/Objects/java.lang.ClassFormatError + java:/Objects/java.nio.ByteBuffer + java:/Objects/java.lang.Package + java:/Objects/sun.misc.URLClassPath + java:/Objects/java.lang.AssertionStatusDirectives + java:/Objects/java.util.Vector + java:/Objects/java.util.Stack + java:/Objects/java.lang.LinkageError + java:/Objects/java.lang.Error + java:/Objects/java.nio.DoubleBuffer + java:/Objects/java.nio.FloatBuffer + java:/Objects/java.nio.IntBuffer + java:/Objects/java.nio.LongBuffer + java:/Objects/java.nio.ShortBuffer + java:/Objects/java.util.jar.Manifest + java:/Objects/java.io.FilterInputStream + java:/Objects/java.util.jar.JarVerifier + java:/Objects/java.util.jar.Attributes + java:/Objects/java.util.jar.JarEntry + java:/Objects/sun.security.util.ManifestEntryVerifier + java:/Objects/java.util.jar.JarFile + java:/Objects/java.util.zip.ZipEntry + java:/Objects/java.io.ByteArrayOutputStream + java:/Objects/sun.security.util.ManifestDigester + java:/Objects/sun.security.util.SignatureFileVerifier + java:/Objects/java.util.jar.JarException + java:/Objects/java.util.zip.ZipException + java:/Objects/java.util.zip.ZipFile + java:/Objects/java.util.zip.ZipConstants + java:/Objects/java.util.zip.InflaterInputStream + java:/Objects/java.util.zip.Inflater + java:/Objects/java.util.zip.ZipCoder + java:/Objects/java.util.zip.DataFormatException + java:/Objects/java.util.zip.ZStreamRef + java:/Objects/java.nio.charset.CharsetDecoder + java:/Objects/java.nio.charset.CharsetEncoder + java:/Objects/java.nio.charset.CharacterCodingException + java:/Objects/java.nio.charset.CoderResult + java:/Objects/java.nio.charset.CodingErrorAction + java:/Objects/java.nio.file.attribute.FileTime + java:/Objects/sun.security.pkcs.SignerInfo + java:/Objects/sun.security.pkcs.PKCS7 + java:/Objects/sun.security.util.DisabledAlgorithmConstraints + java:/Objects/sun.security.util.DerEncoder + java:/Objects/sun.security.util.DerInputStream + java:/Objects/sun.security.pkcs.ParsingException + java:/Objects/sun.security.x509.X500Name + java:/Objects/sun.security.x509.AlgorithmId + java:/Objects/sun.security.pkcs.PKCS9Attributes + java:/Objects/sun.security.util.DerOutputStream + java:/Objects/java.security.cert.X509Certificate + java:/Objects/sun.security.timestamp.TimestampToken + java:/Objects/java.security.CryptoPrimitive + java:/Objects/sun.security.util.DerInputBuffer + java:/Objects/sun.security.util.DerValue + java:/Objects/sun.security.util.ObjectIdentifier + java:/Objects/sun.security.util.BitArray + java:/Objects/java.io.ByteArrayInputStream + java:/Objects/java.lang.ArrayIndexOutOfBoundsException + java:/Objects/sun.security.x509.GeneralNameInterface + java:/Objects/sun.security.x509.RDN + java:/Objects/sun.security.x509.AVA + java:/Objects/javax.security.auth.x500.X500Principal + java:/Objects/java.lang.UnsupportedOperationException + java:/Objects/java.lang.Byte + java:/Objects/java.io.NotActiveException + java:/Objects/java.security.AlgorithmParameters + java:/Objects/java.security.AlgorithmParametersSpi + java:/Objects/java.security.spec.AlgorithmParameterSpec + java:/Objects/java.security.spec.InvalidParameterSpecException + java:/Objects/sun.security.pkcs.PKCS9Attribute + java:/Objects/sun.security.util.ByteArrayLexOrder + java:/Objects/sun.security.util.ByteArrayTagOrder + java:/Objects/java.security.cert.X509Extension + java:/Objects/java.security.cert.CertificateExpiredException + java:/Objects/java.security.cert.CertificateNotYetValidException + java:/Objects/java.security.cert.CertificateParsingException + java:/Objects/sun.security.pkcs.ContentInfo + java:/Objects/java.security.cert.X509CRL + java:/Objects/sun.security.timestamp.Timestamper + java:/Objects/java.security.cert.X509CRLEntry + java:/Objects/java.security.cert.CRLReason + java:/Objects/sun.security.timestamp.TSRequest + java:/Objects/sun.security.timestamp.TSResponse + java:/Objects/sun.security.util.AbstractAlgorithmConstraints + java:/Objects/sun.security.util.ConstraintsParameters + java:/Objects/java.security.cert.CertPathValidatorException + java:/Objects/java.text.SimpleDateFormat + java:/Objects/sun.security.util.AlgorithmDecomposer + java:/Objects/java.security.AlgorithmConstraints + java:/Objects/java.text.DateFormat + java:/Objects/java.text.DateFormatSymbols + java:/Objects/java.text.CalendarBuilder + java:/Objects/java.text.NumberFormat + java:/Objects/sun.util.locale.provider.LocaleProviderAdapter + java:/Objects/java.util.Calendar + java:/Objects/java.util.spi.LocaleServiceProvider + java:/Objects/java.text.spi.BreakIteratorProvider + java:/Objects/java.util.spi.CalendarDataProvider + java:/Objects/java.util.spi.CalendarNameProvider + java:/Objects/sun.util.spi.CalendarProvider + java:/Objects/java.text.spi.CollatorProvider + java:/Objects/java.util.spi.CurrencyNameProvider + java:/Objects/java.text.spi.DateFormatProvider + java:/Objects/java.text.spi.DateFormatSymbolsProvider + java:/Objects/java.text.spi.DecimalFormatSymbolsProvider + java:/Objects/java.util.spi.LocaleNameProvider + java:/Objects/sun.util.locale.provider.LocaleResources + java:/Objects/java.text.spi.NumberFormatProvider + java:/Objects/java.util.spi.TimeZoneNameProvider + java:/Objects/java.text.BreakIterator + java:/Objects/java.text.Collator + java:/Objects/java.text.CollationKey + java:/Objects/java.text.DecimalFormatSymbols + java:/Objects/java.util.Currency + java:/Objects/sun.util.locale.provider.LocaleServiceProviderPool + java:/Objects/java.io.DataInputStream + java:/Objects/java.util.HashSet + java:/Objects/sun.util.locale.provider.ResourceBundleBasedAdapter + java:/Objects/java.util.ResourceBundle + java:/Objects/sun.util.resources.LocaleData + java:/Objects/sun.util.locale.LocaleObjectCache + java:/Objects/sun.util.locale.BaseLocale + java:/Objects/java.util.spi.ResourceBundleControlProvider + java:/Objects/sun.util.resources.OpenListResourceBundle + java:/Objects/sun.util.resources.TimeZoneNamesBundle + java:/Objects/sun.util.resources.ParallelListResourceBundle + java:/Objects/java.util.concurrent.atomic.AtomicMarkableReference + java:/Objects/java.io.DataOutputStream + java:/Objects/java.io.FilterOutputStream + java:/Objects/sun.misc.Resource + java:/Objects/java.net.URLStreamHandler + java:/Objects/sun.misc.JarIndex + java:/Objects/sun.misc.MetaIndex + java:/Objects/sun.misc.JavaUtilZipFileAccess + java:/Objects/java.net.URLStreamHandlerFactory + java:/Objects/java.net.URLConnection + java:/Objects/java.net.Proxy + java:/Objects/java.net.UnknownServiceException + java:/Objects/java.net.ContentHandler + java:/Objects/java.net.FileNameMap + java:/Objects/java.net.ContentHandlerFactory + java:/Objects/sun.net.www.MessageHeader + java:/Objects/java.net.SocketAddress + java:/Objects/java.lang.invoke.ForceInline + java:/Objects/java.lang.invoke.DontInline + java:/Objects/java.lang.invoke.WrongMethodTypeException + java:/Objects/sun.invoke.util.Wrapper + java:/Objects/java.lang.invoke.LambdaFormEditor + java:/Objects/java.lang.ClassCastException + java:/Objects/java.lang.invoke.LambdaFormBuffer + java:/Objects/jdk.internal.org.objectweb.asm.MethodVisitor + java:/Objects/java.lang.invoke.MethodHandles + java:/Objects/jdk.internal.org.objectweb.asm.AnnotationVisitor + java:/Objects/jdk.internal.org.objectweb.asm.Attribute + java:/Objects/jdk.internal.org.objectweb.asm.TypePath + java:/Objects/jdk.internal.org.objectweb.asm.Handle + java:/Objects/jdk.internal.org.objectweb.asm.Label + java:/Objects/jdk.internal.org.objectweb.asm.ClassWriter + java:/Objects/jdk.internal.org.objectweb.asm.ByteVector + java:/Objects/jdk.internal.org.objectweb.asm.ClassReader + java:/Objects/jdk.internal.org.objectweb.asm.ClassVisitor + java:/Objects/jdk.internal.org.objectweb.asm.Item + java:/Objects/jdk.internal.org.objectweb.asm.FieldVisitor + java:/Objects/jdk.internal.org.objectweb.asm.AnnotationWriter + java:/Objects/jdk.internal.org.objectweb.asm.FieldWriter + java:/Objects/jdk.internal.org.objectweb.asm.MethodWriter + java:/Objects/jdk.internal.org.objectweb.asm.Frame + java:/Objects/jdk.internal.org.objectweb.asm.Handler + java:/Objects/jdk.internal.org.objectweb.asm.Type + java:/Objects/jdk.internal.org.objectweb.asm.Context + java:/Objects/jdk.internal.org.objectweb.asm.Edge + java:/Objects/java.lang.NoSuchMethodException + java:/Objects/java.lang.NoSuchFieldException + java:/Objects/java.lang.invoke.DirectMethodHandle + java:/Objects/java.lang.invoke.MethodHandleInfo + java:/Objects/java.lang.ClassValue + java:/Objects/java.util.WeakHashMap + java:/Objects/java.lang.invoke.DelegatingMethodHandle + java:/Objects/sun.invoke.empty.Empty + java:/Objects/java.lang.reflect.Parameter + java:/Objects/java.lang.reflect.ParameterizedType + java:/Objects/java.lang.reflect.WildcardType + java:/Objects/java.util.regex.Matcher + java:/Objects/java.util.regex.UnicodeProp + java:/Objects/java.util.regex.PatternSyntaxException + java:/Objects/java.util.regex.MatchResult + java:/Objects/java.security.MessageDigestSpi + java:/Objects/java.security.DigestException + java:/Objects/java.net.URISyntaxException + java:/Objects/java.lang.Iterable + java:/Objects/java.nio.file.Watchable + java:/Objects/java.nio.file.FileSystem + java:/Objects/java.nio.file.WatchService + java:/Objects/java.nio.file.WatchEvent + java:/Objects/java.nio.file.WatchKey + java:/Objects/java.nio.file.LinkOption + java:/Objects/java.nio.file.FileStore + java:/Objects/java.nio.file.PathMatcher + java:/Objects/java.nio.file.attribute.UserPrincipalLookupService + java:/Objects/java.nio.file.spi.FileSystemProvider + java:/Objects/java.nio.file.attribute.FileStoreAttributeView + java:/Objects/java.nio.file.attribute.FileAttributeView + java:/Objects/java.nio.file.attribute.AttributeView + java:/Objects/java.nio.file.attribute.GroupPrincipal + java:/Objects/java.nio.file.attribute.UserPrincipal + java:/Objects/java.nio.file.AccessMode + java:/Objects/java.nio.file.CopyOption + java:/Objects/java.nio.file.attribute.FileAttribute + java:/Objects/java.nio.file.OpenOption + java:/Objects/java.nio.channels.AsynchronousFileChannel + java:/Objects/java.nio.channels.SeekableByteChannel + java:/Objects/java.nio.file.DirectoryStream + java:/Objects/java.nio.channels.FileChannel + java:/Objects/java.nio.file.attribute.BasicFileAttributes + java:/Objects/java.nio.channels.AsynchronousChannel + java:/Objects/java.nio.channels.FileLock + java:/Objects/java.nio.channels.CompletionHandler + java:/Objects/java.nio.channels.Channel + java:/Objects/java.nio.channels.ByteChannel + java:/Objects/java.nio.channels.ReadableByteChannel + java:/Objects/java.nio.channels.WritableByteChannel + java:/Objects/java.nio.channels.spi.AbstractInterruptibleChannel + java:/Objects/java.nio.channels.GatheringByteChannel + java:/Objects/java.nio.channels.ScatteringByteChannel + java:/Objects/java.nio.MappedByteBuffer + java:/Objects/java.nio.channels.InterruptibleChannel + java:/Objects/java.nio.channels.AsynchronousCloseException + java:/Objects/java.nio.channels.ClosedChannelException + java:/Objects/java.io.FileDescriptor + java:/Objects/java.io.SyncFailedException + java:/Objects/java.lang.SecurityManager + java:/Objects/java.net.UrlDeserializedState + java:/Objects/java.nio.charset.spi.CharsetProvider + java:/Objects/java.util.SortedMap + java:/Objects/sun.util.locale.InternalLocaleBuilder + java:/Objects/sun.util.locale.LocaleExtensions + java:/Objects/java.text.MessageFormat + java:/Objects/java.util.MissingResourceException + java:/Objects/sun.util.locale.LocaleSyntaxException + java:/Objects/sun.util.locale.LanguageTag + java:/Objects/sun.util.locale.ParseStatus + java:/Objects/sun.util.locale.StringTokenIterator + java:/Objects/sun.util.locale.Extension + java:/Objects/java.io.OutputStreamWriter + java:/Objects/sun.nio.cs.StreamEncoder + java:/Objects/java.io.ObjectStreamConstants + java:/Objects/java.io.ObjectStreamClass + java:/Objects/java.io.Externalizable + java:/Objects/java.io.SerialCallbackContext + java:/Objects/java.io.SerializablePermission + java:/Objects/java.io.InvalidClassException + java:/Objects/sun.misc.ObjectInputFilter + java:/Objects/java.io.ObjectInputValidation + java:/Objects/sun.util.logging.PlatformLogger + java:/Objects/sun.misc.ObjectStreamClassValidator + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IInputKey + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PTraceable + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PDisjunction + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.PProblem + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.TypeJudgement + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PBody + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PVariable + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryMetaContext + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.InputKeyImplication + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IPosetComparator + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.VariableDeferredPConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.SubPlan + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.QueryHintOption + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendFactory + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryBackendContext + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackend + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IQueryBackendHintProvider + java:/Objects/org.apache.log4j.Logger + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.analysis.QueryAnalyzer + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryCacheContext + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryResultProviderAccess + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContext + java:/Objects/org.apache.log4j.Category + java:/Objects/org.apache.log4j.spi.LoggerFactory + java:/Objects/org.apache.log4j.spi.AppenderAttachable + java:/Objects/org.apache.log4j.Appender + java:/Objects/org.apache.log4j.spi.LoggingEvent + java:/Objects/org.apache.log4j.Priority + java:/Objects/org.apache.log4j.spi.LoggerRepository + java:/Objects/org.apache.log4j.Level + java:/Objects/org.apache.log4j.helpers.AppenderAttachableImpl + java:/Objects/org.apache.log4j.spi.Filter + java:/Objects/org.apache.log4j.spi.ErrorHandler + java:/Objects/org.apache.log4j.Layout + java:/Objects/org.apache.log4j.spi.OptionHandler + java:/Objects/org.apache.log4j.spi.ThrowableInformation + java:/Objects/org.apache.log4j.spi.LocationInfo + java:/Objects/java.io.StringWriter + java:/Objects/org.apache.log4j.spi.HierarchyEventListener + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContextListener + java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.ITuple + java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.TupleMask + java:/Objects/org.eclipse.viatra.query.runtime.matchers.context.IndexingService + java:/Objects/org.eclipse.viatra.query.runtime.matchers.util.Accuracy + java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.IModifiableTuple + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.QueryProcessingException + java:/Objects/org.eclipse.viatra.query.runtime.matchers.ViatraQueryRuntimeException + java:/Objects/sun.reflect.annotation.AnnotationType + java:/Objects/sun.reflect.ConstantPool + java:/Objects/sun.reflect.generics.repository.ClassRepository + java:/Objects/org.eclipse.viatra.query.runtime.internal.apiimpl.EngineContextFactory + java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IIndexingErrorListener + java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IEngineContext + java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IBaseIndex + java:/Objects/org.eclipse.viatra.query.runtime.api.scope.ViatraBaseIndexChangeListener + java:/Objects/org.eclipse.viatra.query.runtime.api.scope.IInstanceObserver + java:/Objects/java.util.stream.Collector + java:/Objects/java.lang.SafeVarargs + java:/Objects/org.eclipse.viatra.query.runtime.matchers.backend.IUpdateable + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseQuerySpecification + java:/Objects/java.lang.ExceptionInInitializerError + java:/Objects/org.eclipse.viatra.query.runtime.exception.ViatraQueryException + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException + java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions + java:/Objects/org.eclipse.viatra.query.runtime.matchers.tuple.AbstractTuple + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseQueryGroup + java:/Objects/org.eclipse.viatra.query.runtime.api.IQueryGroup + java:/Objects/org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine + java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryEngineLifecycleListener + java:/Objects/org.eclipse.viatra.query.runtime.api.IMatchUpdateListener + java:/Objects/org.eclipse.viatra.query.runtime.api.ViatraQueryModelUpdateListener + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.queries.BasePQuery + java:/Objects/org.eclipse.emf.ecore.EClassifier + java:/Objects/org.eclipse.emf.ecore.EEnumLiteral + java:/Objects/org.eclipse.emf.ecore.EStructuralFeature + java:/Objects/org.eclipse.emf.ecore.ENamedElement + java:/Objects/org.eclipse.emf.ecore.EPackage + java:/Objects/org.eclipse.emf.common.util.EList + java:/Objects/org.eclipse.emf.ecore.ETypeParameter + java:/Objects/org.eclipse.emf.ecore.EModelElement + java:/Objects/org.eclipse.emf.ecore.EObject + java:/Objects/org.eclipse.emf.ecore.EAnnotation + java:/Objects/org.eclipse.emf.common.notify.Notifier + java:/Objects/org.eclipse.emf.common.util.TreeIterator + java:/Objects/org.eclipse.emf.ecore.EClass + java:/Objects/org.eclipse.emf.ecore.EReference + java:/Objects/org.eclipse.emf.ecore.EOperation + java:/Objects/org.eclipse.emf.ecore.resource.Resource + java:/Objects/org.eclipse.emf.common.notify.Adapter + java:/Objects/org.eclipse.emf.common.notify.Notification + java:/Objects/org.eclipse.emf.ecore.EAttribute + java:/Objects/org.eclipse.emf.ecore.EGenericType + java:/Objects/org.eclipse.emf.ecore.EDataType + java:/Objects/org.eclipse.emf.ecore.InternalEObject + java:/Objects/org.eclipse.emf.common.CommonPlugin + java:/Objects/org.eclipse.emf.common.notify.NotificationChain + java:/Objects/org.eclipse.emf.common.util.URI + java:/Objects/org.eclipse.emf.common.util.Pool + java:/Objects/org.eclipse.emf.common.util.SegmentSequence + java:/Objects/org.eclipse.emf.common.util.CommonUtil + java:/Objects/org.eclipse.emf.common.util.WeakInterningHashSet + java:/Objects/java.util.concurrent.locks.ReentrantReadWriteLock + java:/Objects/org.eclipse.emf.common.util.InterningSet + java:/Objects/java.util.concurrent.locks.ReadWriteLock + java:/Objects/java.lang.IllegalMonitorStateException + java:/Objects/org.eclipse.emf.common.EMFPlugin + java:/Objects/org.osgi.framework.BundleActivator + java:/Objects/org.eclipse.emf.common.util.ResourceLocator + java:/Objects/org.eclipse.emf.common.util.DelegatingResourceLocator + java:/Objects/org.eclipse.emf.common.util.Logger + java:/Objects/org.eclipse.core.runtime.Plugin + java:/Objects/org.eclipse.core.runtime.IPluginDescriptor + java:/Objects/org.osgi.framework.Bundle + java:/Objects/org.eclipse.core.runtime.ILog + java:/Objects/org.osgi.framework.BundleContext + java:/Objects/org.eclipse.core.runtime.IPath + java:/Objects/org.eclipse.osgi.service.debug.DebugOptions + java:/Objects/org.eclipse.core.runtime.Preferences + java:/Objects/java.lang.IllegalStateException + java:/Objects/org.eclipse.core.runtime.CoreException + java:/Objects/org.osgi.util.tracker.ServiceTracker + java:/Objects/org.eclipse.osgi.service.debug.DebugTrace + java:/Objects/java.util.EventListener + java:/Objects/java.util.EventObject + java:/Objects/org.eclipse.core.runtime.IStatus + java:/Objects/org.eclipse.core.runtime.ListenerList + java:/Objects/org.osgi.util.tracker.ServiceTrackerCustomizer + java:/Objects/org.osgi.framework.AllServiceListener + java:/Objects/org.osgi.util.tracker.AbstractTracked + java:/Objects/org.osgi.framework.ServiceReference + java:/Objects/org.osgi.framework.ServiceEvent + java:/Objects/org.osgi.framework.ServiceListener + java:/Objects/org.osgi.framework.Filter + java:/Objects/org.osgi.framework.InvalidSyntaxException + java:/Objects/org.eclipse.core.runtime.IExtension + java:/Objects/org.eclipse.core.runtime.IExtensionPoint + java:/Objects/org.eclipse.core.runtime.IPluginPrerequisite + java:/Objects/org.eclipse.core.runtime.ILibrary + java:/Objects/org.eclipse.core.runtime.PluginVersionIdentifier + java:/Objects/org.eclipse.core.runtime.InvalidRegistryObjectException + java:/Objects/org.eclipse.core.runtime.IConfigurationElement + java:/Objects/org.eclipse.core.runtime.IContributor + java:/Objects/org.osgi.framework.Version + java:/Objects/org.osgi.framework.BundleException + java:/Objects/org.eclipse.core.runtime.ILogListener + java:/Objects/org.osgi.framework.BundleReference + java:/Objects/org.osgi.framework.BundleListener + java:/Objects/org.osgi.framework.FrameworkListener + java:/Objects/org.osgi.framework.ServiceObjects + java:/Objects/org.osgi.framework.ServiceRegistration + java:/Objects/org.osgi.framework.ServiceFactory + java:/Objects/org.osgi.framework.BundleEvent + java:/Objects/org.osgi.framework.FrameworkEvent + java:/Objects/org.eclipse.emf.ecore.ETypedElement + java:/Objects/org.eclipse.emf.ecore.EParameter + java:/Objects/org.eclipse.emf.ecore.resource.ResourceSet + java:/Objects/org.eclipse.emf.common.notify.AdapterFactory + java:/Objects/org.eclipse.emf.ecore.resource.URIConverter + java:/Objects/java.io.InputStreamReader + java:/Objects/org.eclipse.emf.ecore.resource.ContentHandler + java:/Objects/org.eclipse.emf.ecore.resource.URIHandler + java:/Objects/sun.nio.cs.StreamDecoder + java:/Objects/java.io.FileInputStream + java:/Objects/org.eclipse.emf.common.util.EMap + java:/Objects/org.eclipse.emf.ecore.EFactory + java:/Objects/org.eclipse.emf.common.util.Enumerator + java:/Objects/org.eclipse.emf.ecore.EEnum + java:/Objects/org.eclipse.emf.ecore.util.FeatureMap + java:/Objects/org.eclipse.emf.ecore.util.InternalEList + java:/Objects/org.eclipse.emf.ecore.util.EContentsEList + java:/Objects/org.eclipse.emf.ecore.util.AbstractSequentialInternalEList + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain + java:/Objects/java.lang.Override + java:/Objects/java.lang.SuppressWarnings + java:/Objects/javax.annotation.Generated + java:/Objects/org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.Payload + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat + java:/Objects/hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U + ../src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend + java:/Objects/org.eclipse.xtext.xbase.lib.ArrayLiterals + java:/Objects/com.google.common.annotations.GwtCompatible + java:/Objects/org.eclipse.xtext.xbase.lib.Pure + java:/Objects/org.eclipse.xtext.xbase.lib.Inline + java:/Objects/com.google.common.annotations.Beta + java:/Objects/org.eclipse.xtext.xbase.lib.CollectionLiterals + java:/Objects/org.eclipse.xtext.xbase.lib.Pair + java:/Objects/java.util.LinkedHashSet + java:/Objects/java.util.TreeMap + java:/Objects/java.util.TreeSet + java:/Objects/java.util.NavigableMap + java:/Objects/java.util.NavigableSet + java:/Objects/java.util.SortedSet + java:/Objects/org.eclipse.xtext.xbase.lib.InputOutput + java:/Objects/org.eclipse.xtext.xbase.lib.ArrayExtensions + java:/Objects/com.google.common.annotations.GwtIncompatible + java:/Objects/org.eclipse.xtext.xbase.lib.BigDecimalExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.BigIntegerExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.BooleanExtensions + java:/Objects/com.google.common.primitives.Booleans + java:/Objects/org.eclipse.xtext.xbase.lib.ByteExtensions + java:/Objects/java.lang.Math + java:/Objects/org.eclipse.xtext.xbase.lib.CharacterExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.CollectionExtensions + java:/Objects/com.google.common.collect.Iterables + java:/Objects/com.google.common.collect.ImmutableList + java:/Objects/com.google.common.collect.ImmutableSet + java:/Objects/com.google.common.collect.ImmutableSortedSet + java:/Objects/com.google.common.collect.ImmutableMap + java:/Objects/com.google.common.collect.ImmutableSortedMap + java:/Objects/java.util.Collections + java:/Objects/com.google.common.collect.FluentIterable + java:/Objects/com.google.common.base.Predicate + java:/Objects/com.google.common.base.Function + java:/Objects/com.google.common.base.Optional + java:/Objects/com.google.common.collect.ImmutableCollection + java:/Objects/com.google.common.collect.ImmutableListMultimap + java:/Objects/com.google.common.base.Joiner + java:/Objects/com.google.common.collect.ImmutableMultiset + java:/Objects/com.google.common.collect.ImmutableMultimap + java:/Objects/com.google.common.collect.ListMultimap + java:/Objects/com.google.common.collect.Multimap + java:/Objects/com.google.common.collect.AbstractMultimap + java:/Objects/com.google.common.collect.UnmodifiableIterator + java:/Objects/com.google.common.collect.Serialization + java:/Objects/com.google.common.collect.ImmutableSetMultimap + java:/Objects/com.google.common.collect.Multiset + java:/Objects/com.google.common.collect.Multimaps + java:/Objects/com.google.common.collect.Maps + java:/Objects/com.google.common.collect.AbstractListMultimap + java:/Objects/com.google.common.base.Supplier + java:/Objects/com.google.common.collect.AbstractMapBasedMultimap + java:/Objects/com.google.common.collect.AbstractSetMultimap + java:/Objects/com.google.common.collect.AbstractSortedSetMultimap + java:/Objects/com.google.common.collect.AbstractMultiset + java:/Objects/com.google.common.collect.Multisets + java:/Objects/com.google.common.collect.SetMultimap + java:/Objects/com.google.common.collect.ForwardingMultimap + java:/Objects/com.google.common.collect.SortedSetMultimap + java:/Objects/com.google.common.collect.FilteredMultimap + java:/Objects/com.google.common.collect.FilteredSetMultimap + java:/Objects/java.util.EnumMap + java:/Objects/com.google.common.base.Converter + java:/Objects/com.google.common.collect.BiMap + java:/Objects/com.google.common.collect.ForwardingMap + java:/Objects/com.google.common.collect.Ordering + java:/Objects/com.google.common.collect.Sets + java:/Objects/com.google.common.collect.ForwardingSet + java:/Objects/com.google.common.collect.AbstractNavigableMap + java:/Objects/com.google.common.collect.MapDifference + java:/Objects/com.google.common.collect.SortedMapDifference + java:/Objects/com.google.common.collect.ForwardingCollection + java:/Objects/com.google.common.collect.ForwardingSortedMap + java:/Objects/com.google.common.base.Equivalence + java:/Objects/java.util.IdentityHashMap + java:/Objects/com.google.common.collect.Range + java:/Objects/com.google.common.collect.ForwardingObject + java:/Objects/com.google.common.annotations.VisibleForTesting + java:/Objects/java.util.EnumSet + java:/Objects/com.google.common.collect.CartesianList + java:/Objects/com.google.common.collect.ForwardingNavigableSet + java:/Objects/com.google.common.collect.Collections2 + java:/Objects/com.google.common.collect.ForwardingSortedSet + java:/Objects/java.util.concurrent.CopyOnWriteArraySet + java:/Objects/com.google.common.collect.AbstractIterator + java:/Objects/java.util.concurrent.CopyOnWriteArrayList + java:/Objects/java.util.function.BiPredicate + java:/Objects/com.google.common.collect.Cut + java:/Objects/com.google.common.collect.DiscreteDomain + java:/Objects/com.google.common.collect.BoundType + java:/Objects/com.google.common.collect.ForwardingMultiset + java:/Objects/com.google.common.collect.SortedMultiset + java:/Objects/com.google.common.collect.SortedMultisetBridge + java:/Objects/com.google.common.collect.SortedIterable + java:/Objects/com.google.common.collect.UnmodifiableListIterator + java:/Objects/com.google.common.collect.ImmutableSortedSetFauxverideShim + java:/Objects/com.google.common.collect.RegularImmutableSortedSet + java:/Objects/com.google.common.collect.ImmutableMapEntry + java:/Objects/com.google.common.collect.ImmutableEntry + java:/Objects/com.google.common.collect.AbstractMapEntry + java:/Objects/com.google.common.collect.ImmutableSortedMapFauxverideShim + java:/Objects/java.util.AbstractQueue + java:/Objects/org.eclipse.xtext.xbase.lib.ComparableExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.DoubleExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.FloatExtensions + java:/Objects/java.lang.Float + java:/Objects/org.eclipse.xtext.xbase.lib.FunctionExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.Functions + java:/Objects/org.eclipse.xtext.xbase.lib.Procedures + java:/Objects/org.eclipse.xtext.xbase.lib.IntegerExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.ExclusiveRange + java:/Objects/org.eclipse.xtext.xbase.lib.IntegerRange + java:/Objects/org.eclipse.xtext.xbase.lib.IterableExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.IteratorExtensions + java:/Objects/com.google.common.collect.Iterators + java:/Objects/com.google.common.collect.MultitransformedIterator + java:/Objects/com.google.common.collect.PeekingIterator + java:/Objects/org.eclipse.xtext.xbase.lib.ListExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.LongExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.MapExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.internal.UnmodifiableMergingMapView + java:/Objects/org.eclipse.xtext.xbase.lib.ObjectExtensions + java:/Objects/com.google.common.base.Objects + java:/Objects/com.google.common.base.ExtraObjectsMethodsForWeb + java:/Objects/org.eclipse.xtext.xbase.lib.ProcedureExtensions + java:/Objects/org.eclipse.xtext.xbase.lib.ShortExtensions + java:/Objects/java.lang.Short + java:/Objects/org.eclipse.xtext.xbase.lib.StringExtensions + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/StandaloneScriptExecutor.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfigurationStandaloneSetup.xtend + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript + java:/Objects/org.eclipse.core.runtime.NullProgressMonitor + java:/Objects/org.eclipse.emf.ecore.util.EcoreUtil + java:/Objects/org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSModule.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/PatternLanguageWithRSSetup.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfigurationStandaloneRuntimeModule.xtend + java:/Objects/hu.bme.mit.inf.dslreasoner.application.ApplicationConfigurationStandaloneSetupGenerated + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/linking/ApplicationConfigurationLinkingService.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/valueconverter/ApplicationConfigurationValueConverterService.xtend + java:/Objects/hu.bme.mit.inf.dslreasoner.application.AbstractApplicationConfigurationRuntimeModule + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CftImport + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.EPackageImport + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ViatraImport + java:/Objects/org.eclipse.xtext.xbase.lib.Extension + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationFactory + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPackageEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatternEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Command + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CostEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CostObjectiveFunction + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.CustomEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Declaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.DocumentationEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FolderEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPattern + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Import + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MemoryEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Objective + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveFunction + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectiveSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.OptimizationEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ThresholdEntry + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.DocumentLevelSpecification + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.OptimizationDirection + java:/Objects/hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ComparisonOperator + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/valueconverter/QualifiedNameValueConverter.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/ApplicationConfigurationValidator.xtend + java:/Objects/hu.bme.mit.inf.dslreasoner.application.validation.AbstractApplicationConfigurationValidator + java:/Objects/org.eclipse.core.runtime.IProgressMonitor + java:/Objects/org.eclipse.emf.common.util.AbstractTreeIterator + java:/Objects/org.eclipse.emf.common.util.Diagnostic + java:/Objects/org.eclipse.emf.common.util.BasicEList + java:/Objects/org.eclipse.emf.common.util.AbstractEList + java:/Objects/org.eclipse.viatra.query.runtime.rete.matcher.RetePatternMatcher + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.RecipeTraceInfo + java:/Objects/org.eclipse.viatra.query.runtime.rete.index.Indexer + java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.Disconnectable + java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.ReteBoundary + java:/Objects/org.eclipse.viatra.query.runtime.rete.construction.plancompiler.ReteRecipeCompiler + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Network + java:/Objects/org.eclipse.viatra.query.runtime.rete.matcher.HintConfigurator + java:/Objects/org.eclipse.viatra.query.runtime.rete.single.TransformerNode + java:/Objects/org.eclipse.viatra.query.runtime.rete.index.IterableIndexer + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Receiver + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Production + java:/Objects/org.eclipse.viatra.query.runtime.rete.single.SingleInputNode + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.ReteContainer + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Direction + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.StandardNode + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Tunnel + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Supplier + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.TraceInfo + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.mailbox.Mailbox + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.BaseNode + java:/Objects/org.eclipse.viatra.query.runtime.rete.index.ProjectionIndexer + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.Node + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.CommunicationTracker + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.CommunicationGroup + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.RederivableNode + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.MessageKind + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.IGroupable + java:/Objects/org.eclipse.viatra.query.runtime.matchers.util.Clearable + java:/Objects/org.eclipse.viatra.query.runtime.rete.remote.Address + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.ConnectionFactory + java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.InputConnector + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.NodeFactory + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.NodeProvisioner + java:/Objects/org.eclipse.viatra.query.runtime.rete.network.UpdateMessage + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ReteNodeRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.IndexerRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.SingleParentNodeRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.Mask + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.InputRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.InputFilterRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.boundary.ExternalInputEnumeratorNode + java:/Objects/com.google.common.collect.Table + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.FilterRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.AlphaRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.CountAggregatorRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.TransparentRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ExpressionEnforcerRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.SingleColumnAggregatorRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.TransitiveClosureRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ProductionRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.UniquenessEnforcerRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ConstantRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.DiscriminatorBucketRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.DiscriminatorDispatcherRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.TrimmerRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.InequalityFilterRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.EqualityFilterRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.AntiJoinRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.SemiJoinRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.JoinRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ExpressionDefinition + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.IExpressionEvaluator + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.IndexerBasedAggregatorRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ProjectionIndexerRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.RederivableNodeRecipe + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.IMultisetAggregationOperator + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.MonotonicityInfo + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.MultiParentNodeRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ExistenceJoinRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.BetaRecipe + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.IValueProvider + java:/Objects/org.eclipse.viatra.query.runtime.rete.remote.RemoteReceiver + java:/Objects/org.eclipse.viatra.query.runtime.rete.remote.RemoteSupplier + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.UserRequestTrace + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.helper.RecipeRecognizer + java:/Objects/org.eclipse.viatra.query.runtime.rete.index.IndexerListener + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.IQueryPlannerStrategy + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.PlanningTrace + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.CompiledSubPlan + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Inequality + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.TypeFilterConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.PatternMatchCounter + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.AggregatorConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.BinaryReflexiveTransitiveClosure + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.BinaryTransitiveClosure + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.CompiledQuery + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.EnumerablePConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.PJoin + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.PProject + java:/Objects/org.eclipse.viatra.query.runtime.matchers.planning.operations.PStart + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.RecipesFactory + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.PDisjunctionRewriter + java:/Objects/org.eclipse.viatra.query.runtime.rete.construction.plancompiler.RecursionCutoffPoint + java:/Objects/org.eclipse.viatra.query.runtime.rete.traceability.PatternTraceInfo + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.ITypeConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.ITypeInfoProviderConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.PatternCallBasedDeferred + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.IQueryReference + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.aggregations.BoundAggregator + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.BaseTypeSafeConstraint + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.AbstractTransitiveClosure + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.KeyedEnumerablePConstraint + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.AggregatorIndexerRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.CheckRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.EvalRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.ReteRecipe + java:/Objects/org.eclipse.viatra.query.runtime.rete.recipes.RecipesPackage + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.AbstractRewriterTraceSource + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IDerivativeModificationReason + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IRewriterTraceCollector + java:/Objects/org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IPTraceableTraceProvider + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/util/ApplicationConfigurationParser.xtend + java:/Objects/org.eclipse.core.runtime.Status + java:/Objects/org.eclipse.core.runtime.jobs.Job + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend + java:/Objects/org.eclipse.emf.ecore.resource.impl.ResourceSetImpl + java:/Objects/org.eclipse.emf.common.notify.impl.NotifierImpl + java:/Objects/org.eclipse.emf.ecore.util.EContentAdapter + java:/Objects/org.eclipse.emf.ecore.util.NotifyingInternalEListImpl + java:/Objects/org.eclipse.emf.common.notify.impl.BasicNotifierImpl + java:/Objects/org.eclipse.emf.common.notify.impl.AdapterImpl + java:/Objects/org.eclipse.emf.common.notify.impl.NotifyingListImpl + java:/Objects/org.eclipse.emf.common.notify.NotifyingList + java:/Objects/org.eclipse.emf.common.notify.impl.NotificationImpl + java:/Objects/org.eclipse.core.internal.jobs.InternalJob + java:/Objects/org.eclipse.core.runtime.IAdaptable + java:/Objects/org.eclipse.core.runtime.jobs.IJobChangeListener + java:/Objects/org.eclipse.core.runtime.jobs.IJobFunction + java:/Objects/org.eclipse.core.runtime.ICoreRunnable + java:/Objects/org.eclipse.core.runtime.jobs.JobGroup + java:/Objects/org.eclipse.core.runtime.jobs.IJobManager + java:/Objects/org.eclipse.core.runtime.QualifiedName + java:/Objects/org.eclipse.core.runtime.jobs.ISchedulingRule + java:/Objects/org.eclipse.core.runtime.OperationCanceledException + java:/Objects/org.eclipse.core.runtime.PlatformObject + java:/Objects/org.eclipse.core.internal.jobs.JobManager + java:/Objects/org.eclipse.core.internal.jobs.ObjectMap + java:/Objects/org.eclipse.osgi.service.debug.DebugOptionsListener + java:/Objects/org.eclipse.core.runtime.jobs.JobChangeAdapter + java:/Objects/org.eclipse.core.runtime.jobs.IJobChangeEvent + java:/Objects/org.eclipse.core.internal.jobs.ThreadJob + java:/Objects/org.eclipse.core.internal.jobs.InternalJobGroup + java:/Objects/org.eclipse.core.internal.jobs.JobQueue + java:/Objects/org.eclipse.core.internal.jobs.LockManager + java:/Objects/org.eclipse.core.runtime.jobs.ILock + java:/Objects/org.eclipse.core.runtime.jobs.LockListener + java:/Objects/org.eclipse.core.runtime.jobs.ProgressProvider + java:/Objects/org.eclipse.core.internal.jobs.Worker + java:/Objects/org.eclipse.core.internal.jobs.ImplicitJobs + java:/Objects/org.eclipse.core.internal.jobs.InternalWorker + java:/Objects/org.eclipse.core.internal.jobs.JobListeners + java:/Objects/org.eclipse.core.internal.jobs.WorkerPool + java:/Objects/org.eclipse.core.internal.jobs.Counter + java:/Objects/org.eclipse.core.runtime.MultiStatus + java:/Objects/org.eclipse.core.internal.jobs.OrderedLock + java:/Objects/org.eclipse.core.internal.jobs.DeadlockDetector + java:/Objects/org.eclipse.core.internal.jobs.Semaphore + java:/Objects/org.eclipse.core.internal.jobs.Queue + java:/Objects/org.eclipse.core.internal.jobs.Deadlock + java:/Objects/org.eclipse.core.internal.jobs.JobChangeEvent + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/MetamodelValidator.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/QueryAndMetamodelValidator.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/MetamodelLoader.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/QueryLoader.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend + java:/Objects/java.lang.System + platform:/resource/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend + java:/Objects/org.eclipse.emf.ecore.EcorePackage + java:/Objects/org.eclipse.emf.ecore.EcoreFactory + java:/Objects/java.io.Console + java:/Objects/java.io.FileOutputStream + ../inputs/SatelliteInstance.xmi + + + + + + + + + + + + + + bold + + + + + + + bold + + + + + + + + + + + + + + + + + + + bold + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + bold + + + + + + + + + + + italic + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + bold + + + + + + + + bold + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + bold + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + labelSize + + + labelSize + + + + + + + + + + bold + + + + + + + + + + + bold + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + + + labelSize + + + labelSize + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + italic + + + + + + + + + + + bold + + + + + + + + + + + bold + + + + + + + + + + + + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore new file mode 100644 index 00000000..d439fe23 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore @@ -0,0 +1,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel new file mode 100644 index 00000000..a90d5b26 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel @@ -0,0 +1,54 @@ + + + satellite.ecore + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3-54-g00ecf