Package net.ssehub.easy.varModel.model

Base package for the variability model.
Holding declaration of:

• Projects
• Variable Declarations
• Datatype Declarations
• Constraints
• Evaluation Elements
• Attributes

Interface Summary

Interface	Description
Constraint.IConstraintType	Base type for (extensible) constraint types.
IAttributableElement	Interface to mark attributable elements.
IAttributeAccess	Provides access to attributes.
IConstraintHolder	Specific methods for holding constraints.
IDecisionVariableContainer	Describes a container for decision variables.
IFreezable	The IFreezable interface represents model elements that can be frozen in a freeze block.
IModelElement	Defines the interface for a model element.
IModelVisitor	IModelVisitor interface.
IPartialEvaluable	An element which may act as an evaluable expression in an eval block.
IProjectListener	Defines a project listener in order to inform interested parties about changes within a project instance.
ModelQuery.IDeclarationSelector	Defines the interface of a declaration selector.

Class Summary

Class	Description
AbstractProjectVisitor	Abstract super class for visiting projects.
AbstractVariable	Defines an abstract variable.
AbstractVisitor	An abstract visitor which performs a default traversal of the various sets of elements in the model.
AnnotationVisitor	Visits a certain set of annotation declarations and assignments (applying to a given scope) and allows processing all of them.
Attribute	Defines an attribute.
AttributeAssignment	Represents an assignment of a value to attributes of at least one model element.
AttributeAssignment.Assignment	Characterizes an attribute-value assignment.
BasicDecisionVariableContainer	This class basically realizes a decision variable container (this class does not support realizing constraints).
Comment	Represents a comment in the source of an IVML file.
CompoundAccessStatement	Represents a compound access statement, e.g., within a freeze block.
ConstantDecisionVariableDeclaration	Defines a constant decision variable declaration.
Constraint	Class to create a rule-based constraint.
ContainableModelElement	Represents the objects, a project can handle.
ContainableModelElementList	A list of containable model elements which acts as IResolutionScope.
DecisionVariableDeclaration	Implements a decision variable.
DotAttribute	Special form of attribute specified by ".".
EvaluationBlock	An evaluation block consisting of constraints to be evaluated.
ExplicitTypeVariableDeclaration	Represents an explicitly typed declarator in a set operation.
ExpressionVersionRestriction	A version expression based on IVML constraints.
ExpressionVersionRestrictionValidator	A simple validator for version restrictions, disallowing if-then-else, let-in and compound initializers.
FreezeBlock	Handles frozen elements.
FullDecisionVariableContainer	An extended version of the a decision variable container which also supports realizing constraints.
IvmlDatatypeVisitor	Implements a default datatype visitor for IVML.
IvmlKeyWords	This class contains keywords and constants related to ivml files.
IvmlModelQuery	Provides IVML specific model query operations.
ModelElement	All elements a VarModel could contain.
ModelQuery	Provides an interface to query models.
ModelQuery.FirstDeclTypeSelector	Selects the first declaration with the given type.
ModelQuery.IncrementalNamespace	Represents an incrementally resolved namespace.
ModelQuery.MqDatatypeVisitor	A private quick datatype visitor.
ModelStatistics	This class provides some methods to access statistical information about a given project.
ModelVisitorAdapter	An empty implementation of IModelVisitor.
OperationDefinition	A containable element which represents user defined operations.
PartialEvaluationBlock	Maintains partial evaluable elements.
Project	This class holds the project imports, the containable model-, and attributable elements.
ProjectDecisionVariableDeclaration	Facilitates attribute propagation to parent project.
ProjectImport	Defines an import and his restrictions.
ProjectInterface	ProjectInterface class.
ProjectType	Implements a private datatype class which represents the (pseudo) type of a project.
StructuredComment	Defines a structured comment which stores relations between nested model elements of the following model element and the comments stored in this comment.

Enum Summary

Enum	Description
Constraint.Type	The conceptual type of the constraint.

Exception Summary

Exception	Description
IvmlException	A top level exception class for all IVML exceptions.
ModelQueryException	Defines an exception type thrown by the ModelQuery class.
ReasoningException	An exception class for all reasoning exceptions.