Class AbstractConstraintProcessor
- java.lang.Object
-
- net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor
-
- Direct Known Subclasses:
Resolver.OtherConstraintsProcessor
public abstract class AbstractConstraintProcessor extends java.lang.ObjectInterface for a generic constraint processor functor (avoid collections, process directly).- Author:
- Holger Eichelberger
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classAbstractConstraintProcessor.ExpressionTypeExpression types.
-
Constructor Summary
Constructors Constructor Description AbstractConstraintProcessor()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract ContextStackgetContextStack()Returns the context stack, e.g., for type exclusions.abstract ConstraintSyntaxTreeprocess(ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, IModelElement parent)Processes a constraint syntax tree.ConstraintSyntaxTreeprocess(Constraint constraint, AbstractConstraintProcessor.ExpressionType type)Processes a constraint (taking over the parent ofconstraint).
-
-
-
Method Detail
-
process
public abstract ConstraintSyntaxTree process(ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, IModelElement parent)
Processes a constraint syntax tree.- Parameters:
cst- the constraint syntax treetype- the type ofcstslot- the slot name, only in case ofAbstractConstraintProcessor.ExpressionType.DEFAULTorAbstractConstraintProcessor.ExpressionType.ANNOTATION_DEFAULTparent- the actual/intended parent if not determined otherwise- Returns:
- the processed constraint syntax tree, may be
cst
-
process
public ConstraintSyntaxTree process(Constraint constraint, AbstractConstraintProcessor.ExpressionType type)
Processes a constraint (taking over the parent ofconstraint). [convenience]- Parameters:
constraint- the constraint to be processedtype- the type of the constraint- Returns:
- the processed constraint syntax tree, may be the one of
constraint
-
getContextStack
public abstract ContextStack getContextStack()
Returns the context stack, e.g., for type exclusions.- Returns:
- the context stack
-
-