de.viadee.bpm.vPAV.processing.checker

Class ProcessVariablesModelChecker

java.lang.Object

de.viadee.bpm.vPAV.processing.checker.ProcessVariablesModelChecker

All Implemented Interfaces:

ModelChecker

public class ProcessVariablesModelChecker
extends Object
implements ModelChecker

Constructor Summary

Constructors

Constructor and Description
ProcessVariablesModelChecker(Rule rule, Map<AnomalyContainer,List<Path>> invalidPathsMap)

Method Summary

Modifier and Type	Method and Description
Collection<CheckerIssue>	check() Checks variables of a given process and identifies read/write/delete anomalies
boolean	isSingletonChecker()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProcessVariablesModelChecker

public ProcessVariablesModelChecker(Rule rule,
                                    Map<AnomalyContainer,List<Path>> invalidPathsMap)

Method Detail

check

public Collection<CheckerIssue> check()

Checks variables of a given process and identifies read/write/delete anomalies

Specified by:

check in interface ModelChecker

Returns:

issues

isSingletonChecker

public boolean isSingletonChecker()

Specified by:

isSingletonChecker in interface ModelChecker