Hierarchy For All Packages

Package Hierarchies:

• hu.bme.mit.semantifyr.oxsts.model.oxsts,
• hu.bme.mit.semantifyr.oxsts.model.oxsts.impl,
• hu.bme.mit.semantifyr.oxsts.model.oxsts.util

Class Hierarchy

• java.lang.Object
  • org.eclipse.emf.common.notify.impl.AdapterFactoryImpl (implements org.eclipse.emf.common.notify.AdapterFactory)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.util.OxstsAdapterFactory
  • org.eclipse.emf.common.notify.impl.BasicNotifierImpl (implements org.eclipse.emf.common.notify.Notifier)
    • org.eclipse.emf.ecore.impl.BasicEObjectImpl (implements org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject)
      • org.eclipse.emf.ecore.impl.MinimalEObjectImpl (implements org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder)
        • org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AnnotationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Annotation)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ArgumentImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Argument)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ElementImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Element)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ConjunctionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Conjunction)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Expression)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralExpression)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ArrayLiteralImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ArrayLiteral)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralBooleanImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralBoolean)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralInfinityImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralInfinity)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralIntegerImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralInteger)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralNothingImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralNothing)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralRealImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralReal)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralStringImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralString)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.RecordLiteralImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordLiteral)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.OperatorExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.OperatorExpression)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.BinaryOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.BinaryOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ArithmeticBinaryOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ArithmeticBinaryOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.BooleanOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.BooleanOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ComparisonOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ComparisonOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.RangeExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.RangeExpression)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.IfThenElseImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.IfThenElse)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TemporalOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.TemporalOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AGImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AG)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.EFImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.EF)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.UnaryOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.UnaryOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ArithmeticUnaryOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ArithmeticUnaryOperator)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.CastExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.CastExpression)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.NegationOperatorImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.NegationOperator)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ReferenceExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ReferenceExpression)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.DirectReferenceExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.DirectReferenceExpression)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ElementReferenceImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ElementReference)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.SelfReferenceImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.SelfReference)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.PostfixUnaryExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.PostfixUnaryExpression)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.CallSuffixExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.CallSuffixExpression)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.IndexingSuffixExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.IndexingSuffixExpression)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.NavigationSuffixExpressionImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.NavigationSuffixExpression)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.FieldAssignmentImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.FieldAssignment)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ImportStatementImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ImportStatement)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.MultiplicityImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Multiplicity)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.DefiniteMultiplicityImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.DefiniteMultiplicity)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.UnboundedMultiplicityImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.UnboundedMultiplicity)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.NamedElementImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.NamedElement)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AnnotatedElementImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotatedElement)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.DeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Declaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AnnotationContainerImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationContainer)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.DomainDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.FeatureDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlinedOxstsImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlinedOxsts)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ParametricDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.FunctionDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.FunctionDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.PropertyDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.PropertyDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TransitionDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.RedefinableDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TopLevelDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AnnotationDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ClassDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration)
                    • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TargetDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.DataTypeDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TypeDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.VariableDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.VariableDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LocalVarDeclarationOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.LocalVarDeclarationOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.EnumLiteralImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumLiteral)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.NamespaceImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.EnumDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.OxstsModelPackageImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsModelPackage)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.PatternDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.RecordDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.SequenceOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.SequenceOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ParameterDeclarationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ParameterDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.OperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.Operation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AbstractForOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AbstractForOperation)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ForOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ForOperation)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlineForOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineForOperation)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlineChoiceForImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineChoiceFor)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlineSeqForImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineSeqFor)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AssignmentOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AssignmentOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.AssumptionOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.AssumptionOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ChoiceOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.ChoiceOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.HavocOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.HavocOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.IfOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.IfOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlineOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineOperation)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlineCallImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineCall)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlineIfOperationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineIfOperation)
          • org.eclipse.emf.ecore.impl.EModelElementImpl (implements org.eclipse.emf.ecore.EModelElement)
            • org.eclipse.emf.ecore.impl.EFactoryImpl (implements org.eclipse.emf.ecore.resource.impl.BinaryResourceImpl.DataConverter.Factory, org.eclipse.emf.ecore.EFactory)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.OxstsFactoryImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsFactory)
            • org.eclipse.emf.ecore.impl.ENamedElementImpl (implements org.eclipse.emf.ecore.ENamedElement)
              • org.eclipse.emf.ecore.impl.EPackageImpl (implements org.eclipse.emf.ecore.util.BasicExtendedMetaData.EPackageExtendedMetaData.Holder, org.eclipse.emf.ecore.EPackage)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.OxstsPackageImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsPackage)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TypeSpecificationImpl (implements hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeSpecification)
  • org.eclipse.emf.ecore.util.Switch<T>
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.util.OxstsSwitch<T>

Interface Hierarchy

• org.eclipse.emf.common.notify.Notifier
  • org.eclipse.emf.ecore.EObject
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.Annotation
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.Argument
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.Element
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.Conjunction
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.Expression
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralExpression
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.ArrayLiteral
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralBoolean
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralInfinity
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralInteger
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralNothing
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralReal
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.LiteralString
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordLiteral
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.OperatorExpression
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.BinaryOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ArithmeticBinaryOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.BooleanOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ComparisonOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.RangeExpression
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.IfThenElse
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.TemporalOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.AG
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.EF
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.UnaryOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ArithmeticUnaryOperator
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.CastExpression
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.NegationOperator
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.ReferenceExpression
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.DirectReferenceExpression
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ElementReference
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.SelfReference
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.PostfixUnaryExpression
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.CallSuffixExpression
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.IndexingSuffixExpression
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.NavigationSuffixExpression
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.FieldAssignment
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.ImportStatement
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.Multiplicity
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.DefiniteMultiplicity
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.UnboundedMultiplicity
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.NamedElement
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotatedElement
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.Declaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.NamedElement)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationContainer
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlinedOxsts
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Declaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
                  • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.FunctionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.PropertyDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.PropertyDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.FunctionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.VariableDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.LocalVarDeclarationOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Operation)
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.Declaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotatedElement)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationContainer
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlinedOxsts
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Declaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
                • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.FunctionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.PropertyDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.PropertyDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.FunctionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.DataTypeDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.VariableDeclaration
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.LocalVarDeclarationOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Operation)
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumLiteral
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.AbstractForOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Operation)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.ForOperation
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineForOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineOperation)
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineChoiceFor
              • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineSeqFor
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.ClassDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TargetDeclaration
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.EnumDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.DomainDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsModelPackage
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Declaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.AnnotationDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.FunctionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.PropertyDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.RedefinableDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.PatternDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.ParametricDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.RecordDeclaration (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.TopLevelDeclaration, hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeDeclaration)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.SequenceOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Operation)
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.ParameterDeclaration
      • hu.bme.mit.semantifyr.oxsts.model.oxsts.Operation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.AbstractForOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.ForOperation
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineForOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineOperation)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineChoiceFor
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineSeqFor
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.AssignmentOperation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.AssumptionOperation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.ChoiceOperation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.HavocOperation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.IfOperation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineOperation
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineCall
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineForOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.AbstractForOperation)
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineChoiceFor
            • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineSeqFor
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.InlineIfOperation
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.LocalVarDeclarationOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.VariableDeclaration)
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.SequenceOperation (also extends hu.bme.mit.semantifyr.oxsts.model.oxsts.Namespace)
    • org.eclipse.emf.ecore.EModelElement
      • org.eclipse.emf.ecore.EFactory
        • hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsFactory
      • org.eclipse.emf.ecore.ENamedElement
        • org.eclipse.emf.ecore.EPackage
          • hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsPackage
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.TypeSpecification
• hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsPackage.Literals

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.ArithmeticOp (implements org.eclipse.emf.common.util.Enumerator)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.BooleanOp (implements org.eclipse.emf.common.util.Enumerator)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.ComparisonOp (implements org.eclipse.emf.common.util.Enumerator)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureKind (implements org.eclipse.emf.common.util.Enumerator)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionKind (implements org.eclipse.emf.common.util.Enumerator)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitiveClosureKind (implements org.eclipse.emf.common.util.Enumerator)
    • hu.bme.mit.semantifyr.oxsts.model.oxsts.UnaryOp (implements org.eclipse.emf.common.util.Enumerator)