de.uniba.dsg.bpmnspector.refcheck

Class ReferenceChecker

java.lang.Object

de.uniba.dsg.bpmnspector.refcheck.ReferenceChecker

public class ReferenceChecker
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	CONSTRAINT_REF_EXISTENCE
static java.lang.String	CONSTRAINT_REF_TYPE

Constructor Summary

Constructors

Constructor and Description
ReferenceChecker(java.util.Map<java.lang.String,BPMNElement> bpmnRefElements)

Method Summary

Modifier and Type	Method and Description
void	createAndAddExistenceViolation(ValidationResult validationResult, int line, int column, org.jdom2.Element currentElement, Reference checkingReference) Adds a found existence violation to the list.
void	validateReferenceType(java.util.Map<java.lang.String,org.jdom2.Element> elements, java.util.Map<java.lang.String,java.util.Map<java.lang.String,org.jdom2.Element>> importedElements, ValidationResult validationResult, org.jdom2.Element currentElement, int line, int column, Reference checkingReference, java.lang.String referencedId, java.lang.String ownPrefix) This method validates the current element against the checking reference.

Methods inherited from class java.lang.Object

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

Field Detail

CONSTRAINT_REF_TYPE

public static final java.lang.String CONSTRAINT_REF_TYPE

See Also:

Constant Field Values

CONSTRAINT_REF_EXISTENCE

public static final java.lang.String CONSTRAINT_REF_EXISTENCE

See Also:

Constant Field Values

Constructor Detail

ReferenceChecker

public ReferenceChecker(java.util.Map<java.lang.String,BPMNElement> bpmnRefElements)

Method Detail

validateReferenceType

public void validateReferenceType(java.util.Map<java.lang.String,org.jdom2.Element> elements,
                                  java.util.Map<java.lang.String,java.util.Map<java.lang.String,org.jdom2.Element>> importedElements,
                                  ValidationResult validationResult,
                                  org.jdom2.Element currentElement,
                                  int line,
                                  int column,
                                  Reference checkingReference,
                                  java.lang.String referencedId,
                                  java.lang.String ownPrefix)
                           throws ValidationException

This method validates the current element against the checking reference. Some already existing information will be expected as parameters.

Parameters:

elements - the elements of the root file (= bpmnFile)

importedElements - the elements which have been defined in imported files

validationResult - the validation result for adding found violations

currentElement - the current element to validate

line - the line of the reference in the root file for the violation message

column - the column of the reference

checkingReference - the reference to validate against

referencedId - the referenced ID

ownPrefix - the namespace prefix of the current element

Throws:

ValidationException - thrown if errors occur during creation of the Violation

createAndAddExistenceViolation

public void createAndAddExistenceViolation(ValidationResult validationResult,
                                           int line,
                                           int column,
                                           org.jdom2.Element currentElement,
                                           Reference checkingReference)
                                    throws ValidationException

Adds a found existence violation to the list.

Parameters:

validationResult - the validation result for adding the found violation

line - the line of the reference in the root file

column - the column of the reference in the root file

currentElement - the element causing the violation

checkingReference - the violated reference

Throws:

ValidationException - thrown if the Validation could not be created