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

Modifier and Type	Method	Description
java.util.Set<UnsatisfiedConstraint>	execute()
default Constraint	getConstraint(java.lang.String constraintName, java.lang.String contextName, java.lang.Object modelElement, ModuleElement ast)	Finds a Constraint instance in this module based on the specified filters.
default ConstraintContext	getConstraintContext(java.lang.String name)	Searches for a ConstraintContext by the specified type name.
java.util.List<ConstraintContext>	getConstraintContexts()
java.util.List<Constraint>	getConstraints()
default IEvlContext	getContext()
java.util.List<ConstraintContext>	getDeclaredConstraintContexts()
IEvlFixer	getUnsatisfiedConstraintFixer()
void	setUnsatisfiedConstraintFixer(IEvlFixer fixer)

Methods inherited from interface org.eclipse.epsilon.eol.IEolModule

configure, getCompilationContext, getConfigurationProperties, getDeclaredModelDeclarations, getDeclaredOperations, getImports, getMain, getModelDelcarations, 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

compile, createAst, getSourceUri, parse, parse, parse, parse, parse

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

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

Method Detail

getConstraints

java.util.List<Constraint> getConstraints()

getDeclaredConstraintContexts

java.util.List<ConstraintContext> getDeclaredConstraintContexts()

getConstraintContexts

java.util.List<ConstraintContext> getConstraintContexts()

execute

java.util.Set<UnsatisfiedConstraint> execute()
                                      throws EolRuntimeException

Specified by:

execute in interface IEolModule

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 interface IEolModule

Specified by:

getContext in interface IErlModule

getConstraintContext

default ConstraintContext getConstraintContext(java.lang.String name)

Searches for a ConstraintContext 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(java.lang.String constraintName,
                                 java.lang.String contextName,
                                 java.lang.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