Package net.ssehub.easy.varModel.model
package net.ssehub.easy.varModel.model
Base package for the variability model.
Holding declaration of:
Holding declaration of:
- Projects
- Variable Declarations
- Datatype Declarations
- Constraints
- Evaluation Elements
- Attributes
-
ClassDescriptionAbstract super class for visiting projects.Defines an abstract variable.An abstract visitor which performs a default traversal of the various sets of elements in the model.Visits a certain set of annotation declarations and assignments (applying to a given scope) and allows processing all of them.Defines an attribute.Represents an assignment of a value to attributes of at least one model element.Characterizes an attribute-value assignment.This class basically realizes a decision variable container (this class does not support realizing constraints).Represents a comment in the source of an IVML file.Represents a compound access statement, e.g., within a freeze block.Defines a constant decision variable declaration.Class to create a rule-based constraint.Base type for (extensible) constraint types.The conceptual type of the constraint.Represents the objects, a project can handle.A list of containable model elements which acts as
IResolutionScope.Implements a decision variable.Special form of attribute specified by ".".An evaluation block consisting of constraints to be evaluated.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.Handles frozen elements.An extended version of the a decision variable container which also supports realizing constraints.Interface to mark attributable elements.Provides access to attributes.Specific methods for holding constraints.Describes a container for decision variables.The IFreezable interface represents model elements that can be frozen in a freeze block.Defines the interface for a model element.IModelVisitor interface.An element which may act as an evaluable expression in an eval block.Defines a project listener in order to inform interested parties about changes within a project instance.Implements a default datatype visitor for IVML.A top level exception class for all IVML exceptions.This class contains keywords and constants related to ivml files.Provides IVML specific model query operations.All elements a VarModel could contain.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 theModelQueryclass.This class provides some methods to access statistical information about a given project.An empty implementation ofIModelVisitor.Defines default annotation operations.A containable element which represents user defined operations.Maintains partial evaluable elements.This class holds the project imports, the containable model-, and attributable elements.Facilitates attribute propagation to parent project.Defines an import and his restrictions.ProjectInterface class.Implements a private datatype class which represents the (pseudo) type of a project.An exception class for all reasoning exceptions.Defines a structured comment which stores relations between nested model elements of the following model element and the comments stored in this comment.