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 java.util.Set<java.lang.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

compilationContext, 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(java.util.Map<java.lang.String,?> properties)	WARNING: This method should only be called by the DT plugin for initialisation purposes, as the context will be reset!
java.util.Set<java.lang.String>	getConfigurationProperties()	Get the set of property names that should be retrieved from the ILaunchConfiguration in order to configure this module.
IEvlContextParallel	getContext()
java.util.HashMap<java.lang.String,java.lang.Class<?>>	getImportConfiguration()

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

adapt, build, 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, compile, getCompilationContext, getDeclaredModelDeclarations, getDeclaredOperations, getImports, getImportsByExtension, getMain, getModelDelcarations, getOperations, getParentModule, getPostOperationStatements, setContext, 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

getCompilationContext, 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.evl.IEvlModule

getConstraint, getConstraintContext

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

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

Field Detail

CONFIG_PROPERTIES

protected static final java.util.Set<java.lang.String> CONFIG_PROPERTIES

Constructor Detail

EvlModuleParallel

public EvlModuleParallel()

EvlModuleParallel

public EvlModuleParallel(IEvlContextParallel context)

Method Detail

getImportConfiguration

public java.util.HashMap<java.lang.String,java.lang.Class<?>> 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(java.util.Map<java.lang.String,?> properties)
               throws java.lang.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:

java.lang.IllegalArgumentException

getConfigurationProperties

public java.util.Set<java.lang.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: