Package org.eclipse.epsilon.evl.concurrent

Class EvlModuleParallel

java.lang.Object

org.eclipse.epsilon.common.module.AbstractModuleElement

org.eclipse.epsilon.eol.AbstractModule

org.eclipse.epsilon.eol.EolModule

org.eclipse.epsilon.erl.ErlModule

org.eclipse.epsilon.evl.EvlModule

org.eclipse.epsilon.evl.concurrent.EvlModuleParallel

All Implemented Interfaces:

IModule, ModuleElement, IEolModule, IErlModule, IEvlModule

Direct Known Subclasses:

EvlModuleParallelAnnotation, EvlModuleParallelAtoms, EvlModuleParallelElements

public abstract class EvlModuleParallel
extends EvlModule

Since:

1.6

Author:

Sina Madani

Field Summary

Fields

Modifier and Type	Field	Description
protected static final Set<String>	CONFIG_PROPERTIES

Fields inherited from class org.eclipse.epsilon.evl.EvlModule

constraintContexts, constraints, declaredConstraintContexts, fixer, OPTIMIZE_CONSTRAINTS

Fields inherited from class org.eclipse.epsilon.erl.ErlModule

declaredPost, declaredPre, post, pre

Fields inherited from class org.eclipse.epsilon.eol.EolModule

context, declaredModelDeclarations, declaredOperations, imports, main, modelDeclarations, operations, postOperationStatements

Fields inherited from class org.eclipse.epsilon.eol.AbstractModule

parseProblems, parser, sourceFile, sourceUri

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

children, comments, data, module, region, uri

Constructor Summary

Constructors

Constructor	Description
EvlModuleParallel()
EvlModuleParallel(IEvlContextParallel context)

Method Summary

Modifier and Type	Method	Description
protected abstract void	checkConstraints()	Invokes the execute() method on all Constraints in all ConstraintContexts.
void	configure(Map<String,?> properties)	WARNING: This method should only be called by the DT plugin for initialisation purposes, as the context will be reset!
Set<String>	getConfigurationProperties()	Get the set of property names that should be retrieved from the ILaunchConfiguration in order to configure this module.
IEvlContextParallel	getContext()
HashMap<String,Class<? extends IModule>>	getImportConfiguration()

Methods inherited from class org.eclipse.epsilon.evl.EvlModule

adapt, build, createDebugger, createLexer, createParser, execute, getConstraintContexts, getConstraints, getDeclaredConstraintContexts, getMainRule, getOptimisedConstraintsFor, getUnsatisfiedConstraintFixer, isOptimizeConstraints, postExecution, prepareContext, preProcessConstraintContext, processRules, setOptimizeConstraints, setUnsatisfiedConstraintFixer

Methods inherited from class org.eclipse.epsilon.erl.ErlModule

calculateSuperRules, execute, execute, executeImpl, getDeclaredPost, getDeclaredPre, getPost, getPre, prepareExecution

Methods inherited from class org.eclipse.epsilon.eol.EolModule

checkImports, clearCache, getDeclaredModelDeclarations, getDeclaredOperations, getImportManager, getImports, getImportsByExtension, getMain, getModelDeclarations, getOperations, getParentModule, getPostOperationStatements, setContext, setImportManager, setMain, setParentModule, toString

Methods inherited from class org.eclipse.epsilon.eol.AbstractModule

assignAnnotations, assignComment, assignComments, createAst, extractComments, getParseProblems, getSourceFile, getSourceUri, invokeMainRule, parse, parse

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

equals, getChildren, getComments, getData, getDebugInfo, getFile, getModule, getParent, getRegion, getUri, hashCode, 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.eol.IEolModule

getDeclaredModelDeclarations, getDeclaredOperations, getImportManager, getImports, getMain, getModelDeclarations, getOperations, getParentModule, getParseProblems, getPostOperationStatements, parse, setContext, setImportManager, setParentModule

Methods inherited from interface org.eclipse.epsilon.erl.IErlModule

getDeclaredPost, getDeclaredPre, getPost, getPre

Methods inherited from interface org.eclipse.epsilon.evl.IEvlModule

getConstraint, getConstraintContext

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

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

Field Details

CONFIG_PROPERTIES

protected static final Set<String> CONFIG_PROPERTIES

Constructor Details

EvlModuleParallel

public EvlModuleParallel()

EvlModuleParallel

public EvlModuleParallel(IEvlContextParallel context)

Method Details

getImportConfiguration

public HashMap<String,Class<? extends IModule>> getImportConfiguration()

Overrides:

getImportConfiguration in class EvlModule

checkConstraints

protected abstract void checkConstraints()
                                  throws EolRuntimeException

Description copied from class: EvlModule

Invokes the execute() method on all Constraints in all ConstraintContexts. If optimizeConstraints, the constraints to be checked are filtered.

Overrides:

checkConstraints in class EvlModule

Throws:

EolRuntimeException

getContext

public IEvlContextParallel getContext()

Specified by:

getContext in interface IEolModule

Specified by:

getContext in interface IErlModule

Specified by:

getContext in interface IEvlModule

Overrides:

getContext in class EvlModule

configure

public void configure(Map<String,?> properties)
               throws IllegalArgumentException

WARNING: This method should only be called by the DT plugin for initialisation purposes, as the context will be reset!

Specified by:

configure in interface IEolModule

Overrides:

configure in class EvlModule

Parameters:

properties - a map of property:value

Throws:

IllegalArgumentException

getConfigurationProperties

public Set<String> getConfigurationProperties()

Description copied from interface: IEolModule

Get the set of property names that should be retrieved from the ILaunchConfiguration in order to configure this module.

Specified by:

getConfigurationProperties in interface IEolModule

Overrides:

getConfigurationProperties in class EvlModule

Returns: