Package net.ssehub.easy.varModel.model.filter
This package contains utility classes for filtering the model for specific model elements.
-
Class Summary Class Description AbstractDeclarationFinder Abstract super class for finding all toplevel DecisionVariableDeclaration's of aProject.AbstractFrozenElementsFinder Abstract superclass forFreezeBlockFinderandFrozenElementsFinderfor discovering frozen elements.AbstractStateVariablesInConstraintFinder Searches for usedIDecisionVariables and their states inside aConstraintSyntaxTree.AbstractVariableInConstraintFinder Superclass for searching for variables/declarations insideConstraintSyntaxTrees.AnnotationAssignmentFinder Searches for all assignment blocks of annotations.ConstraintClassifier This class is able to classify a constraint in one of the following categories.ConstraintFinder This class locates all (visible) constraints in an IVML project.ConstraintSeparator Class for extracting the constraints out of aProject.DatatypeFinder Visitor for findingCustomDatatypeof a specific type.DeclarationFinder This class locates all top-level DecisionVariableDeclaration in a project.DeclarationInContainerFinder DeclarationMapper This filter class searches all top levelDecisionVariableDeclarations and stores them into a Map.DeclrationInConstraintFinder Filter class for retrieving allAbstractVariable's nested inside a given constraint.EvalBlockFinder This class locates allPartialEvaluationBlockin a project.FreezeBlockFinder Finds all freeze blocks in a given project.FrozenElementsFinder This class searches through a project (and its imports) for finding frozen elements.IDecisionVariableInConstraintFinder Searches forIDecisionVariables in aConstraintSyntaxTree.ModelElementTypeFinder This class provides a visitor for providing aModelElementTypeFinder.ModelElementDescriptionof a model element in a specificProject.NamespaceFinder Extracts all namespaces (project names) of a given project, including all imported projects.ProjectInterfaceFinder Searches for definedProjectInterfaces.ReferenceValuesFinder Class for finding relevantAbstractVariables matching to the data type of a givenReference.VariablesInConstraintFinder Searches for usedIDecisionVariables and their states inside aConstraintSyntaxTree. -
Enum Summary Enum Description ConstraintClassifier.ExpectedType With the aid of this enum is it possible to tell the Classifier which part of a constraint is expected to be next.DeclarationFinder.VisibilityType Specifies which kind of found declarations shall by returned.FilterType This enumeration if for the constructors of this package to denote whether imports should be considered during filtering the current project.ModelElementTypeFinder.ClassType Type descriptions.