Uses of Class
net.ssehub.easy.varModel.cst.OCLFeatureCall
-
Packages that use OCLFeatureCall Package Description 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.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.search Specific classes for performing search operations on models.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. -
-
Uses of OCLFeatureCall in de.uni_hildesheim.sse.translation
Methods in de.uni_hildesheim.sse.translation with parameters of type OCLFeatureCall Modifier and Type Method Description voidAssignmentDetector. visitOclFeatureCall(OCLFeatureCall call)voidRefByCheckVisitor. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.reasoning.core.reasoner
Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type OCLFeatureCall Modifier and Type Method Description protected voidCommentResourceVisitor. appendOCLFeatureCall(OCLFeatureCall call, Operation.FormattingHint hint) -
Uses of OCLFeatureCall in net.ssehub.easy.reasoning.sseReasoner
Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type OCLFeatureCall Modifier and Type Method Description voidCheckInitializerVisitor. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.reasoning.sseReasoner.functions
Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type OCLFeatureCall Modifier and Type Method Description voidConstraintFunctions.TransitiveConstraintFinder. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.reasoning.sseReasoner.model
Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type OCLFeatureCall Modifier and Type Method Description voidVariablesInNotSimpleAssignmentConstraintsFinder. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.confModel
Methods in net.ssehub.easy.varModel.confModel with parameters of type OCLFeatureCall Modifier and Type Method Description protected java.lang.StringDisplayNameProvider. getDisplayNameForIndexAccess(OCLFeatureCall call, Configuration configuration)Returns the display name for an index access constraint expression.voidCompoundValueSetter. visitOclFeatureCall(OCLFeatureCall call)Constructors in net.ssehub.easy.varModel.confModel with parameters of type OCLFeatureCall Constructor Description CompoundValueSetter(OCLFeatureCall ocl, java.util.Map<AbstractVariable,IDecisionVariable> decisions)Sole constructor for this class. -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.cst
Fields in net.ssehub.easy.varModel.cst declared as OCLFeatureCall Modifier and Type Field Description private OCLFeatureCall[]MultiAndExpression. expressionsMethods in net.ssehub.easy.varModel.cst that return OCLFeatureCall Modifier and Type Method Description OCLFeatureCallMultiAndExpression. getExpression(int index)Returns the specified expression.Methods in net.ssehub.easy.varModel.cst with parameters of type OCLFeatureCall Modifier and Type Method Description voidAbstractConstraintTreeVisitor. visitOclFeatureCall(OCLFeatureCall call)voidBasicCopyVisitor. visitOclFeatureCall(OCLFeatureCall call)voidConstraintReplacer. visitOclFeatureCall(OCLFeatureCall call)voidDebugConstraintTreeVisitor. visitOclFeatureCall(OCLFeatureCall call)voidIConstraintTreeVisitor. visitOclFeatureCall(OCLFeatureCall call)Visits an OCL feature call.voidValidationVisitor. visitOclFeatureCall(OCLFeatureCall call)Constructors in net.ssehub.easy.varModel.cst with parameters of type OCLFeatureCall Constructor Description MultiAndExpression(OCLFeatureCall... expressions)Creates a chained (multi-and) expression. -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.cstEvaluation
Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type OCLFeatureCall Modifier and Type Method Description private booleanEvaluationVisitor. evaluateArguments(OCLFeatureCall call, Operation op, EvaluationAccessor operand, EvaluationAccessor[] args)Evaluates the arguments.private booleanEvaluationVisitor. evaluateOclFeatureCall(OCLFeatureCall call)Returns whether an OCL feature call shall be evaluated.private booleanEvaluationVisitor. handleBinaryBoolean(EvaluationAccessor operand, OCLFeatureCall call)voidEvaluationVisitor. visitOclFeatureCall(OCLFeatureCall call)voidStaticAccessFinder. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.model
Methods in net.ssehub.easy.varModel.model with parameters of type OCLFeatureCall Modifier and Type Method Description voidExpressionVersionRestrictionValidator. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.model.filter
Methods in net.ssehub.easy.varModel.model.filter with parameters of type OCLFeatureCall Modifier and Type Method Description voidAbstractVariableInConstraintFinder. visitOclFeatureCall(OCLFeatureCall call)voidConstraintClassifier. visitOclFeatureCall(OCLFeatureCall call)voidIDecisionVariableInConstraintFinder. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.model.filter.mandatoryVars
Methods in net.ssehub.easy.varModel.model.filter.mandatoryVars with parameters of type OCLFeatureCall Modifier and Type Method Description voidMandatoryDeclarationClassifier. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.model.rewrite
Methods in net.ssehub.easy.varModel.model.rewrite with parameters of type OCLFeatureCall Modifier and Type Method Description protected ConstraintSyntaxTreeAssignmentReducer. reduce(OCLFeatureCall assignment)Start method for reducing assignments.voidCSTCopyVisitor. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.model.search
Methods in net.ssehub.easy.varModel.model.search with parameters of type OCLFeatureCall Modifier and Type Method Description voidPrefixSearchVisitor. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.persistency
Fields in net.ssehub.easy.varModel.persistency with type parameters of type OCLFeatureCall Modifier and Type Field Description private java.util.Stack<OCLFeatureCall>IVMLWriter. callStackMethods in net.ssehub.easy.varModel.persistency with parameters of type OCLFeatureCall Modifier and Type Method Description protected voidIVMLWriter. appendOCLFeatureCall(OCLFeatureCall call, Operation.FormattingHint hint)Does the formatting of an OCL feature call and allows for overwriting.voidIVMLWriter. visitOclFeatureCall(OCLFeatureCall call)voidVariableUsage. visitOclFeatureCall(OCLFeatureCall call) -
Uses of OCLFeatureCall in net.ssehub.easy.varModel.validation
Methods in net.ssehub.easy.varModel.validation with parameters of type OCLFeatureCall Modifier and Type Method Description voidIvmlValidationVisitor. visitOclFeatureCall(OCLFeatureCall call)
-