Hierarchy For All Packages

Package Hierarchies:

• hu.bme.mit.semantifyr.oxsts.lang,
• hu.bme.mit.semantifyr.oxsts.lang.conversion,
• hu.bme.mit.semantifyr.oxsts.lang.debugging,
• hu.bme.mit.semantifyr.oxsts.lang.formatting2,
• hu.bme.mit.semantifyr.oxsts.lang.library,
• hu.bme.mit.semantifyr.oxsts.lang.library.builtin,
• hu.bme.mit.semantifyr.oxsts.lang.naming,
• hu.bme.mit.semantifyr.oxsts.lang.parser.antlr,
• hu.bme.mit.semantifyr.oxsts.lang.parser.antlr.internal,
• hu.bme.mit.semantifyr.oxsts.lang.resource,
• hu.bme.mit.semantifyr.oxsts.lang.scoping,
• hu.bme.mit.semantifyr.oxsts.lang.scoping.domain,
• hu.bme.mit.semantifyr.oxsts.lang.scoping.imports,
• hu.bme.mit.semantifyr.oxsts.lang.scoping.selectables,
• hu.bme.mit.semantifyr.oxsts.lang.semantics,
• hu.bme.mit.semantifyr.oxsts.lang.semantics.expression,
• hu.bme.mit.semantifyr.oxsts.lang.semantics.modality,
• hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem,
• hu.bme.mit.semantifyr.oxsts.lang.serializer,
• hu.bme.mit.semantifyr.oxsts.lang.services,
• hu.bme.mit.semantifyr.oxsts.lang.utils,
• hu.bme.mit.semantifyr.oxsts.lang.validation

Class Hierarchy

• java.lang.Object
  • org.eclipse.xtext.resource.impl.AbstractCompoundSelectable (implements org.eclipse.xtext.resource.ISelectable)
    • hu.bme.mit.semantifyr.oxsts.lang.scoping.selectables.CompositeSelectable
  • org.eclipse.xtext.service.AbstractElementFinder
    • org.eclipse.xtext.service.AbstractElementFinder.AbstractEnumRuleElementFinder (implements org.eclipse.xtext.IGrammarAccess.IEnumRuleAccess)
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AdditiveOpElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AndOpElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ComparisonOpElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.FeatureKindElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.MultiplicativeOpElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.OrOpElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.TopLevelFeatureKindElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.TransitionKindElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.UnaryOpElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.XorOpElements
    • org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder (implements org.eclipse.xtext.IGrammarAccess)
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess
    • org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder (implements org.eclipse.xtext.IGrammarAccess.IParserRuleAccess)
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AdditiveOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AGElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AndOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AnnotationContainerElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AnnotationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ArgumentElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ArithmeticUnaryOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ArrayLiteralElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AssignmentOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.AssumptionOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.BooleanOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.BooleanValueElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.CallExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.CastExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ChoiceOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ClassMemberElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ComparisonOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.DefiniteCallExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.DefiniteMultiplicityElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.DirectReferenceExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.EFElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ElementReferenceElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.EnumLiteralElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.FieldAssignmentElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ForOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.HavocOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.IdentifierElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.IfOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.IfThenElseElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ImportStatementElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlineCallElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlineChoiceForElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlinedInitTransitionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlinedMainTransitionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlinedOxstsElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlinedPropertyElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlinedVariableElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlineForOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlineIfOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlineOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InlineSeqForElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.InnerFeatureElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.KEYWORDElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralBooleanElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralInfinityElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralIntegerElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralNothingElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralRealElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LiteralStringElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LocalVarDeclarationOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.LoopVariableElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ModelElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.MultiplicativeOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.MultiplicityElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.NegationOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.OperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.OperatorExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.OxstsModelPackageElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.ParameterDeclarationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.PostfixUnaryExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.PrimaryExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.QualifiedIdentifierElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.RangeExpressionElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.RealElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.RecordLiteralElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.RecordMemberElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.RootFeatureElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.SelfReferenceElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.SequenceOperationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.TemporalOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.TopLevelDeclarationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.TypeSpecificationElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.UnaryOperatorElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.UnboundedMultiplicityElements
      • hu.bme.mit.semantifyr.oxsts.lang.services.OxstsGrammarAccess.XorOperatorElements
  • org.eclipse.xtext.formatting2.AbstractFormatter2 (implements org.eclipse.xtext.formatting2.IFormatter2)
    • org.eclipse.xtext.formatting2.AbstractJavaFormatter
      • hu.bme.mit.semantifyr.oxsts.lang.formatting2.OxstsFormatter
  • org.eclipse.xtext.service.AbstractGenericModule (implements com.google.inject.Module)
    • org.eclipse.xtext.service.DefaultRuntimeModule
      • hu.bme.mit.semantifyr.oxsts.lang.AbstractOxstsRuntimeModule
        • hu.bme.mit.semantifyr.oxsts.lang.OxstsRuntimeModule
  • org.eclipse.xtext.scoping.impl.AbstractGlobalScopeProvider (implements org.eclipse.xtext.scoping.IGlobalScopeProvider)
    • org.eclipse.xtext.scoping.impl.ResourceSetGlobalScopeProvider
      • hu.bme.mit.semantifyr.oxsts.lang.scoping.OxstsGlobalScopeProvider
  • org.eclipse.xtext.validation.AbstractInjectableValidator (implements org.eclipse.emf.ecore.EValidator)
    • org.eclipse.xtext.validation.AbstractDeclarativeValidator (implements org.eclipse.xtext.validation.ValidationMessageAcceptor)
      • hu.bme.mit.semantifyr.oxsts.lang.validation.AbstractOxstsValidator
        • hu.bme.mit.semantifyr.oxsts.lang.validation.OxstsValidator
  • org.eclipse.xtext.parser.AbstractParser (implements org.eclipse.xtext.parser.IParser)
    • org.eclipse.xtext.parser.antlr.AbstractAntlrParser
      • hu.bme.mit.semantifyr.oxsts.lang.parser.antlr.OxstsParser
  • org.eclipse.xtext.resource.impl.AbstractResourceDescription (implements org.eclipse.xtext.resource.IResourceDescription)
    • org.eclipse.xtext.resource.impl.DefaultResourceDescription
      • hu.bme.mit.semantifyr.oxsts.lang.resource.OxstsResourceDescription
  • org.eclipse.xtext.scoping.impl.AbstractScopeProvider (implements org.eclipse.xtext.scoping.IScopeProvider)
    • org.eclipse.xtext.scoping.impl.AbstractGlobalScopeDelegatingScopeProvider
      • hu.bme.mit.semantifyr.oxsts.lang.scoping.OxstsLocalScopeProvider
    • org.eclipse.xtext.scoping.impl.DelegatingScopeProvider (implements org.eclipse.xtext.scoping.impl.IDelegatingScopeProvider)
      • hu.bme.mit.semantifyr.oxsts.lang.scoping.AbstractOxstsScopeProvider
        • hu.bme.mit.semantifyr.oxsts.lang.scoping.OxstsScopeProvider
  • org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer (implements org.eclipse.xtext.serializer.sequencer.ISemanticSequencer)
    • org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer
      • hu.bme.mit.semantifyr.oxsts.lang.serializer.AbstractOxstsSemanticSequencer
        • hu.bme.mit.semantifyr.oxsts.lang.serializer.OxstsSemanticSequencer
  • org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer (implements org.eclipse.xtext.serializer.acceptor.ISemanticSequenceAcceptor, org.eclipse.xtext.serializer.sequencer.ISyntacticSequencer)
    • hu.bme.mit.semantifyr.oxsts.lang.serializer.AbstractOxstsSyntacticSequencer
      • hu.bme.mit.semantifyr.oxsts.lang.serializer.OxstsSyntacticSequencer
  • org.eclipse.xtext.conversion.impl.AbstractValueConverter<Type> (implements org.eclipse.xtext.conversion.IValueConverter<Type>)
    • org.eclipse.xtext.conversion.impl.AbstractLexerBasedConverter<T> (implements org.eclipse.xtext.conversion.IValueConverter.RuleSpecific)
      • org.eclipse.xtext.conversion.impl.AbstractIDValueConverter
        • hu.bme.mit.semantifyr.oxsts.lang.conversion.IDValueConverter
      • org.eclipse.xtext.conversion.impl.STRINGValueConverter
        • hu.bme.mit.semantifyr.oxsts.lang.conversion.QUOTED_IDValueConverter
  • org.eclipse.xtext.conversion.impl.AbstractValueConverterService (implements org.eclipse.xtext.conversion.IValueConverterService)
    • org.eclipse.xtext.conversion.impl.AbstractDeclarativeValueConverterService (implements org.eclipse.xtext.conversion.IValueConverterService.Introspectable)
      • org.eclipse.xtext.common.services.DefaultTerminalConverters
        • hu.bme.mit.semantifyr.oxsts.lang.conversion.OxstsValueConverterService
  • org.eclipse.emf.common.notify.impl.AdapterImpl (implements org.eclipse.emf.common.notify.Adapter.Internal)
    • org.eclipse.emf.ecore.util.EContentAdapter
      • org.eclipse.xtext.util.NonRecursiveEContentAdapter
        • hu.bme.mit.semantifyr.oxsts.lang.utils.OnResourceSetChangeEvictingCache.CacheAdapter
    • hu.bme.mit.semantifyr.oxsts.lang.library.LibraryAdapter
    • hu.bme.mit.semantifyr.oxsts.lang.utils.SelfContainedResource
  • org.antlr.runtime.BaseRecognizer
    • org.antlr.runtime.Lexer (implements org.antlr.runtime.TokenSource)
      • org.eclipse.xtext.parser.antlr.Lexer
        • hu.bme.mit.semantifyr.oxsts.lang.parser.antlr.internal.InternalOxstsLexer
    • org.antlr.runtime.Parser
      • org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser
        • hu.bme.mit.semantifyr.oxsts.lang.parser.antlr.internal.InternalOxstsParser
  • hu.bme.mit.semantifyr.oxsts.lang.library.builtin.BuiltinAnnotationHandler
  • hu.bme.mit.semantifyr.oxsts.lang.library.builtin.BuiltinOxstsLibraryProvider (implements hu.bme.mit.semantifyr.oxsts.lang.library.OxstsLibraryProvider)
  • hu.bme.mit.semantifyr.oxsts.lang.library.builtin.BuiltinSymbolResolver
  • hu.bme.mit.semantifyr.oxsts.lang.library.CompositeOxstsLibrary (implements hu.bme.mit.semantifyr.oxsts.lang.library.OxstsLibrary)
  • org.eclipse.xtext.validation.ConfigurableIssueCodesProvider
    • hu.bme.mit.semantifyr.oxsts.lang.validation.OxstsConfigurableIssueCodesProvider
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ConstantElementValueEvaluatorProvider
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ConstantExpressionEvaluatorProvider
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.domain.DeclarationHolder
  • org.eclipse.xtext.resource.impl.DefaultResourceDescriptionManager (implements org.eclipse.xtext.resource.IResourceDescription.Manager)
    • hu.bme.mit.semantifyr.oxsts.lang.resource.OxstsResourceDescriptionManager
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.domain.DomainMemberCollection
    • hu.bme.mit.semantifyr.oxsts.lang.scoping.domain.InheritanceAwareDomainMemberCollection
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.domain.DomainMemberCollectionProvider
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.domain.DomainMemberSelectable (implements org.eclipse.xtext.resource.ISelectable)
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ElementValueEvaluator<T>
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ConstantElementValueEvaluator
  • hu.bme.mit.semantifyr.oxsts.lang.utils.ExpressionEvaluationVisitor<T>
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.modality.ExpressionModalityEvaluatorProvider
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.ExpressionTypeEvaluatorProvider
  • hu.bme.mit.semantifyr.oxsts.lang.utils.ExpressionVisitor<T>
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluator<T>
      • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ConstantExpressionEvaluator
      • hu.bme.mit.semantifyr.oxsts.lang.semantics.modality.ExpressionModalityEvaluator
      • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.ExpressionTypeEvaluator
      • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.MetaConstantExpressionEvaluator
    • hu.bme.mit.semantifyr.oxsts.lang.serializer.ExpressionSerializer
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.FeatureSubSettersFinder
  • org.eclipse.xtext.formatting2.internal.HiddenRegionReplacer (implements org.eclipse.xtext.formatting2.ITextReplacer)
    • hu.bme.mit.semantifyr.oxsts.lang.formatting2.BlockEndHiddenRegionReplacer
  • hu.bme.mit.semantifyr.oxsts.lang.conversion.IdentifierValueConverter (implements org.eclipse.xtext.conversion.IValueConverter<Type>)
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.imports.ImportCollector
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.InfinityEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.InheritanceHandler
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.InvalidTypeEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.TypeEvaluation)
  • org.eclipse.xtext.naming.IQualifiedNameProvider.AbstractImpl (implements org.eclipse.xtext.naming.IQualifiedNameProvider)
    • hu.bme.mit.semantifyr.oxsts.lang.naming.OxstsQualifiedNameProvider
  • hu.bme.mit.semantifyr.oxsts.lang.library.LibraryAdapterFinder
  • hu.bme.mit.semantifyr.oxsts.lang.library.LibraryResolutionUtil
  • hu.bme.mit.semantifyr.oxsts.lang.library.LibraryResourceResolver
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.MetaConstantExpressionEvaluatorProvider
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.MultiplicityRangeEvaluator
  • hu.bme.mit.semantifyr.oxsts.lang.utils.NamedElementResolver
  • hu.bme.mit.semantifyr.oxsts.lang.naming.NamingUtil
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.NothingEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.NothingTypeEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.TypeEvaluation)
  • hu.bme.mit.semantifyr.oxsts.lang.utils.OnResourceSetChangeEvictingCache (implements org.eclipse.xtext.util.IResourceScopeCache)
  • hu.bme.mit.semantifyr.oxsts.lang.utils.OperationVisitor<T>
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.OppositeHandler
  • hu.bme.mit.semantifyr.oxsts.lang.parser.antlr.OxstsAntlrTokenFileProvider (implements org.eclipse.xtext.parser.antlr.IAntlrTokenFileProvider)
  • hu.bme.mit.semantifyr.oxsts.lang.naming.OxstsQualifiedNameConverter (implements org.eclipse.xtext.naming.IQualifiedNameConverter)
  • hu.bme.mit.semantifyr.oxsts.lang.OxstsStandaloneSetupGenerated (implements org.eclipse.xtext.ISetup)
    • hu.bme.mit.semantifyr.oxsts.lang.OxstsStandaloneSetup
  • hu.bme.mit.semantifyr.oxsts.lang.utils.OxstsUtils
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.imports.PackageSelectableProvider
  • hu.bme.mit.semantifyr.oxsts.lang.library.PathBasedOxstsLibrary (implements hu.bme.mit.semantifyr.oxsts.lang.library.OxstsLibrary)
    • hu.bme.mit.semantifyr.oxsts.lang.library.ClasspathBasedOxstsLibrary
      • hu.bme.mit.semantifyr.oxsts.lang.library.builtin.BuiltinLibrary
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.PropertyTypeHandler
  • hu.bme.mit.semantifyr.oxsts.lang.conversion.QualifiedIdentifierValueConverter (implements org.eclipse.xtext.conversion.IValueConverter<Type>)
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.RangeEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.RedefinersFinder
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.RedefinersFinder.RedefinersCollection
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.RedefinitionHandler
  • hu.bme.mit.semantifyr.oxsts.lang.resource.ResourceDescriptionProvider
  • hu.bme.mit.semantifyr.oxsts.lang.utils.ResourceUriProvider
  • hu.bme.mit.semantifyr.oxsts.lang.serializer.SerializerGrammarAnalyses
  • hu.bme.mit.semantifyr.oxsts.lang.utils.SourceLocation
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.SubsetHandler
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.EvaluationFailureException
  • hu.bme.mit.semantifyr.oxsts.lang.scoping.selectables.TrimPrefixSelectable (implements org.eclipse.xtext.resource.ISelectable)
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.TypeCompatibility
  • hu.bme.mit.semantifyr.oxsts.lang.debugging.TypeRenderer
  • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.VariableTypeEvaluator
  • hu.bme.mit.semantifyr.oxsts.lang.library.builtin.VerificationCaseFinder

Interface Hierarchy

• hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation
• hu.bme.mit.semantifyr.oxsts.lang.library.OxstsLibrary
• hu.bme.mit.semantifyr.oxsts.lang.library.OxstsLibraryProvider
• hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.TypeEvaluation

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.lang.semantics.modality.Modality

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ArrayEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.BooleanEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.EnumLiteralEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.ImmutableTypeEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.typesystem.TypeEvaluation)
    • hu.bme.mit.semantifyr.oxsts.lang.scoping.imports.Import
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.IntegerEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.RealEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)
    • hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.StringEvaluation (implements hu.bme.mit.semantifyr.oxsts.lang.semantics.expression.ExpressionEvaluation)