All Classes and Interfaces
Class
Description
Visitor for a
Configuration to generate statistics of the configuration.Gathered statistical information of the visited configuration.
Provides a basic implementation of the visitor interface for visiting the
decisions in the sequence of storage.
Visitor which runs through all elements of a
ConstraintSyntaxTree, but does nothing.An accessor based on a decision variable.
Abstract super class for finding all toplevel
DecisionVariableDeclarations of a Project.Super class for Filters which should remove elements based on already frozen variables.
Abstract superclass for
FreezeBlockFinder and FrozenElementsFinder for discovering frozen elements.Abstract super class for visiting projects.
Searches for used
IDecisionVariables and their states inside a ConstraintSyntaxTree.Defines an abstract variable.
Superclass for searching for variables/declarations inside
ConstraintSyntaxTrees.Super class for translating the variability model to a
StringBuffer, which can be used for saving.Defines default space locations.
An abstract visitor which performs a default traversal
of the various sets of elements in the model.
A freeze selector which just freezes all variables.
Searches for all assignment blocks of annotations.
Visits a certain set of annotation declarations and assignments (applying to a given scope) and allows processing
all of them.
The AnyType is the "Object" of OCL, a type to which all types are compatible.
Basic (number) operations.
Part of the
Visiting should be started with
ProjectRewriteVisitor to remove sub values of a RHS of an assignment, if declarations
of this assignments have been removed.Visiting should be started with
AssignmentReducer.reduce(OCLFeatureCall) instead of using the usual
accept methods.Resolves the initial assignment settings for a configuration.
Defines the default and global assignment states.
Defines an attribute.
Represents an assignment of a value to attributes of at least
one model element.
Characterizes an attribute-value assignment.
A variable which represents an attribute.
A visitor which determines the (recursive) base type of a given
type.
Implements a basic constraint copy visitor.
This class basically realizes a decision variable container (this class does not support realizing constraints).
Represents the basic data types of the IVML.
Holding basis data types.
Class for variables which do not bear nested variables.
Represents a block of expressions.
Implements Boolean operations.
Defines the interface for a binary boolean operation.
Generically implements binary Boolean operations.
Creates the BasisDatatype Boolean.
This class holds the value for the boolean.
Stores data about the containing OSGi bundle (static bundle without activator).
A temporary variable representing a value of a container.
Pseudo states carrying command information to be translated to
AssignmentState.Represents a comment in a parse tree.
Represents a comment in the source of an IVML file.
A simple comment resource emulating basic functionalities of
Properties, which, however, interprets IVML
qualified names according to its own convention.A compound type groups multiple types into a single named unit.
Represents an expression which accesses a compound slot where
the compound is specified as a
ConstraintSyntaxTree.Represents a compound access statement, e.g., within a freeze block.
Represents a typed initializer for compounds.
VariableConfigProvider for nested Elements of a ContainerVariable.Implements compound operations.
Implements an accessor for decision variables.
CompoundValue class.
This class handles setting values for compounds.
Class for variables of Compounds.
Provides an interface to query
Configurations.An IVML writer which may or not emit imports.
Represents a configuration, i.e.
Implements a specific exception for errors in the configuration.
Externalizes the initialization of a configuration, so that a specific reasoner can do this job.
Defines the interface for the configuration initializer.
This method is part of the configuration and responsible for saving the values of the configuration
inside the
Configuration.toProject(boolean) method.Implements an accessor for constant values.
Defines a constant decision variable declaration.
Class for a constant value.
Implements a constant value resolution visitor.
Class to create a rule-based constraint.
Base type for (extensible) constraint types.
The conceptual type of the constraint.
This class is able to classify a constraint in one of the following categories.
With the aid of this enum is it possible to tell the Classifier
which part of a constraint is expected to be next.
This class locates all (visible) constraints in an IVML project.
Implements constraint operations.
Class to copy an expression.
Class for extracting the constraints out of a
Project.Splits the textual output at a given
constraint.Identifies the constraint where to split at.
An identity constraint filter.
Class to show the syntax of an Constraint.
Defines the basis datatype for holding constraints.
This class holds the value for a constraint type.
Represents the objects, a project can handle.
A list of containable model elements which acts as
IResolutionScope.Realizes an abstract container.
Implements an accessor for decision variables.
Represents an initializer for containers.
VariableConfigProvider for nested variables of a ContainerVariable.Implements the container iterators.
Implements a basic closure iterator which can stop on a cycle.
Implements an evaluator adaptor for collecting operations.
Implements
Container.SELECT and
Container.REJECT.The default value comparator for any value based on
StringProvider.A number aggregating iterator.
Represents a set operation call with declarators, e.g.
Implements the default container operations.
Implements a container calculation evaluator (just as needed for now).
Defines a container/container operation.
Implements a container/container operation generically.
A combined container value / accessor.
Defines a container/value operation.
Implements a container/value operation generically.
Implements the "includes"/"excludes" function.
Implements the "flattens" operation.
Implements the "includesAll"/"excludesAll" function.
Implements the "isEmpty"/"notEmpty" function.
Implements the typeSelection operation.
ContainerValue class.
VariableConfigProvider for nested variables of a ContainerVariable.Searches a constraint for the occurrence of
self.Stores knowledge about the current constraint visitation (the context of earlier elements).
Realizes a context stack for evaluating nested self expressions.
Implements a poolable stack frame.
Copies a constraint syntax tree possibly mapping the variables.
Defines a common variable replacer.
Special
CopyVisitor as needed by the ProjectCopyVisitor.Exception for invalid Constraints.
Utility functions for handling
ConstraintSyntaxTrees.Abstract class, implements the setName method for the custom data types.
Implements a non-static custom operation subject to dynamic dispatch while evaluation.
Represents a custom operation as defined in the IVML model.
Visitor for finding
CustomDatatype of a specific type.Implements a default visitor where contained types are surrounded
by their containing types.
A visitor for printing out constraint syntax trees.
Implements a decision variable representing a specific decision.
Implements a decision variable.
This class locates all top-level DecisionVariableDeclaration in a project.
Specifies which kind of found declarations shall by returned.
This filter class searches all top level
DecisionVariableDeclarations and stores them into a Map.Filters
DecisionVariableDeclarations based on their names.Filter class for retrieving all
AbstractVariable's nested inside a given constraint.A default implementation of the
AbstractConfigurationStatisticsVisitor with empty implementation
of special treatments.A project imports resolver.
Provides descriptive access to the default reasoner.
Defines the interface for a reasoner provider.
Assigns the defined default value(s).
An expression to indicate that the contained expression shall not be evaluated
rather than used as value.
An internal delegating type to resolve cyclic class dependencies.
Part of the
ProjectRewriteVisitor, to detect deleted elements if a complete Import was removed.DerivedDatatype allows the user to create new data types based on existing types.
Calculates the dynamic dispatch of a custom operation.
A provider for display names (e.g., in case that not variable names shall be displayed).
Special form of attribute specified by ".".
An internal temporary node representing an untyped empty initializer.
Enumerations allow the definition of sets of named values.
Objects represents the literal of an enum.
Implements enum and ordered enum operations.
Defines the evaluation of a binary enum (literal) operation.
Implements the generic enum comparison operation based on
EnumOperations.BinaryEnumComparisonOperation.Implements
OrderedEnum.MIN.Holding enum literals.
This class locates all
PartialEvaluationBlock in a project.Defines a unified accessor to variables, constants, slots etc.
An evaluation block consisting of constraints to be evaluated.
Some basic functionality required by the evaluators without exposing the
EvaluationVisitor.Some evaluation utility methods.
Implements a variable replacer.
Evaluation visitor for IVML expressions.
Extended Message class for saving variables that fail in assignments.
Allows to register, query and unregister evaluators for IVML operations.
Represents an explicitly typed declarator in a set operation.
A version expression based on IVML constraints.
A simple validator for version restrictions, disallowing if-then-else, let-in and
compound initializers.
This enumeration if for the constructors of this package to denote
whether imports should be considered during filtering the current project.
Handles frozen elements.
Finds all freeze blocks in a given project.
Implements a freeze selector based on expression evaluation.
An internal type for freezes to iterate / specify expressions on freezables.
Implements the operations of the internal freeze variable type.
Implements the operation evaluator for variable names.
Removes constraint out of compounds, pointing to only frozen and constant elements.
A
IModelElementFilter to filter constraints, containing only frozen variables and constants.Removes frozen
ConstraintType variables if they are only pointing to frozen variable.This class searches through a project (and its imports) for finding frozen elements.
Checks whether all instances of a given
DerivedDatatype are frozen and will remove all constraints,
if all instances are frozen or if none exist.An extended version of the a decision variable container which also supports realizing constraints.
Generic Number (
IntegerType, RealType) operations.Strategy for comparing two numbers.
Generic operation implementation for the individual types.
Defines the interface of an (extensible) assignment state value.
Interface to mark attributable elements.
Provides access to attributes.
Represents a (temporary) element of a collection as collection (by design decision) do
no have real contained variables.
Provides access to configured variables.
Interface for listeners, which should be informed in case of changes inside the configuration.
Defines the interface for elements in a configuration (including the
configuration itself).
Marks visitable elements of a configuration.
Defines an interface to visit a configuration.
Interface to the constraint evaluator to avoid unnecessary access when passing along an evaluation visitor.
Specific methods for holding constraints.
Defines the interface for a visitor for the constraint tree.
Defines an interface for classes which are able to sort their elements
according to a given comparator.
Defines an interface for visiting datatypes.
Provides access to custom operations.
Abstract class, implements some methods for all existing data types.
Defines an element which can be visited by the
IDatatypeVisitor.A specific visitor for building type identities.
Interface for configurable
DecisionVariable.Describes a container for decision variables.
Searches for
IDecisionVariables in a ConstraintSyntaxTree.Interface for
DecisionVariableDeclarations of DerivedDatatype to get informed
whenever the constraints of the related DerivedDatatype changes.An evaluation interceptor may step into the expression evaluation at certain points in
time to modify setting/getting values.
The IFreezable interface represents model elements that can be frozen
in a freeze block.
Determines whether a decision variable shall be frozen.
Represents a conditional expression.
Provides an iterator aggregation function.
Defines the interface for a model element.
Optional Rule how to handle elements of a
Project, while creating a
copy using the ProjectRewriteVisitor.IModelVisitor interface.
State, declaring whether a declaration is mandatory or not.
Filters
ProjectImports based on their names.Import filter based on a
Java regular expression.
Implements an accessor for index access.
An index access path element, e.g., for collections or as fallback.
Part of the
ProjectRewriteVisitor, will collect all relevant elements to facilitate a fast retrieval
of needed elements.Implements integer operations.
Creates the BasisDatatype Integer.
This class holds the value for the integer.
Evaluates an IVML operation.
An element which may act as an evaluable expression in an eval block.
Optional Rule how to handle
ProjectImports, while creating a
copy using the ProjectRewriteVisitor.Defines a project listener in order to inform interested parties about
changes within a project instance.
Optional Rule how to handle
Projects, while creating a
modifying using the ProjectRewriteVisitor.Defines the basic types for reasoner capability constants.
Informs interested parties about the resolution of a variable to a decision variable.
Represents a resolution path of a nested element through a configuration.
Provides access to containable model elements.
Implements a specific expression for defining local variables with variable initialization
expressions in iterator expressions.
Is called when the
EvaluationVisitor changes a value in the configuration.Indicates the kind of the change.
A parent instance that holds the actual value, typically a configured variable.
Defines a visitor for values.
Implements a default datatype visitor for IVML.
A top level exception class for all IVML exceptions.
Provides methods to identify correct IVML identifiers.
Annotation to mark
OclKeyWords as also reserved inside the IVML language.This class contains keywords and constants related to ivml files.
Provides IVML specific model query operations.
Defines some differentiating reasoner capabilities to react in EASy on provided
capabilities in an abstract way.
Checks a model for IVML compliance.
Writer for writing the variability model to an IVML output file.
Controls emitting variables and their values.
Some java helper methods.
Class for leaves in the ConstraintSyntaxTree.
Represents a let expression, i.e.
Special wrapper value for lists.
Creates a local configuration instance.
A local decision variable representing a parameter or a local variable.
Settings for the
MandatoryDeclarationClassifier.Heuristic classifier, which determines whether the variables of a
Configuration
should be changed by the user or not.Implements a data type which represents types (as result of type operations).
Implements the meta type operations.
Holds the value for a
MetaType.Implements (internationalized) comment persistence mechanisms on model level.
All elements a VarModel could contain.
A
IModelElementFilter to specify that a certain sub class of ContainableModelElement should be
generally omitted.This class provides a visitor for providing a
ModelElementTypeFinder.ModelElementDescription of a model element
in a specific Project.Type descriptions.
Provides an interface to query models.
Selects the first declaration with the given type.
Defines the interface of a declaration selector.
Represents an incrementally resolved namespace.
A private quick datatype visitor.
Defines an exception type thrown by the
ModelQuery class.This class provides some methods to access statistical information about a given project.
An empty implementation of
IModelVisitor.Represents a multi-and expression.
Represents a name-based access path element, e.g., for compounds.
Implements a named argument as a transparent constraint syntax tree.
Extracts all namespaces (project names) of a given project, including all imported projects.
VariableConfigProvider for nested variables of a StructuredVariable.A freeze selector which does not freeze any variable.
Defines the null value.
Defines the type of the singleton null value.
Class for OCLFeatureCall.
Defines constants for the OCL keywords for operations.
Describes an operation.
Defines some formatting hints for emitting operations
in a canonical form.
Defines the nesting mode of the results.
Defines how to handle the return type of an operation.
Defines default annotation operations.
A containable element which represents user defined operations.
Enumerations allow the definition of sets of named values.
Represents a parenthesis.
Maintains partial evaluable elements.
Constants for saving/loading variability model files.
Realizes a visitor which searches for a given prefix in a given context and returns
all matching model elements.
This class holds the project imports, the containable model-, and attributable elements.
Creates a deep copy of a
Project.Facilitates attribute propagation to parent project.
Defines an import and his restrictions.
ProjectInterface class.
Searches for defined
ProjectInterfaces.Visitor for modifying a (copied) project.
Implements a private datatype class which represents the (pseudo) type of a project.
Defines modes for considering the qualified name.
A cache for
ConfigQuerys based on a Configuration.Implements real operations.
Creates the BasisDatatype Real.
This class holds the value for the real.
An exception class for all reasoning exceptions.
A reference allows the definition of individual configurations of an (external) element for the referencing element.
Implements reference operations.
Reference value class.
Class for finding relevant
AbstractVariables matching to the data type of a given Reference.Carries a resolved variable.
Used as part of
ProjectRewriteVisitor to store translated Objects.Defines some search contexts, i.e.
Describes a search result.
Represents the a compound itself (for constraints within compounds).
Realizes a sequence container.
Implements sequence operations.
Decision variable for
Sequencess.Realizes a set container.
Implements set operations.
Describes an operation that returns a set as collection, i.e., that does not dynamically
choose, e.g., based on the operand type.
Decision variable for
Sets.Alternative
QueryCache if the same cache should be shared between two Configurations.The start of a resolution path at a top-level variable.
Finds variables with static access in the given expression.
Implements string operations.
Implements the case change operations.
Implements the string compare operations.
Turns model (parts) into strings.
Defines the basis datatype String.
This class holds the value for the string.
Defines a structured comment which stores relations between nested model
elements of the following model element and the comments stored in this
comment.
Class to specify the container and compound.
Super class of
ContainerValue and CompoundValue.Abstract super class for variables of
StructuredDatatype's.VariableConfigProvider for not nested variables.Maps singleton type instances to unique names and back again.
Provides some utility operations, also due to the split in the inheritance
hierarchy.
Collects all types defined for IVML.
Containes description over elements which could not be copied by the
ProjectCopyVisitor.Stores elements of the
ProjectCopyVisitor, which could not be copied completely as dependent elements
are not copied, yet.Container for holding
AttributeAssignment.Assignment, which could not copied so far.Fallback for resolving elements containing constraint syntax trees
This container is a tuple of (translated parent, original default value).
An exception signaling an unknown operation.
Denotes an expression (tree) which is currently unresolved
due to deferred imports, e.g.
A specific message for model validation purposes.
Visits a given expression and returns whether this is a valid assignment.
Basis value class.
Filters a given
Value and creates a copy without filtered elements.An exception which signals that a given value does not match the
specified type.
The ValueFactory provides easy access to the Values.
Private interface for calling the constructor of the right value type.
Adapts the value visitor interface with an empty implementation.
Class for a variable value.
Implements an accessor for decision variables.
Delegate for handling the value and state of a
IDecisionVariable.Factory class for creating
VariableConfigProviders.Stores the
Importance to each variable of a configuration.Factory for converting
AbstractVariable into DecisionVariable.Part of the
RewriteContext to speed up IDecisionVariable retrieval.Utility class for caching / pooling variables in order to save memory.
Searches for used
IDecisionVariables and their states inside a ConstraintSyntaxTree.Collects the variable usage in order to determine those variables that can be
written in an unqualified way.
Copies specified variable values, i.e., single variables to a single variable or a compatible container or a
container to a container.
Defines a copy specification.
A default freeze provider for but-expressions based on attributes of type enum.
Optional listener interface to generically track primary value assignments.
An interface providing information to create freeze blocks for new variables.
A freeze provider based on known frozen assignment states.
The variability model, the central class holding all project instances and being
responsible for import resolution.
Refined model repository for IVML.
Implements version operations.
A version evaluation result validator.
Evaluates a version operation.
Defines the basis (internal) datatype "Version".
This class holds the value for a version.
The AnyType is the "Object" of OCL, a type to which all types are compatible.