net.ssehub.easy.reasoning.core.reasoner

Class TypedConstraint

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.TypedConstraint

All Implemented Interfaces:

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

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

Reasoner specific constraint type indicating a typed constraint, e.g., a default constraint or a constraint originating from a constraint variable.

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 net.ssehub.easy.varModel.model.Constraint.IConstraintType	type

Constructor Summary

Constructors

Constructor and Description
TypedConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree consSyntax, net.ssehub.easy.varModel.model.Constraint.IConstraintType type, 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)
net.ssehub.easy.varModel.model.Constraint.IConstraintType	getType()

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

type

private net.ssehub.easy.varModel.model.Constraint.IConstraintType type

Constructor Detail

TypedConstraint

public TypedConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree consSyntax,
                       net.ssehub.easy.varModel.model.Constraint.IConstraintType type,
                       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

type - the constraint type

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

getType

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

Overrides:

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

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