com.inubit.research.gui.plugins.choreography.enforceabilityChecker

Class EnforceabilityProblem

java.lang.Object

com.inubit.research.gui.plugins.choreography.enforceabilityChecker.EnforceabilityProblem

public class EnforceabilityProblem
extends java.lang.Object

Data-structure for carrying a problem, that was detected during Enforceability-Check. This structure is able to carry a problem type (Error or Warning), a description and ProcessObjects, that are involved in the problem.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	EnforceabilityProblem.ProblemType Describes the type of problem

Constructor Summary

Constructors

Constructor and Description
EnforceabilityProblem(ProcessObject mainObject, java.util.Collection<ProcessEdge> relatedObjects, java.lang.String description)
EnforceabilityProblem(ProcessObject mainObject, java.util.Collection<ProcessEdge> relatedObjects, java.lang.String description, EnforceabilityProblem.ProblemType problemType)
EnforceabilityProblem(java.lang.String description, ProcessNode mainObject, java.util.Collection<ProcessNode> relatedObjects)
EnforceabilityProblem(java.lang.String description, ProcessNode mainObject, java.util.Collection<ProcessNode> relatedObjects, EnforceabilityProblem.ProblemType problemType)
EnforceabilityProblem(java.lang.String description, ProcessObject mainObject)
EnforceabilityProblem(java.lang.String description, ProcessObject mainObject, java.util.Collection<ProcessObject> relatedObjects)
EnforceabilityProblem(java.lang.String description, ProcessObject mainObject, java.util.Collection<ProcessObject> relatedObjects, EnforceabilityProblem.ProblemType problemType) creates a new instance of EnforceabilityProblem with all possible parameters
EnforceabilityProblem(java.lang.String description, ProcessObject mainObject, EnforceabilityProblem.ProblemType problemType)
EnforceabilityProblem(java.lang.String description, ProcessObject mainObject, ProcessObject relatedObject)
EnforceabilityProblem(java.lang.String description, ProcessObject mainObject, ProcessObject relatedObject, EnforceabilityProblem.ProblemType problemType)

Method Summary

Modifier and Type	Method and Description
void	addRelatedObject(ProcessObject object)
java.lang.String	getDescription()
ProcessObject	getMainObject()
EnforceabilityProblem.ProblemType	getProblemType()
java.util.Collection<ProcessObject>	getRelatedObjects()
java.util.Collection<EnforceabilityProblem>	inCollection() get this Problem as a one-element Collection of Problems
boolean	isError()
boolean	isWarning()
void	setDescription(java.lang.String description)
void	setMainObject(ProcessObject mainObject)
void	setProblemType(EnforceabilityProblem.ProblemType problemType)

Methods inherited from class java.lang.Object

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

Constructor Detail

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessObject mainObject,
                             EnforceabilityProblem.ProblemType problemType)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessObject mainObject)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessObject mainObject,
                             java.util.Collection<ProcessObject> relatedObjects,
                             EnforceabilityProblem.ProblemType problemType)

creates a new instance of EnforceabilityProblem with all possible parameters

Parameters:

description - the problem-description

mainObject - the main-object related with the problem. This is the ProcessObject that is selected to be most significant for this problem.

relatedObjects - a collection of ProcessObjects related with the problem. This collection must not include the mainObject. It may be empty, but not null.

problemType - the type of problem (Error or specific Warning)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessObject mainObject,
                             java.util.Collection<ProcessObject> relatedObjects)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessNode mainObject,
                             java.util.Collection<ProcessNode> relatedObjects,
                             EnforceabilityProblem.ProblemType problemType)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessNode mainObject,
                             java.util.Collection<ProcessNode> relatedObjects)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessObject mainObject,
                             ProcessObject relatedObject,
                             EnforceabilityProblem.ProblemType problemType)

EnforceabilityProblem

public EnforceabilityProblem(java.lang.String description,
                             ProcessObject mainObject,
                             ProcessObject relatedObject)

EnforceabilityProblem

public EnforceabilityProblem(ProcessObject mainObject,
                             java.util.Collection<ProcessEdge> relatedObjects,
                             java.lang.String description,
                             EnforceabilityProblem.ProblemType problemType)

EnforceabilityProblem

public EnforceabilityProblem(ProcessObject mainObject,
                             java.util.Collection<ProcessEdge> relatedObjects,
                             java.lang.String description)

Method Detail

inCollection

public java.util.Collection<EnforceabilityProblem> inCollection()

get this Problem as a one-element Collection of Problems

Returns:

a new Collection containing just this EnforceabilityProblem

getDescription

public java.lang.String getDescription()

Returns:

the problem-description (a String to be displayed to the user)

setDescription

public void setDescription(java.lang.String description)

getMainObject

public ProcessObject getMainObject()

setMainObject

public void setMainObject(ProcessObject mainObject)

getRelatedObjects

public java.util.Collection<ProcessObject> getRelatedObjects()

addRelatedObject

public void addRelatedObject(ProcessObject object)

getProblemType

public EnforceabilityProblem.ProblemType getProblemType()

isError

public boolean isError()

isWarning

public boolean isWarning()

setProblemType

public void setProblemType(EnforceabilityProblem.ProblemType problemType)