Package 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	Description
static class	AbstractConstraintProcessor.ExpressionType	Expression types.

Constructor Summary

Constructors

Constructor	Description
AbstractConstraintProcessor()

Method Summary

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

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 ConstraintSyntaxTree process(ConstraintSyntaxTree cst,
                                             AbstractConstraintProcessor.ExpressionType type,
                                             java.lang.String slot,
                                             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 ConstraintSyntaxTree process(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