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

public class Constraint
extends NamedRule

Field Summary

Fields

Modifier and Type	Field and Description
protected ExecutableBlock<Boolean>	checkBlock
protected ConstraintContext	constraintContext
protected ArrayList<Fix>	fixes
protected ExecutableBlock<Boolean>	guardBlock
protected boolean	isCritique
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, module, parent, region, uri

Constructor Summary

Constructors

Constructor and Description
Constraint()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	appliesTo(Object object, IEvlContext context) Compatibility version of appliesTo(Object, IEvlContext) for old clients.
boolean	appliesTo(Object object, IEvlContext context, boolean checkType)
void	build(AST cst, IModule module)
boolean	check(Object self, IEvlContext context) Compatibility version of check(Object, IEvlContext, boolean) for old clients.
boolean	check(Object self, IEvlContext context, boolean checkType)
ConstraintContext	getConstraintContext()
List<?>	getModuleElements()
boolean	isCritique()
boolean	isInfo()
boolean	isLazy(IEvlContext context)
protected boolean	postprocessCheck(Object self, IEvlContext context, UnsatisfiedConstraint unsatisfiedConstraint, Boolean result)
protected UnsatisfiedConstraint	preprocessCheck(Object self, IEvlContext context)
void	setConstraintContext(ConstraintContext constraintContext)
void	setCritique(boolean isCritique)
String	toString()

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

getName, getNameAst, getNameExpression, setNameExpression

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

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

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

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

Methods inherited from class java.lang.Object

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

Field Detail

isCritique

protected boolean isCritique

fixes

protected ArrayList<Fix> fixes

constraintContext

protected ConstraintContext constraintContext

guardBlock

protected ExecutableBlock<Boolean> guardBlock

checkBlock

protected ExecutableBlock<Boolean> checkBlock

messageBlock

protected ExecutableBlock<String> messageBlock

Constructor Detail

Constraint

public Constraint()

Method Detail

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

appliesTo

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

Compatibility version of appliesTo(Object, IEvlContext) for old clients.

Throws:

EolRuntimeException

appliesTo

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

Throws:

EolRuntimeException

check

public boolean check(Object self,
            IEvlContext context)
              throws EolRuntimeException

Compatibility version of check(Object, IEvlContext, boolean) for old clients.

Throws:

EolRuntimeException

check

public boolean check(Object self,
            IEvlContext context,
            boolean checkType)
              throws EolRuntimeException

Throws:

EolRuntimeException

postprocessCheck

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

Throws:

EolRuntimeException

preprocessCheck

protected UnsatisfiedConstraint preprocessCheck(Object self,
                                    IEvlContext context)

getModuleElements

public List<?> getModuleElements()

Overrides:

getModuleElements in class NamedRule

getConstraintContext

public ConstraintContext getConstraintContext()

setConstraintContext

public void setConstraintContext(ConstraintContext constraintContext)

toString

public String toString()

Overrides:

toString in class NamedRule

isCritique

public boolean isCritique()

setCritique

public void setCritique(boolean isCritique)