org.enhydra.shark
Class SharkPackageValidator

java.lang.Object
  extended byorg.enhydra.shark.xpdl.StandardPackageValidator
      extended byorg.enhydra.shark.SharkPackageValidator
All Implemented Interfaces:
org.enhydra.shark.xpdl.XMLValidator

public class SharkPackageValidator
extends org.enhydra.shark.xpdl.StandardPackageValidator

Special shark validation - to determine if the package is 'shark' valid. It extends the JaWE's package validator to add some additional restrictions.

Author:
Sasa Bojanic

Field Summary
 
Fields inherited from class org.enhydra.shark.xpdl.StandardPackageValidator
ALLOW_UNDEFINED_END, ALLOW_UNDEFINED_START, CHECK_EXTERNAL_PACKAGES, CURRENT_XPDL_VERSION, ENCODING, epsValidationErrors, GET_EXISTING_SCHEMA_VALIDATION_ERRORS, properties, schemaValidationErrors, settings, VALIDATE_ACTUAL_PARAMETER_EXPRESSIONS, VALIDATE_CONDITION_BY_TYPE, VALIDATE_CONDITION_EXPRESSIONS, VALIDATE_DEADLINE_EXPRESSIONS, VALIDATE_PERFORMER_EXPRESSIONS, VALIDATE_SUBFLOW_REFERENCES, xmlInterface
 
Constructor Summary
SharkPackageValidator()
           
 
Method Summary
 boolean isIdValid(java.lang.String id)
           
protected  boolean isRemoteSubflowIdOK(java.lang.String subflowID)
           
 void validateElement(org.enhydra.shark.xpdl.elements.ArrayType el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.EnumerationType el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.ListType el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.Manual el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.Package el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.Performer el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.RecordType el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.elements.UnionType el, java.util.List existingErrors, boolean fullCheck)
           
 void validateElement(org.enhydra.shark.xpdl.XMLAttribute el, java.util.List existingErrors, boolean fullCheck)
           
 void validateScript(org.enhydra.shark.xpdl.elements.Script el, java.util.List existingErrors, boolean fullCheck)
          Introduces restrictions on script type.
 
Methods inherited from class org.enhydra.shark.xpdl.StandardPackageValidator
checkActivityConnection, checkActivityId, checkANDSplit, checkBlockId, checkDeclaredTypeId, checkExternalPackages, checkGraphConformanceForWpOrAs, checkGraphConnectionsForWpOrAs, checkMultipleOtherwiseOrDefaultExceptionTransitions, checkParameterMatching, checkSubFlowId, checkToolId, checkTransitionFrom, checkTransitionId, checkTransitionRefId, checkTransitionTo, checkXORSplit, clearCache, clearCache, containsTransitionWithId, createIncidenceMatrix, createValidatorInstance, getExtPkgValidationErrors, getNoOfANDSplitsOrJoins, hasAnyPostcondition, hasErrors, init, init, init, isEmpty, isIdUnique, main, prepareMessageString, printIM, printIM2, reCheckExternalPackage, validateAgainstXPDLSchema, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateElement, validateStandard
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SharkPackageValidator

public SharkPackageValidator()
Method Detail

validateElement

public void validateElement(org.enhydra.shark.xpdl.XMLAttribute el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.ArrayType el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.EnumerationType el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.ListType el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.Manual el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.Package el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.Performer el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.RecordType el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateElement

public void validateElement(org.enhydra.shark.xpdl.elements.UnionType el,
                            java.util.List existingErrors,
                            boolean fullCheck)

validateScript

public void validateScript(org.enhydra.shark.xpdl.elements.Script el,
                           java.util.List existingErrors,
                           boolean fullCheck)
Introduces restrictions on script type.


isRemoteSubflowIdOK

protected boolean isRemoteSubflowIdOK(java.lang.String subflowID)

isIdValid

public boolean isIdValid(java.lang.String id)