Uses of Package
net.ssehub.easy.varModel.cst
-
Packages that use net.ssehub.easy.varModel.cst Package Description de.uni_hildesheim.sse IVML core main classes (exported).de.uni_hildesheim.sse.translation The mechanisms needed to translate an IVML Ecore model into an IVML object model.net.ssehub.easy.reasoning.core.reasoner All classes and interfaces needed to implement a reasoner.
How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Addorg.eclipse.equinox.dsto the required plugins andorg.osgi.service.componentto the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.net.ssehub.easy.reasoning.sseReasoner Package contains the EASy-Producer reasoner implementation classes.net.ssehub.easy.reasoning.sseReasoner.functions Package contains custom functions for IVML.net.ssehub.easy.reasoning.sseReasoner.model Package for creating a reasoning model: constraint container, project hierachy evaluator and other.net.ssehub.easy.varModel.confModel This package represents a specific variability model configuration.net.ssehub.easy.varModel.cst Package for elements of the constraint syntax tree.net.ssehub.easy.varModel.cstEvaluation Implements the evaluation of constraint syntax trees.net.ssehub.easy.varModel.model Base package for the variability model.net.ssehub.easy.varModel.model.datatypes Base directory for the main datatype classes.net.ssehub.easy.varModel.model.filter This package contains utility classes for filtering the model for specific model elements.net.ssehub.easy.varModel.model.filter.mandatoryVars Filter for finding mandatory declarations.net.ssehub.easy.varModel.model.rewrite Classes for creating an (adapted) copy of theProject.net.ssehub.easy.varModel.model.rewrite.modifier Modifier for theProjectRewriteVisitor.net.ssehub.easy.varModel.model.search Specific classes for performing search operations on models.net.ssehub.easy.varModel.model.values Instances of the datatypes.net.ssehub.easy.varModel.persistency These package is for reading and saving the variability model and the configuration.
Currently supported file formats: EASy-Producer 2.0 config files (xml) IVMLnet.ssehub.easy.varModel.validation Classes for validating e variability model, e.g. -
Classes in net.ssehub.easy.varModel.cst used by de.uni_hildesheim.sse Class Description ConstraintSyntaxTree Class to show the syntax of an Constraint.CSTSemanticException Exception for invalid Constraints. -
Classes in net.ssehub.easy.varModel.cst used by de.uni_hildesheim.sse.translation Class Description AbstractConstraintTreeVisitor Visitor which runs through all elements of aConstraintSyntaxTree, but does nothing.AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CSTSemanticException Exception for invalid Constraints.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value.VariablePool Utility class for caching / pooling variables in order to save memory. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.reasoning.core.reasoner Class Description CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.ConstraintSyntaxTree Class to show the syntax of an Constraint.CSTSemanticException Exception for invalid Constraints.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.OCLFeatureCall Class for OCLFeatureCall.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.reasoning.sseReasoner Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.reasoning.sseReasoner.functions Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CSTSemanticException Exception for invalid Constraints.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.reasoning.sseReasoner.model Class Description AttributeVariable A variable which represents an attribute.BasicCopyVisitor Implements a basic constraint copy visitor.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CSTSemanticException Exception for invalid Constraints.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.confModel Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.cst Class Description AbstractConstraintTreeVisitor Visitor which runs through all elements of aConstraintSyntaxTree, but does nothing.AttributeVariable A variable which represents an attribute.BasicCopyVisitor Implements a basic constraint copy visitor.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CopyVisitor.IVariableReplacer Defines a common variable replacer.CSTSemanticException Exception for invalid Constraints.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.EmptyInitializer An internal temporary node representing an untyped empty initializer.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Leaf Class for leaves in the ConstraintSyntaxTree.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.cstEvaluation Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CopyVisitor.IVariableReplacer Defines a common variable replacer.CSTSemanticException Exception for invalid Constraints.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CSTSemanticException Exception for invalid Constraints.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.datatypes Class Description ConstraintSyntaxTree Class to show the syntax of an Constraint.CSTSemanticException Exception for invalid Constraints. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.filter Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.filter.mandatoryVars Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.rewrite Class Description AbstractConstraintTreeVisitor Visitor which runs through all elements of aConstraintSyntaxTree, but does nothing.BasicCopyVisitor Implements a basic constraint copy visitor.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.CopyVisitor Copies a constraint syntax tree possibly mapping the variables.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.OCLFeatureCall Class for OCLFeatureCall.Self Represents the a compound itself (for constraints within compounds). -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.rewrite.modifier Class Description ConstraintSyntaxTree Class to show the syntax of an Constraint. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.search Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.model.values Class Description ConstraintSyntaxTree Class to show the syntax of an Constraint. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.persistency Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value. -
Classes in net.ssehub.easy.varModel.cst used by net.ssehub.easy.varModel.validation Class Description AttributeVariable A variable which represents an attribute.BlockExpression Represents a block of expressions.Comment Represents a comment in a parse tree.CompoundAccess Represents an expression which accesses a compound slot where the compound is specified as aConstraintSyntaxTree.CompoundInitializer Represents a typed initializer for compounds.ConstantValue Class for a constant value.ConstraintSyntaxTree Class to show the syntax of an Constraint.ContainerInitializer Represents an initializer for containers.ContainerOperationCall Represents a set operation call with declarators, e.g.DeferInitExpression An expression to indicate that the contained expression shall not be evaluated rather than used as value.IConstraintTreeVisitor Defines the interface for a visitor for the constraint tree.IfThen Represents a conditional expression.Let Represents a let expression, i.e.MultiAndExpression Represents a multi-and expression.OCLFeatureCall Class for OCLFeatureCall.Parenthesis Represents a parenthesis.Self Represents the a compound itself (for constraints within compounds).UnresolvedExpression Denotes an expression (tree) which is currently unresolved due to deferred imports, e.g.Variable Class for a variable value.