public class PackageValidator extends Object
| 限定符和类型 | 字段和说明 |
|---|---|
protected Map |
basicGraphConnectionErrors |
protected Map |
basicGraphsConformanceErrors |
protected Map |
basicLogicErrors |
protected boolean |
checkExternalPackages |
protected boolean |
checkingBybpd |
protected boolean |
checkingForbpd |
protected static String |
CURRENT_XPDL_VERSION |
protected boolean |
getExistingSchemaValidationErrors |
protected Map |
graphsConformanceErrors |
protected Map |
graphsConnectionErrors |
protected Map |
logicErrors |
protected Package |
pkg |
protected Map |
xpdlSchemaValidationErrors |
| 构造器和说明 |
|---|
PackageValidator(Package pkg,
boolean checkingBybpd,
boolean checkingForbpd,
boolean getExistingSchemaValidationErrors,
boolean checkExternalPackages) |
| 限定符和类型 | 方法和说明 |
|---|---|
boolean |
checkActivity(Activity act,
boolean fullCheck) |
boolean |
checkActivityBlock(Activity act,
boolean fullCheck) |
String |
checkActivityConnection(Activity act,
Transitions ts,
Set startActs,
Set endActs,
boolean fullCheck)
Checks if given activity is well connected.
|
boolean |
checkActivityDeadlines(Activity act,
boolean fullCheck) |
boolean |
checkActivityDevices(Activity act,
boolean fullCheck) |
boolean |
checkActivityEvents(Activity act,
boolean fullCheck) |
boolean |
checkActivityPerformer(Activity act,
boolean fullCheck) |
boolean |
checkActivityServices(Activity act,
boolean fullCheck) |
boolean |
checkActivitySet(ActivitySet as,
boolean fullCheck) |
boolean |
checkActivitySubFlow(Activity act,
boolean fullCheck) |
boolean |
checkActivityTools(Activity act,
boolean fullCheck) |
protected boolean |
checkANDSplit(Activity act) |
boolean |
checkApplication(Application app,
boolean fullCheck) |
boolean |
checkCollection(String colName,
XMLComplexElement cOwner,
boolean fullCheck) |
boolean |
checkCollectionElement(XMLCollectionElement ce,
boolean fullCheck) |
boolean |
checkConformanceClass(boolean fullCheck) |
boolean |
checkDataField(DataField df,
boolean fullCheck) |
boolean |
checkDataType(XMLCollectionElement dfOrFp,
boolean fullCheck) |
boolean |
checkExternalPackages(boolean fullCheck) |
boolean |
checkFormalParameter(FormalParameter fp,
boolean fullCheck) |
boolean |
checkGraphConformance(boolean fullCheck) |
boolean |
checkGraphConformance(XMLCollectionElement wpOrAs,
boolean fullCheck)
Checks if graph conforms to the given conformance class.
|
boolean |
checkGraphConnections(boolean fullCheck) |
boolean |
checkGraphConnections(XMLCollectionElement wpOrAs,
boolean fullCheck) |
boolean |
checkMultipleOtherwiseOrDefaultExceptionTransitions(Activity act,
boolean fullCheck) |
boolean |
checkPackage(boolean fullCheck) |
boolean |
checkPackageHeader(boolean fullCheck) |
boolean |
checkParameterMappings(XMLComplexElement toolOrSbflw,
XMLComplexElement appOrWp,
boolean fullCheck) |
boolean |
checkParticipant(Participant p,
boolean fullCheck) |
boolean |
checkProcessHeader(WorkflowProcess wp,
boolean fullCheck) |
boolean |
checkRedefinableHeader(XMLComplexElement pkgOrWp,
boolean fullCheck) |
boolean |
checkScript(boolean fullCheck) |
boolean |
checkTransition(Transition transition,
boolean fullCheck) |
boolean |
checkTypeDeclaration(TypeDeclaration td,
boolean fullCheck) |
boolean |
checkWorkflowProcess(WorkflowProcess wp,
boolean fullCheck) |
protected boolean |
checkXORSplit(Activity act) |
protected boolean[][] |
createIncidenceMatrix(List activities) |
protected Activity |
findBlockActivity(ActivitySet as) |
List |
getBasicGraphConformanceErrors(XMLComplexElement pkgOrWpOrAs) |
String |
getBasicGraphConnectionError(XMLComplexElement pkgOrWpOrAs) |
String |
getBasicLogicError(XMLComplexElement pkgOrWpOrAs) |
protected Set |
getEndActivities(XMLCollectionElement wpOrAs) |
Map |
getGraphConformanceErrors(XMLComplexElement pkgOrWpOrAs) |
Map |
getGraphsConnectionErrors(XMLComplexElement pkgOrWpOrAs) |
Map |
getLogicErrors(XMLComplexElement pkgOrWpOrAs) |
protected int |
getNoOfANDSplitsOrJoins(Set acts,
int sOrJ)
Returns the number of activities in the given set that have split or
join, depending on second parameter.
|
protected Set |
getStartActivities(XMLCollectionElement wpOrAs) |
Map |
getXPDLSchemaValidationErrors() |
protected boolean |
hasAnyPostcondition(Activity act) |
static boolean |
isEmpty(String str) |
boolean |
isIdValid(String id) |
static boolean |
isUniqueId(XMLCollection xmlCol,
String id) |
static void |
main(String[] args) |
protected String |
prepeareMessageString(String msg) |
static void |
printIM(boolean[][] im,
List acts)
Used for debug only
|
static void |
printIM2(boolean[][] im,
List acts)
Used for debug only
|
boolean |
validateAgainstXPDLSchema() |
boolean |
validateAll(boolean fullCheck) |
protected Package pkg
protected boolean checkingBybpd
protected boolean checkingForbpd
protected boolean getExistingSchemaValidationErrors
protected boolean checkExternalPackages
protected Map xpdlSchemaValidationErrors
protected Map graphsConnectionErrors
protected Map basicGraphConnectionErrors
protected Map graphsConformanceErrors
protected Map basicGraphsConformanceErrors
protected Map logicErrors
protected Map basicLogicErrors
public PackageValidator(Package pkg, boolean checkingBybpd, boolean checkingForbpd, boolean getExistingSchemaValidationErrors, boolean checkExternalPackages)
public Map getXPDLSchemaValidationErrors()
public Map getGraphsConnectionErrors(XMLComplexElement pkgOrWpOrAs)
public String getBasicGraphConnectionError(XMLComplexElement pkgOrWpOrAs)
public Map getGraphConformanceErrors(XMLComplexElement pkgOrWpOrAs)
public List getBasicGraphConformanceErrors(XMLComplexElement pkgOrWpOrAs)
public Map getLogicErrors(XMLComplexElement pkgOrWpOrAs)
public String getBasicLogicError(XMLComplexElement pkgOrWpOrAs)
public boolean validateAll(boolean fullCheck)
public boolean validateAgainstXPDLSchema()
public boolean checkPackage(boolean fullCheck)
public boolean checkPackageHeader(boolean fullCheck)
public boolean checkRedefinableHeader(XMLComplexElement pkgOrWp, boolean fullCheck)
public boolean checkConformanceClass(boolean fullCheck)
public boolean checkScript(boolean fullCheck)
public boolean checkExternalPackages(boolean fullCheck)
public boolean checkCollection(String colName, XMLComplexElement cOwner, boolean fullCheck)
public boolean checkCollectionElement(XMLCollectionElement ce, boolean fullCheck)
public boolean checkTypeDeclaration(TypeDeclaration td, boolean fullCheck)
public boolean checkParticipant(Participant p, boolean fullCheck)
public boolean checkApplication(Application app, boolean fullCheck)
public boolean checkDataField(DataField df, boolean fullCheck)
public boolean checkFormalParameter(FormalParameter fp, boolean fullCheck)
public boolean checkDataType(XMLCollectionElement dfOrFp, boolean fullCheck)
public boolean checkWorkflowProcess(WorkflowProcess wp, boolean fullCheck)
public boolean checkProcessHeader(WorkflowProcess wp, boolean fullCheck)
public boolean checkActivitySet(ActivitySet as, boolean fullCheck)
public boolean checkActivity(Activity act, boolean fullCheck)
public boolean checkActivityPerformer(Activity act, boolean fullCheck)
public boolean checkActivityTools(Activity act, boolean fullCheck)
public boolean checkActivityServices(Activity act, boolean fullCheck)
public boolean checkActivityDevices(Activity act, boolean fullCheck)
public boolean checkActivityEvents(Activity act, boolean fullCheck)
public boolean checkActivitySubFlow(Activity act, boolean fullCheck)
public boolean checkActivityBlock(Activity act, boolean fullCheck)
public boolean checkActivityDeadlines(Activity act, boolean fullCheck)
public boolean checkMultipleOtherwiseOrDefaultExceptionTransitions(Activity act, boolean fullCheck)
public boolean checkParameterMappings(XMLComplexElement toolOrSbflw, XMLComplexElement appOrWp, boolean fullCheck)
public boolean checkTransition(Transition transition, boolean fullCheck)
public boolean isIdValid(String id)
public static boolean isEmpty(String str)
public static boolean isUniqueId(XMLCollection xmlCol, String id)
public static void main(String[] args)
public static void printIM(boolean[][] im,
List acts)
public static void printIM2(boolean[][] im,
List acts)
public boolean checkGraphConformance(boolean fullCheck)
public boolean checkGraphConformance(XMLCollectionElement wpOrAs, boolean fullCheck)
protected boolean[][] createIncidenceMatrix(List activities)
protected int getNoOfANDSplitsOrJoins(Set acts, int sOrJ)
acts - The set of activities that are searched for split or joinsOrJ - 0 -> searching for split, otherwise, searching for joinprotected boolean checkANDSplit(Activity act)
protected boolean checkXORSplit(Activity act)
protected boolean hasAnyPostcondition(Activity act)
public boolean checkGraphConnections(boolean fullCheck)
public boolean checkGraphConnections(XMLCollectionElement wpOrAs, boolean fullCheck)
public String checkActivityConnection(Activity act, Transitions ts, Set startActs, Set endActs, boolean fullCheck)
protected Set getStartActivities(XMLCollectionElement wpOrAs)
protected Set getEndActivities(XMLCollectionElement wpOrAs)
protected Activity findBlockActivity(ActivitySet as)
Copyright © 2023 onecode. All rights reserved.