net.ssehub.easy.reasoning.sseReasoner.functions

Class AbstractConstraintProcessor

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.AbstractConstraintProcessor

Direct Known Subclasses:

Resolver.OtherConstraintsProcessor

public abstract class AbstractConstraintProcessor
extends java.lang.Object

Interface for a generic constraint processor functor (avoid collections, process directly).

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractConstraintProcessor.ExpressionType Expression types.

Constructor Summary

Constructors

Constructor and Description
AbstractConstraintProcessor()

Method Summary

Modifier and Type	Method and Description
abstract ContextStack	getContextStack() Returns the context stack, e.g., for type exclusions.
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	process(net.ssehub.easy.varModel.model.Constraint constraint, AbstractConstraintProcessor.ExpressionType type) Processes a constraint (taking over the parent of constraint).
abstract net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	process(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst, AbstractConstraintProcessor.ExpressionType type, java.lang.String slot, net.ssehub.easy.varModel.model.IModelElement parent) Processes a constraint syntax tree.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractConstraintProcessor

public AbstractConstraintProcessor()

Method Detail

process

public abstract net.ssehub.easy.varModel.cst.ConstraintSyntaxTree process(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst,
                                                                          AbstractConstraintProcessor.ExpressionType type,
                                                                          java.lang.String slot,
                                                                          net.ssehub.easy.varModel.model.IModelElement parent)

Processes a constraint syntax tree.

Parameters:

cst - the constraint syntax tree

type - the type of cst

slot - the slot name, only in case of AbstractConstraintProcessor.ExpressionType.DEFAULT or AbstractConstraintProcessor.ExpressionType.ANNOTATION_DEFAULT

parent - the actual/intended parent if not determined otherwise

Returns:

the processed constraint syntax tree, may be cst

process

public net.ssehub.easy.varModel.cst.ConstraintSyntaxTree process(net.ssehub.easy.varModel.model.Constraint constraint,
                                                                 AbstractConstraintProcessor.ExpressionType type)

Processes a constraint (taking over the parent of constraint). [convenience]

Parameters:

constraint - the constraint to be processed

type - 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