Package org.eclipse.epsilon.evl
Interface IEvlModule
-
- All Superinterfaces:
IEolModule
,IErlModule
,IModule
,ModuleElement
- All Known Implementing Classes:
EvlModule
,EvlModuleParallel
,EvlModuleParallelAnnotation
,EvlModuleParallelAtoms
,EvlModuleParallelConstraintAtoms
,EvlModuleParallelContextAtoms
,EvlModuleParallelElements
public interface IEvlModule extends IErlModule
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description Set<UnsatisfiedConstraint>
execute()
default Constraint
getConstraint(String constraintName, String contextName, Object modelElement, ModuleElement ast)
Finds a Constraint instance in this module based on the specified filters.default ConstraintContext
getConstraintContext(String name)
Searches for aConstraintContext
by the specified type name.List<ConstraintContext>
getConstraintContexts()
List<Constraint>
getConstraints()
default IEvlContext
getContext()
List<ConstraintContext>
getDeclaredConstraintContexts()
IEvlFixer
getUnsatisfiedConstraintFixer()
void
setUnsatisfiedConstraintFixer(IEvlFixer fixer)
-
Methods inherited from interface org.eclipse.epsilon.eol.IEolModule
configure, getConfigurationProperties, getDeclaredModelDeclarations, getDeclaredOperations, getImports, getMain, getModelDeclarations, getOperations, getParentModule, getParseProblems, getPostOperationStatements, parse, setContext, setParentModule
-
Methods inherited from interface org.eclipse.epsilon.erl.IErlModule
getDeclaredPost, getDeclaredPre, getPost, getPre
-
Methods inherited from interface org.eclipse.epsilon.common.module.IModule
createAst, getSourceUri, parse, parse, parse, parse, parse
-
Methods inherited from interface org.eclipse.epsilon.common.module.ModuleElement
build, getChildren, getComments, getData, getFile, getModule, getParent, getRegion, getUri, setModule, setParent, setRegion, setUri
-
-
-
-
Method Detail
-
getConstraints
List<Constraint> getConstraints()
-
getDeclaredConstraintContexts
List<ConstraintContext> getDeclaredConstraintContexts()
-
getConstraintContexts
List<ConstraintContext> getConstraintContexts()
-
execute
Set<UnsatisfiedConstraint> execute() throws EolRuntimeException
- Specified by:
execute
in interfaceIEolModule
- Throws:
EolRuntimeException
- Since:
- 1.6 returns Set instead of List
-
setUnsatisfiedConstraintFixer
void setUnsatisfiedConstraintFixer(IEvlFixer fixer)
-
getUnsatisfiedConstraintFixer
IEvlFixer getUnsatisfiedConstraintFixer()
-
getContext
default IEvlContext getContext()
- Specified by:
getContext
in interfaceIEolModule
- Specified by:
getContext
in interfaceIErlModule
-
getConstraintContext
default ConstraintContext getConstraintContext(String name)
Searches for aConstraintContext
by the specified type name.- Parameters:
name
- The name of the model element type.- Returns:
- The first ConstraintContext matching the name, or
null
if not found. - Since:
- 1.6
-
getConstraint
default Constraint getConstraint(String constraintName, String contextName, Object modelElement, ModuleElement ast) throws EolRuntimeException
Finds a Constraint instance in this module based on the specified filters.- Parameters:
constraintName
- The constraint name to search for (mandatory).contextName
- The name of the model element type (ConstraintContext) that the constraint is declared in (optional).modelElement
- A model element which the Constraint's context should be applicable to (optional).ast
- The AST that is calling this operation (optional).- Returns:
- A Constraint matching the specified criteria, or
null
if not found. - Throws:
EolRuntimeException
- If there are problems finding the constraint from the specified parameters.EvlConstraintNotFoundException
- If the constraint could not be found.- Since:
- 1.6
-
-