Package org.eclipse.epsilon.evl.dom

Class Constraint

java.lang.Object

org.eclipse.epsilon.common.module.AbstractModuleElement

org.eclipse.epsilon.eol.dom.AnnotatableModuleElement

org.eclipse.epsilon.erl.dom.NamedRule

org.eclipse.epsilon.evl.dom.Constraint

All Implemented Interfaces:

ModuleElement, IExecutableModuleElementParameter

public class Constraint
extends NamedRule
implements IExecutableModuleElementParameter

Field Summary

Fields

Modifier and Type	Field	Description
protected ExecutableBlock<Boolean>	checkBlock
protected ConstraintContext	constraintContext
protected List<Fix>	fixes
protected ExecutableBlock<Boolean>	guardBlock
protected boolean	isCritique
protected boolean	isDependedOn	This will be set to true by SatisfiesOperation.
protected ExecutableBlock<String>	messageBlock

Fields inherited from class org.eclipse.epsilon.erl.dom.NamedRule

nameExpression

Fields inherited from class org.eclipse.epsilon.eol.dom.AnnotatableModuleElement

annotationBlock

Fields inherited from class org.eclipse.epsilon.common.module.AbstractModuleElement

children, comments, data, module, parent, region, uri

Constructor Summary

Constructors

Constructor	Description
Constraint()

Method Summary

Modifier and Type	Method	Description
void	accept(IEvlVisitor visitor)
boolean	appliesTo(Object object, IEvlContext context)
void	build(AST cst, IModule module)
Optional<UnsatisfiedConstraint>	check(Object self, IEvlContext context)
boolean	equals(Object other)
Optional<UnsatisfiedConstraint>	execute(IEolContext context_, Object self)
protected boolean	executeCheckBlock(Object self, IEvlContext context)
ExecutableBlock<Boolean>	getCheckBlock()
ConstraintContext	getConstraintContext()
List<Fix>	getFixes()
ExecutableBlock<Boolean>	getGuardBlock()
ExecutableBlock<String>	getMessageBlock()
String	getUnsatisfiedMessage(Object self, IEvlContext context)	Returns the message to be used in UnsatisfiedConstraint.getMessage().
boolean	guardBlockUsesSatisfies()	Checks whether this constraint's guard block has dependencies on other constraint(s).
int	hashCode()
boolean	isCritique()
boolean	isDependedOn()
boolean	isInfo()
boolean	isLazy(IEvlContext context)
boolean	optimisedCheck(Object self, IEvlContext context, boolean result)
protected boolean	postprocessCheck(Object self, IEvlContext context, UnsatisfiedConstraint unsatisfiedConstraint, boolean result)
protected UnsatisfiedConstraint	preprocessCheck(Object self, IEvlContext context)
void	setAsDependency()	Used to flag this constraint as the target of a dependency.
void	setCheckBlock(ExecutableBlock<Boolean> checkBlock)
void	setConstraintContext(ConstraintContext constraintContext)
void	setCritique(boolean isCritique)
void	setGuardBlock(ExecutableBlock<Boolean> guardBlock)
void	setMessageBlock(ExecutableBlock<String> messageBlock)
boolean	shouldBeChecked(Object modelElement, IEvlContext context)

Methods inherited from class org.eclipse.epsilon.erl.dom.NamedRule

getName, getNameAst, getNameExpression, toString

Methods inherited from class org.eclipse.epsilon.eol.dom.AnnotatableModuleElement

accept, getAnnotation, getAnnotationBlock, getAnnotations, getAnnotationsValues, getBooleanAnnotationValue, getBooleanAnnotationValue, getBooleanAnnotationValue, getBooleanAnnotationValue, hasAnnotation, setAnnotationBlock

Methods inherited from class org.eclipse.epsilon.common.module.AbstractModuleElement

getChildren, getComments, getData, getDebugInfo, getFile, getModule, getParent, getRegion, getUri, setModule, setParent, setRegion, setUri

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.epsilon.common.module.ModuleElement

getChildren, getComments, getData, getFile, getModule, getParent, getRegion, getUri, setModule, setParent, setRegion, setUri

Field Details

isCritique

protected boolean isCritique

fixes

protected List<Fix> fixes

constraintContext

protected ConstraintContext constraintContext

guardBlock

protected ExecutableBlock<Boolean> guardBlock

checkBlock

protected ExecutableBlock<Boolean> checkBlock

messageBlock

protected ExecutableBlock<String> messageBlock

isDependedOn

protected boolean isDependedOn

This will be set to true by SatisfiesOperation.

Since:

1.6

Constructor Details

Constraint

public Constraint()

Method Details

build

public void build(AST cst,
 IModule module)

Specified by:

build in interface ModuleElement

Overrides:

build in class NamedRule

isInfo

public boolean isInfo()

isLazy

public boolean isLazy(IEvlContext context)
               throws EolRuntimeException

Throws:

EolRuntimeException

shouldBeChecked

public boolean shouldBeChecked(Object modelElement,
 IEvlContext context)
                        throws EolRuntimeException

Throws:

EolRuntimeException

execute

public Optional<UnsatisfiedConstraint> execute(IEolContext context_,
 Object self)
                                        throws EolRuntimeException

Specified by:

execute in interface IExecutableModuleElementParameter

Throws:

EolRuntimeException

appliesTo

public boolean appliesTo(Object object,
 IEvlContext context)
                  throws EolRuntimeException

Throws:

EolRuntimeException

optimisedCheck

public boolean optimisedCheck(Object self,
 IEvlContext context,
 boolean result)
                       throws EolRuntimeException

Parameters:

self -

context -

result -

Returns:

Throws:

EolRuntimeException

Since:

1.6

check

public Optional<UnsatisfiedConstraint> check(Object self,
 IEvlContext context)
                                      throws EolRuntimeException

Parameters:

self -

context -

Returns:

Throws:

EolRuntimeException

Since:

1.6

preprocessCheck

protected UnsatisfiedConstraint preprocessCheck(Object self,
 IEvlContext context)

executeCheckBlock

protected boolean executeCheckBlock(Object self,
 IEvlContext context)
                             throws EolRuntimeException

Parameters:

self -

context -

Returns:

Throws:

EolRuntimeException

Since:

1.6

postprocessCheck

protected boolean postprocessCheck(Object self,
 IEvlContext context,
 UnsatisfiedConstraint unsatisfiedConstraint,
 boolean result)
                            throws EolRuntimeException

Throws:

EolRuntimeException

getUnsatisfiedMessage

public String getUnsatisfiedMessage(Object self,
 IEvlContext context)
                             throws EolRuntimeException

Returns the message to be used in UnsatisfiedConstraint.getMessage().

Parameters:

self - The model element.

context - The execution context.

Returns:

The message if this Constraint's check block returns false.

Throws:

EolRuntimeException

Since:

1.6

guardBlockUsesSatisfies

public boolean guardBlockUsesSatisfies()

Checks whether this constraint's guard block has dependencies on other constraint(s).

Returns:

true if the guard block exists and has a satisfies call.

Since:

1.6

getConstraintContext

public ConstraintContext getConstraintContext()

setConstraintContext

public void setConstraintContext(ConstraintContext constraintContext)

isCritique

public boolean isCritique()

setCritique

public void setCritique(boolean isCritique)

isDependedOn

public boolean isDependedOn()

Returns:

Whether this constraint is the target of a dependency.

Since:

1.6

setAsDependency

public void setAsDependency()

Used to flag this constraint as the target of a dependency.

Since:

1.6

hashCode

public int hashCode()

Overrides:

hashCode in class NamedRule

Since:

1.6

equals

public boolean equals(Object other)

Overrides:

equals in class NamedRule

Since:

1.6

getGuardBlock

public ExecutableBlock<Boolean> getGuardBlock()

setGuardBlock

public void setGuardBlock(ExecutableBlock<Boolean> guardBlock)

getCheckBlock

public ExecutableBlock<Boolean> getCheckBlock()

setCheckBlock

public void setCheckBlock(ExecutableBlock<Boolean> checkBlock)

getMessageBlock

public ExecutableBlock<String> getMessageBlock()

setMessageBlock

public void setMessageBlock(ExecutableBlock<String> messageBlock)

getFixes

public List<Fix> getFixes()

accept

public void accept(IEvlVisitor visitor)