Package de.uka.ipd.sdq.workflow.mdsd.oaw

Class PerformOAWCheckValidation

java.lang.Object

de.uka.ipd.sdq.workflow.mdsd.validation.ModelValidationJob

de.uka.ipd.sdq.workflow.mdsd.oaw.PerformOAWCheckValidation

All Implemented Interfaces:

IBlackboardInteractingJob<MDSDBlackboard>, IJob

public class PerformOAWCheckValidation
extends ModelValidationJob

Execute a model validation check using a given oAW check file. The oAW check language allows powerfull specification of model validation rules similar to OCL constraints.

Constructor Summary

Constructors

Constructor	Description
PerformOAWCheckValidation(String partitionName, String checkFilename, EPackage[] packages)	Create a new oAW check job.

Method Summary

Modifier and Type	Method	Description
void	execute(IProgressMonitor monitor)	Execute the job.
String	getName()	Supply a name of this job.
void	setBlackboard(MDSDBlackboard blackboard)	Sets the blackboard of this job to the given blackboard.

Methods inherited from class de.uka.ipd.sdq.workflow.mdsd.validation.ModelValidationJob

cleanup, getErrorLevel, getResult, setJobResult

Methods inherited from class java.lang.Object

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

Constructor Detail

PerformOAWCheckValidation

public PerformOAWCheckValidation(String partitionName,
                                 String checkFilename,
                                 EPackage[] packages)

Create a new oAW check job.

Parameters:

partitionName - The blackboard model partition containing the model to validate

checkFilename - The URL of the check file containing the rules for well-formed models

packages - The EPackages used in the model to be checked

Method Detail

execute

public void execute(IProgressMonitor monitor)
             throws JobFailedException,
                    UserCanceledException

Description copied from interface: IJob

Execute the job. In case of an error throw an exception with a meaningful name which can be understood by a user.

Parameters:

monitor - the monitor

Throws:

JobFailedException - the job failed

UserCanceledException - the user has chosen to abort the job

getName

public String getName()

Description copied from interface: IJob

Supply a name of this job. This could be used for a progress monitor.

Returns:

the name of the job

setBlackboard

public void setBlackboard(MDSDBlackboard blackboard)

Description copied from interface: IBlackboardInteractingJob

Sets the blackboard of this job to the given blackboard.

Parameters:

blackboard - The blackboard to be used by this job