de.uniba.dsg.bpmnspector.schematron

Class Ext002Checker

java.lang.Object

de.uniba.dsg.bpmnspector.schematron.Ext002Checker

public class Ext002Checker
extends java.lang.Object

This class is resposible for the check of the EXT.002 constraint

Constructor Summary

Constructors

Constructor and Description
Ext002Checker()

Method Summary

Modifier and Type	Method and Description
void	checkConstraint002(BPMNProcess process, ValidationResult validationResult) checks, if there are violations of the EXT.002 constraint

Methods inherited from class java.lang.Object

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

Constructor Detail

Ext002Checker

public Ext002Checker()

Method Detail

checkConstraint002

public void checkConstraint002(BPMNProcess process,
                               ValidationResult validationResult)

checks, if there are violations of the EXT.002 constraint

Parameters:

process - the process to be checked

validationResult - the current validation result of validating process for adding found violations