net.ssehub.easy.reasoning.core.reasoner

Class DefaultConstraint

java.lang.Object

net.ssehub.easy.varModel.model.ModelElement

net.ssehub.easy.varModel.model.ContainableModelElement

net.ssehub.easy.varModel.model.Constraint

net.ssehub.easy.reasoning.core.reasoner.DefaultConstraint

All Implemented Interfaces:

net.ssehub.easy.varModel.model.datatypes.IDatatypeVisitable, net.ssehub.easy.varModel.model.IModelElement, net.ssehub.easy.varModel.model.IPartialEvaluable

public class DefaultConstraint
extends net.ssehub.easy.varModel.model.Constraint

Reasoner specific constraint type indicating a Constraint.Type.DEFAULT constraint. This shall avoid requiring an attribute for this purpose for all constraints and using it just for temporary reasoning ones.

Author:

Holger Eichelberger

Nested Class Summary

Nested classes/interfaces inherited from class net.ssehub.easy.varModel.model.Constraint

net.ssehub.easy.varModel.model.Constraint.IConstraintType, net.ssehub.easy.varModel.model.Constraint.Type

Field Summary

Fields

Modifier and Type	Field and Description
private ConstraintList	defaultConstraints
private ConstraintList	deferredDefaultConstraints

Constructor Summary

Constructors

Constructor and Description
DefaultConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree consSyntax, net.ssehub.easy.varModel.model.IModelElement parent) Creates a new constraint from an already parsed syntax tree.

Method Summary

Modifier and Type	Method and Description
net.ssehub.easy.varModel.model.Constraint	createConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree consSyntax)
int	getAttachedConstraintsSize() Returns the number of attached constraints.
ConstraintList	getDefaultConstraints() Returns the default constraint list explicitly.
ConstraintList	getDeferredDefaultConstraints() Returns the deferred default constraint list explicitly.
net.ssehub.easy.varModel.model.Constraint.IConstraintType	getType() Returns the conceptual type of the constraint.
void	setDefaultConstraints(ConstraintList defaultConstraints) Sets the default constraint list explicitly.
void	setDeferredDefaultConstraints(ConstraintList deferredDefaultConstraints) Sets the deferred default constraint list explicitly.

Methods inherited from class net.ssehub.easy.varModel.model.Constraint

accept, getAttachedTo, getConsSyntax, isBooleanConstraint, setConsSyntax, toString

Methods inherited from class net.ssehub.easy.varModel.model.ContainableModelElement

accept, getNameSpace, getParent, getProject, getQualifiedName, getTopLevelParent, isTopLevel, setParent

Methods inherited from class net.ssehub.easy.varModel.model.ModelElement

findAttribute, getComment, getName, getUniqueName, isTransparent, propagateAttribute, setComment, setName

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.ssehub.easy.varModel.model.IPartialEvaluable

getParent

Field Detail

defaultConstraints

private ConstraintList defaultConstraints

deferredDefaultConstraints

private ConstraintList deferredDefaultConstraints

Constructor Detail

DefaultConstraint

public DefaultConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree consSyntax,
                         net.ssehub.easy.varModel.model.IModelElement parent)
                  throws net.ssehub.easy.varModel.cst.CSTSemanticException

Creates a new constraint from an already parsed syntax tree.

Parameters:

consSyntax - the constraint syntax tree

parent - the object, in which this specific one is embedded

Throws:

net.ssehub.easy.varModel.cst.CSTSemanticException - in case that the constraint semantics cannot be resolved or that the specified constraint does not evaluate to a boolean expression

Method Detail

setDefaultConstraints

public void setDefaultConstraints(ConstraintList defaultConstraints)

Sets the default constraint list explicitly. Default constraints can be evaluated directly without further constraint/variable dependencies. The attached constraints are temporary.

Parameters:

defaultConstraints - the default constraints, may be null for none

setDeferredDefaultConstraints

public void setDeferredDefaultConstraints(ConstraintList deferredDefaultConstraints)

Sets the deferred default constraint list explicitly. Default constraints have dependencies and shall be evaluated (initially) after the default constraints. The attached constraints are temporary.

Parameters:

deferredDefaultConstraints - the deferred default constraints, may be null for none

getDefaultConstraints

public ConstraintList getDefaultConstraints()

Returns the default constraint list explicitly. Default constraints can be evaluated directly without further constraint/variable dependencies. The attached constraints are temporary.

Returns:

the default constraints, may be null for none

getDeferredDefaultConstraints

public ConstraintList getDeferredDefaultConstraints()

Returns the deferred default constraint list explicitly. Default constraints have dependencies and shall be evaluated (initially) after the default constraints. The attached constraints are temporary.

Returns:

the deferred default constraints, may be null for none

getAttachedConstraintsSize

public int getAttachedConstraintsSize()

Returns the number of attached constraints. The attached constraints are temporary.

Returns:

the number of attached constraints

getType

public net.ssehub.easy.varModel.model.Constraint.IConstraintType getType()

Returns the conceptual type of the constraint.

Overrides:

getType in class net.ssehub.easy.varModel.model.Constraint

Returns:

the conceptual type (Constraint.Type.DEFAULT)

createConstraint

public net.ssehub.easy.varModel.model.Constraint createConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree consSyntax)
                                                           throws net.ssehub.easy.varModel.cst.CSTSemanticException

Overrides:

createConstraint in class net.ssehub.easy.varModel.model.Constraint

Throws:

net.ssehub.easy.varModel.cst.CSTSemanticException