5 rules in class org.eclipse.bpel.validator.rules.AssignValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckValidate | 10 | pass1 | Check validate attribute in assign activity. |
03/15/2007 | N/A |
5 rules in class org.eclipse.bpel.validator.rules.BranchesValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckSuccessfulBranchesOnly | 0 | pass1 | Check successfulBranchesOnly attribute. |
03/15/2007 | N/A |
2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
5 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
5 rules in class org.eclipse.bpel.validator.rules.CatchValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckExitStandardFaults | 1 | pass1 | When exitOnStandardFault=yes, standard fault handlers cannot be present. |
01/10/2007 | 00003 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckFaultVariable | 4 | pass1 | Fault variable must have message type or element set |
01/25/2007 | 00081 |
5 | CheckDuplicateCatch | 10 | pass1 | Check to see if a duplicate catch has been specified |
01/20/2007 | 00093 |
2 rules in class org.eclipse.bpel.validator.rules.CatchAllValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 rules in class org.eclipse.bpel.validator.rules.CompensateValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckPlacement | 10 | pass1 | Check compensate placement |
10/5/2006 | 00008 |
8 rules in class org.eclipse.bpel.validator.rules.CompensateScopeValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckPlacement | 10 | pass1 | Check compensateScope placement. |
10/5/2006 | 00007 |
6 | CheckTargetScopeNCName | 15 | pass1 | Check target scope NCName |
02/27/2007 | 01004 |
7 | CheckTargetScope | 25 | pass2 | Make sure that the target scope exists |
02/27/2007 | 00077 |
8 | CheckTargetScopeHandlers | 27 | pass2 | Target of compenateScope must have a fault or compensation handler |
02/27/2007 | 00078 |
2 rules in class org.eclipse.bpel.validator.rules.CompensationHandlerValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
2 rules in class org.eclipse.bpel.validator.rules.CompletionConditionValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 rules in class org.eclipse.bpel.validator.rules.ConditionValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
5 rules in class org.eclipse.bpel.validator.rules.CopyValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | VerifyKeepSrcElement | 5 | pass1 | Check to see if keep source element is one of the allowed values |
02/12/2007 | 01001 |
4 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types |
02/16/2007 | 00043 |
5 | CheckKeepSrcElement | 50 | pass2 | Check if both from and to specs are EII; only then can keepSrcElement be set |
02/16/2007 | 00042 |
8 rules in class org.eclipse.bpel.validator.rules.CorrelationValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the NCName of the correlation |
01/20/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckInitiate | 2 | pass1 | Check the initiate attribute values |
01/20/2007 | 01010 |
5 | CheckPatternValues | 5 | pass1 | Check the pattern attribute values of correlation |
02/20/2007 | 00046 |
6 | CheckDuplicateCorrelation | 10 | pass1 | Check to see if the correlation is already specified |
01/20/2007 | N/A |
7 | ExistCorrelationSet | 12 | pass1 | Check to see if the correlation set exists |
01/20/2007 | N/A |
8 | ExistCorrelationSet | 13 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
6 rules in class org.eclipse.bpel.validator.rules.CorrelationSetValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the NCName of the correlationSet |
01/20/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckDuplicateCorrelationSet | 2 | pass1 | Check to see if the correlationSet is already specified |
01/20/2007 | 00044 |
5 | CheckPropertiesAttribute | 10 | pass1 | Check if property attribute is set |
01/20/2007 | N/A |
6 | CheckProperties | 15 | pass1 | Properties used in a |
03/01/2007 | 00045 |
2 rules in class org.eclipse.bpel.validator.rules.CorrelationSetsValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
2 rules in class org.eclipse.bpel.validator.rules.CorrelationsValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
0 rules in class org.eclipse.bpel.validator.wsdl.Definitions
# | Rule | Seq | Tag | Description | Date | SA |
---|
2 rules in class org.eclipse.bpel.validator.rules.ElseValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
2 rules in class org.eclipse.bpel.validator.rules.ElseifValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 rules in class org.eclipse.bpel.validator.rules.EmptyValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SA49 | 0 | pass1 | The static analysis check number 49. Refer to spec for description |
02/28/2007 | 00049 |
2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
4 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 rules in class org.eclipse.bpel.validator.rules.EventHandlersValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckHandlerCount | 1 | pass1 | At least one onAlarm or onEvent must be present in event handlers. |
01/10/2007 | 00083 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 rules in class org.eclipse.bpel.validator.rules.ExitValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 rules in class org.eclipse.bpel.validator.rules.ExtensionValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckMustUnderstand | 1 | pass1 | Check mustUnderstand attribute. |
03/15/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckNamespaceURI | 2 | pass1 | Check namespaceURI attribute. |
03/15/2007 | N/A |
5 | CheckMustUnderstand | 20 | pass1 | Mandatory extensions must be understood |
03/15/2007 | 00009 |
4 rules in class org.eclipse.bpel.validator.rules.ExtensionActivityValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
2 rules in class org.eclipse.bpel.validator.rules.UnknownElementValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
2 rules in class org.eclipse.bpel.validator.rules.ExtensionsValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 rules in class org.eclipse.bpel.validator.rules.FaultHandlersValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckHandlerCount | 1 | pass1 | At least one catch or catchAll must be present in fault handlers. |
01/10/2007 | 00080 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 rules in class org.eclipse.bpel.validator.rules.FinalCounterValueValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
4 rules in class org.eclipse.bpel.validator.rules.FlowValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 rules in class org.eclipse.bpel.validator.rules.ForValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
6 rules in class org.eclipse.bpel.validator.rules.ForEachValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParallel | 1 | pass1 | Check parallel attribute in forEach activity. |
03/15/2007 | N/A |
3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
4 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
6 | CheckCounterName | 2 | pass1 | Check the NCName of the forEach activity counter. |
01/20/2007 | N/A |
9 rules in class org.eclipse.bpel.validator.rules.FromValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckFromVariant | 10 | pass1 | Checks the allowed formats of the |
01/15/2007 | 00032 |
4 | CheckVariableVariant | 18 | pass1 | Variables used in |
01/15/2007 | 00034 |
5 | CheckPartnerLinkVariantMyRole | 21 | pass1 | A partner link referenced in a |
01/10/2007 | 00035 |
6 | CheckPartnerLinkVariantPartnerRole | 22 | pass1 | A partner link referenced in a |
01/10/2007 | 00036 |
7 | CheckLiteralVariant | 30 | pass1 | The literal |
01/10/2007 | 00038 |
8 | CheckExpressionVariant | 50 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 01000 |
9 | CheckQueryVariant | 55 | pass1 | Query variant checking. |
07/07/2007 | 01000 |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
7 rules in class org.eclipse.bpel.validator.rules.FromPartValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckVariable | 1 | pass1 | Check toVariable on the toPart. |
03/15/2007 | N/A |
3 | CheckDuplicatePartToVariable | 1 | pass1 | Check to see if part='' toVariable='' is a duplicate entry. |
01/20/2007 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckVariableDefined | 4 | pass1 | Checks to see if the toVariable is defined. |
01/20/2007 | N/A |
6 | CheckMessagePart | 5 | pass1 | Check to see if the toVariable matches the type of the partName |
01/20/2007 | 00053 |
7 | ImplicitOnEventVariable | 10 | pass1 | Variables defined in fromPart are implicitly declared in the associated scope |
03/15/2007 | 00086 |
2 rules in class org.eclipse.bpel.validator.rules.FromPartsValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 rules in class org.eclipse.bpel.validator.rules.IfValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 01000 |
8 rules in class org.eclipse.bpel.validator.rules.ImportValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckIfImportTypesSet | 1 | pass1 | Check if importType is set on import |
03/15/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckLocation | 3 | pass1 | Check if location is set on import |
03/15/2007 | N/A |
5 | CheckImportType | 4 | pass1 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. |
10/3/2006 | 00013 |
6 | CheckNamespaceOfImport | 8 | pass1 | Imported namespace, if set, must match |
01/15/2007 | 00011 |
7 | CheckImportLocation | 14 | pass1 | Imported node location problem |
03/29/2007 | 01234 |
8 | CheckNamespaceOfImport | 15 | pass1 | When import has no namespace, the targetNamespace must be empty. |
01/15/2007 | 00012 |
19 rules in class org.eclipse.bpel.validator.rules.InvokeValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
2 | LookupPortType | 0 | pass1 | - | 0 | |
3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
6 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
9 | CheckInputVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
10 | CheckOutputVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. |
01/20/2007 | 02004 |
11 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
12 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
13 | CheckIfPartnerRoleIsDefined | 5 | pass1 | Checks if partner role is defined in invoke activity. |
9/25/2006 | N/A |
14 | checkToPartsPresence | 10 | pass1 | Check to see if toPart is specified; if so then inputVariable must not be used on the reply. |
01/20/2007 | 00051 |
15 | CheckRolePortTypeWithInvokePortType | 10 | pass1 | Checks portType and derived portType values on invoke activity. |
9/25/2006 | 00005 |
16 | checkFromPartsPresence | 11 | pass1 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. |
01/20/2007 | 00052 |
17 | CheckInputOutputMessages | 12 | pass1 | Checks if input and output messages are defined for invoke activity. |
9/25/2006 | N/A |
18 | CheckTwoWayInvocation | 25 | pass1 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) |
02/22/2007 | 00047 |
19 | CheckVariableAndMessageStructureCompatibility | 40 | pass1 | Check message type compatability on invoke |
02/22/2007 | 00048 |
4 rules in class org.eclipse.bpel.validator.rules.JoinConditionValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
6 rules in class org.eclipse.bpel.validator.rules.LinkValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the NCName of the link |
02/15/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckLinkConnections | 10 | pass2 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 00066 |
5 | CheckDistinctLinks | 12 | pass2 | Two different links MUST NOT share the same source *and* target activities; that is, at most one link may be used to connect two activities. |
02/17/2007 | 00067 |
6 | ControlCycle | 14 | pass2 | A declared in a |
02/17/2007 | 00072 |
3 rules in class org.eclipse.bpel.validator.rules.LinksValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckDuplicateLinkName | 40 | pass1 | Check for unique link name |
12/7/2006 | 00064 |
2 rules in class org.eclipse.bpel.validator.rules.LiteralValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 rules in class org.eclipse.bpel.validator.rules.MessageExchangeValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the NCName of the messageExchange |
02/15/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 rules in class org.eclipse.bpel.validator.rules.MessageExchangesValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckDuplicateName | 40 | pass1 | Check for unique message exchange name |
12/7/2006 | 01001 |
3 rules in class org.eclipse.bpel.validator.rules.OnAlarmValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | BasicSanityCheck | 5 | pass1 | Basic sanity check of wait activity |
03/15/2007 | N/A |
16 rules in class org.eclipse.bpel.validator.rules.OnEventValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | LookupPartnerLink | 0 | pass1 | Partner Link resolution: associated scope first, then ancestor scopes |
03/15/2007 | 00084 |
2 | LookupPortType | 0 | pass1 | - | 0 | |
3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
5 | CheckName | 1 | pass1 | - | 0 | |
6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0 | |
7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
9 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
10 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
11 | LookupVariable | 5 | pass1 | Either messageType or element must be specified if variable variant is used |
3/15/2007 | 00090 |
12 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if my role is defined in onMessage activity. |
9/25/2006 | 00084 |
13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on onEvent. |
03/13/2007 | 00005 |
14 | CheckInputMessage | 12 | pass1 | Checks if input message is defined for onEvent activity. |
9/25/2006 | N/A |
15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on onEvent |
03/15/2007 | 00087 |
16 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used onEvent. |
03/20/2007 | 00085 |
19 rules in class org.eclipse.bpel.validator.rules.OnMessageValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
2 | LookupPortType | 0 | pass1 | - | 0 | |
3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
5 | CheckName | 1 | pass1 | - | 0 | |
6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0 | |
7 | LookupVariable | 1 | pass1 | Check variable on receive activity |
01/10/2007 | N/A |
8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
9 | CheckCreateInstanceSetting | 2 | pass1 | Check createInstance attribute on receive activity. |
01/10/2007 | N/A |
10 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' |
01/10/2007 | 00056 |
12 | CheckVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
13 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
14 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
15 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if partner role is defined in receive activity. |
9/25/2006 | N/A |
16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. |
9/25/2006 | 00005 |
17 | CheckInputMessage | 12 | pass1 | Checks if input messages is defined for receive activity. |
9/25/2006 | N/A |
18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive |
02/22/2007 | 00058 |
19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. |
01/20/2007 | 00063 |
11 rules in class org.eclipse.bpel.validator.rules.PartnerLinkValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | checkSolicitResponseAndNotification | 0 | direct | Check solicit-response or notification port types |
02/16/2007 | 00001 |
2 | checkOverloadedOperationNames | 0 | direct | Check for overloaded operation names in port types |
02/16/2007 | 00002 |
3 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
4 | CheckName | 1 | pass1 | Check the NCName of the partner link. |
02/15/2007 | N/A |
5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
6 | CheckPartnerLinkType | 2 | pass1 | Checks partner link type |
01/15/2007 | 00032 |
7 | CheckForUndefinedPartnerLinkRoles | 4 | pass1 | myRole or partnerRole (or both) must be set |
09/19/2006 | 00016 |
8 | CheckInitializePartnerRole | 8 | pass1 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). |
09/19/2006 | 00017 |
9 | CheckPartnerLinkRoles | 10 | pass1 | Check if partner link role exists |
03/15/2007 | N/A |
10 | CheckRolesOnPartnerLinkType | 17 | pass1 | - | 0 | |
11 | CheckPortTypes | 18 | pass1 | Check if port type is set on the partnerLink |
09/19/2006 | 00017 |
3 rules in class org.eclipse.bpel.validator.rules.PartnerLinksValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckDuplicateName | 40 | pass1 | Checks for duplicate partner link name |
12/7/2006 | 00018 |
8 rules in class org.eclipse.bpel.validator.rules.PickValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckCreateInstanceSet | 1 | pass1 | Checks to see if the createInstance attribute is set. |
01/10/2007 | N/A |
3 | CheckOnMessagesOnAlarms | 1 | pass1 | Check if at least 1 onAlarm/onMessage is present in a |
01/15/2007 | N/A |
4 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
5 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
6 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
7 | CheckNoAlaram | 2 | pass1 | When createInstance is set to yes, onAlarm must not be there. |
01/10/2007 | 00062 |
8 | CheckIfStartActivity | 3 | pass1 | Check if this pick activity is positioned correctly |
01/10/2007 | 00056 |
10 rules in class org.eclipse.bpel.validator.rules.ProcessValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Rule to check the name of the process |
9/14/2006 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckExpressionLanguage | 3 | pass1 | Checks the expression language for support in the BPEL model |
9/14/2006 | 00004 |
5 | CheckQueryLanguage | 4 | pass1 | Checks the query language for support in the BPEL model |
9/14/2006 | 00004 |
6 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting |
01/10/2007 | N/A |
7 | CheckSuppressJoinFailre | 11 | pass1 | Check supressJoinFailure attribute setting |
01/10/2007 | N/A |
8 | CheckReferencedTypes | 300 | pass2 | Check if used types/elements/messages have conflicting definitions |
02/10/2007 | 00014 |
9 | CheckIfProcessHasStartActivity | 1,000 | pass2 | Verifies that a start activity has been found in the process |
02/01/2007 | 00015 |
10 | CheckCorrelationSetsOnStartActivities | 2,000 | pass2 | Check common correlation sets on all the start activities |
03/10/2007 | 00057 |
6 rules in class org.eclipse.bpel.validator.vprop.Property
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the NCName of the property |
02/15/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckDuplicateName | 5 | pass1 | Check if property name is duplicated |
02/15/2007 | N/A |
5 | CheckPropertyType | 10 | pass1 | Either the type or element attributes MUST be present but not both. |
02/17/2007 | 00019 |
6 | CheckTypeOrElement | 15 | pass1 | Attribute cannot be resolved for XSD type or element. |
02/17/2007 | N/A |
6 rules in class org.eclipse.bpel.validator.vprop.PropertyAlias
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckQName | 1 | pass1 | Check the QName of the property for this propertyAlias |
02/15/2007 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckPropertyAliasDefinition | 10 | pass1 | Either the type or element attributes MUST be present or messageType AND part. |
02/17/2007 | 00020 |
5 | ChceckPropertyAliasTypes | 13 | pass1 | Check types of property aliases |
03/18/2007 | 00021 |
6 | CheckDuplicatePropertyAlias | 25 | pass1 | Detect duplicate propertyAlias definitions |
03/20/2007 | 00022 |
4 rules in class org.eclipse.bpel.validator.rules.QueryValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model |
10/2/2006 | 00004 |
4 | CheckQuery | 30 | pass1 | Checks the actual query using the query language validator. |
10/2/2006 | 01000 |
4 rules in class org.eclipse.bpel.validator.vprop.Query
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model |
10/2/2006 | 00004 |
4 | CheckQuery | 30 | pass1 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. |
3/6/2007 | 00029 |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
19 rules in class org.eclipse.bpel.validator.rules.ReceiveValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
2 | LookupPortType | 0 | pass1 | - | 0 | |
3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
5 | LookupVariable | 1 | pass1 | Check variable on receive activity |
01/10/2007 | N/A |
6 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
7 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
9 | CheckCreateInstanceSetting | 2 | pass1 | Check createInstance attribute on receive activity. |
01/10/2007 | N/A |
10 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' |
01/10/2007 | 00056 |
12 | CheckVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
13 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
14 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
15 | CheckIfMyRoleIsDefined | 5 | pass1 | Checks if partner role is defined in receive activity. |
9/25/2006 | N/A |
16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. |
9/25/2006 | 00005 |
17 | CheckInputMessage | 12 | pass1 | Checks if input messages is defined for receive activity. |
9/25/2006 | N/A |
18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive |
02/22/2007 | 00058 |
19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on the receive. |
01/20/2007 | 00055 |
5 rules in class org.eclipse.bpel.validator.rules.RepeatEveryValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckIfRightParentParent | 1 | pass1 | - | 0 | |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
5 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
5 rules in class org.eclipse.bpel.validator.rules.RepeatUntilValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 01000 |
16 rules in class org.eclipse.bpel.validator.rules.ReplyValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | LookupPartnerLink | 0 | pass1 | - | 0 | |
2 | LookupPortType | 0 | pass1 | - | 0 | |
3 | CheckOperationSet | 0 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 00088 |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
6 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
8 | CheckPartnerLink | 2 | pass1 | Check if partner link exists |
03/15/2007 | N/A |
9 | CheckVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. |
01/20/2007 | 02003 |
10 | CheckPortType | 3 | pass1 | Check if port type exists |
03/15/2007 | N/A |
11 | CheckPartnerLinkType | 4 | pass1 | Check partner link type |
02/27/2007 | N/A |
12 | CheckIfPartnerRoleIsDefined | 5 | pass1 | Checks if partner role is defined in reply activity. |
9/25/2006 | N/A |
13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on reply activity. |
9/25/2006 | 00005 |
14 | CheckOutputMessage | 12 | pass1 | Checks if output message is defined for reply activity. |
9/25/2006 | N/A |
15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on reply |
02/22/2007 | 00058 |
16 | checkToPartsPresence | 50 | pass1 | Check to see if toPart is specified; if so then variable must not be used on the reply. |
01/20/2007 | 00059 |
5 rules in class org.eclipse.bpel.validator.rules.RethrowValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckRethrowPlacement | 10 | pass1 | Check rethrow placement (catch or catchAll) |
10/5/2006 | 00006 |
9 rules in class org.eclipse.bpel.validator.rules.ScopeValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting |
01/10/2007 | N/A |
6 | CheckIsolatedAttribute | 10 | pass1 | Check isolated attribute setting on scope |
01/10/2007 | N/A |
7 | CheckNoIsolatedScopeDescendants | 20 | pass1 | Isolated scopes may not contain other isolated scopes |
01/24/2007 | 00091 |
8 | CheckUniqueScopeNames | 20 | pass1 | Within a scope all immediately enclosed scopes must have unique name |
01/24/2007 | 00092 |
9 | CheckRootFCTScope | 25 | pass1 | Root scope inside an FCT-handler MUST not have a compensation handler |
02/28/2007 | 00079 |
4 rules in class org.eclipse.bpel.validator.rules.SequenceValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
8 rules in class org.eclipse.bpel.validator.rules.SourceValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the source variable NCName |
9/14/2006 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules |
02/17/2007 | 01200 |
5 | CheckAgainstDeclaredLink | 11 | pass1 | The value of the linkName attribute of |
02/16/2007 | 00065 |
6 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 00066 |
7 | CheckRepeatableConstruct | 15 | pass1 | Link must not cross repeatable constructs |
02/17/2007 | 00070 |
8 | CheckEventHandlersBoundary | 20 | pass2 | Check for links crossing event handlers boundaries |
02/17/2007 | 00071 |
3 rules in class org.eclipse.bpel.validator.rules.SourcesValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckUniqueSourceName | 10 | pass1 | 02/16/2007 | 00068 |
4 rules in class org.eclipse.bpel.validator.rules.StartCounterValueValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
6 rules in class org.eclipse.bpel.validator.rules.TargetValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the target variable NCName |
9/14/2006 | N/A |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules |
02/17/2007 | 01200 |
5 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 00066 |
6 | CheckAgainstDeclaredLink | 12 | pass1 | The value of the linkName attribute of |
02/16/2007 | 00065 |
3 rules in class org.eclipse.bpel.validator.rules.TargetsValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckUniqueTargetName | 10 | pass1 | 02/16/2007 | 00069 |
2 rules in class org.eclipse.bpel.validator.rules.TerminationHandlerValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
7 rules in class org.eclipse.bpel.validator.rules.ThrowValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckFaultName | 10 | pass1 | - | 0 | |
6 | CheckFaultVariable | 12 | pass1 | Check if the fault is valid |
02/15/2007 | N/A |
7 | CheckVariableType | 14 | pass1 | - | 0 |
6 rules in class org.eclipse.bpel.validator.rules.ToValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckToVariant | 10 | pass1 | Checks the allowed formats of the |
01/15/2007 | 00032 |
4 | CheckVariableAndPartVariant | 18 | pass1 | Variables used in |
01/15/2007 | 00034 |
5 | CheckPartnerLinkVariant | 20 | pass1 | 01/10/2007 | 00037 | |
6 | CheckExpressionVariant | 50 | pass1 | Check variable reference expression as used in a |
01/10/2007 | 00033 |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
7 rules in class org.eclipse.bpel.validator.rules.ToPartValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckVariable | 1 | pass1 | Check the toVariable on the toPart. |
03/15/2007 | N/A |
3 | CheckDuplicatePartFromVariable | 1 | pass1 | Check to see if part='' fromVariable='' is a duplicate entry. |
01/20/2007 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckVariableDefined | 4 | pass1 | Checks to see if the fromVariable is defined. |
01/20/2007 | N/A |
6 | CheckMessageParts | 5 | pass1 | Check to see if the fromVariable type matches the part name specified |
01/20/2007 | 00054 |
7 | CheckToPartTypeCompatibility | 20 | pass1 | Check toPart and variable type compatibility |
03/10/2007 | N/A |
3 rules in class org.eclipse.bpel.validator.rules.ToPartsValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckEveryPartUsed | 10 | pass2 | Check to make sure that every to part is used |
03/10/2007 | 00050 |
4 rules in class org.eclipse.bpel.validator.rules.TransitionConditionValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
4 rules in class org.eclipse.bpel.validator.rules.UntilValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 00004 |
4 | checkExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | N/A |
4 rules in class org.eclipse.bpel.validator.xpath0.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | SanityCheck | 1 | pass1 | XPath sanity check |
02/16/2007 | N/A |
2 | CheckExpressionSyntax | 2 | pass1 | XPath syntax check |
02/16/2007 | N/A |
3 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | N/A |
4 | ExpressionType | 999,999 | pass1 | - | 0 |
5 rules in class org.eclipse.bpel.validator.rules.ValidateValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | CheckValidateVariables | 15 | pass1 | Make sure that the variables defined in the validate activity are defined. |
02/15/2007 | N/A |
11 rules in class org.eclipse.bpel.validator.rules.VariableValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Checks that variable NCName further does not contain a period (.) in the name. |
9/14/2006 | 00024 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
4 | CheckType | 2 | pass1 | Variable type specification (either element, messaageType, or type). |
9/14/2006 | 00025 |
5 | CheckMessageTypeNode | 4 | pass1 | Make sure that Message Type is visible from the import(s) |
01/25/2007 | 00010 |
6 | CheckElementNode | 4 | pass1 | Make sure that Element is visible from the import(s) |
01/25/2007 | 00010 |
7 | CheckTypeNode | 4 | pass1 | Make sure that Type is visible from the import(s) |
01/25/2007 | 00010 |
8 | CheckIfVariableHidesSuperVariables | 15 | pass1 | Check to see if variable hides super variables |
01/25/2007 | N/A |
9 | CheckForEachCounter | 30 | pass1 | For |
01/20/2007 | 00076 |
10 | RegisterTypesToCheck | 50 | pass1 | Mark the types/elements/messages used to be checked for duplicates |
02/25/2007 | 00014 |
11 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types |
02/16/2007 | 00043 |
3 rules in class org.eclipse.bpel.validator.rules.VariablesValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
3 | CheckDuplicateVariableName | 40 | pass1 | Checks for duplicate variable name |
12/7/2006 | 00023 |
5 rules in class org.eclipse.bpel.validator.rules.WaitValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | BasicSanityCheck | 5 | pass1 | Do a basic sanity check on the wait activity. |
9/22/2006 | N/A |
5 rules in class org.eclipse.bpel.validator.rules.WhileValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 02002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | N/A |
3 | CheckSuppressJoinFailure | 1 | pass1 | Check the supressJoinFailure attribute. It checks if it is set and has a value of yes or no. |
10/05/2006 | N/A |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 02001 |
5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 01000 |
Total Rules: | 469 |
---|---|
Annotated Rules: | 89 |
Total Nodes: | 97 |
SA | Description | Method |
---|---|---|
1 | Check solicit-response or notification port types |
Class: PartnerLinkValidator Method: checkSolicitResponseAndNotification |
2 | Check for overloaded operation names in port types |
Class: PartnerLinkValidator Method: checkOverloadedOperationNames |
3 | When exitOnStandardFault=yes, standard fault handlers cannot be present. |
Class: CatchValidator Method: rule_CheckExitStandardFaults_1 |
4 | Checks the expression language for support in the BPEL model |
Class: ConditionValidator Method: rule_CheckExpressionLanguageSupport_20 |
5 | Checks portType and derived portType values on invoke activity. |
Class: ReplyValidator Method: rule_CheckRolePortTypeWithReceivePortType_10 |
6 | Check rethrow placement (catch or catchAll) |
Class: RethrowValidator Method: rule_CheckRethrowPlacement_10 |
7 | Check compensateScope placement. |
Class: CompensateScopeValidator Method: rule_CheckPlacement_10 |
8 | Check compensate placement |
Class: CompensateValidator Method: rule_CheckPlacement_10 |
9 | Mandatory extensions must be understood |
Class: ExtensionValidator Method: rule_CheckMustUnderstand_20 |
10 | Make sure that Message Type is visible from the import(s) |
Class: VariableValidator Method: rule_CheckTypeNode_4 |
11 | Imported namespace, if set, must match |
Class: ImportValidator Method: rule_CheckNamespaceOfImport_8 |
12 | When import has no namespace, the targetNamespace must be empty. |
Class: ImportValidator Method: rule_CheckNamespaceOfImport_15 |
13 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. |
Class: ImportValidator Method: rule_CheckImportType_4 |
14 | Check if used types/elements/messages have conflicting definitions |
Class: VariableValidator Method: rule_RegisterTypesToCheck_50 |
15 | Verifies that a start activity has been found in the process |
Class: ProcessValidator Method: CheckIfProcessHasStartActivity |
16 | myRole or partnerRole (or both) must be set |
Class: PartnerLinkValidator Method: rule_CheckForUndefinedPartnerLinkRoles_4 |
17 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). |
Class: PartnerLinkValidator Method: rule_CheckPortTypes_18 |
18 | Checks for duplicate partner link name |
Class: PartnerLinksValidator Method: rule_CheckDuplicateName_40 |
19 | Either the type or element attributes MUST be present but not both. |
Class: Property Method: rule_CheckPropertyType_10 |
20 | Either the type or element attributes MUST be present or messageType AND part. |
Class: PropertyAlias Method: rule_CheckPropertyAliasDefinition_10 |
21 | Check types of property aliases |
Class: PropertyAlias Method: rule_ChceckPropertyAliasTypes_13 |
22 | Detect duplicate propertyAlias definitions |
Class: PropertyAlias Method: rule_CheckDuplicatePropertyAlias_25 |
23 | Checks for duplicate variable name |
Class: VariablesValidator Method: rule_CheckDuplicateVariableName_40 |
24 | Checks that variable NCName further does not contain a period (.) in the name. |
Class: VariableValidator Method: rule_CheckName_1 |
25 | Variable type specification (either element, messaageType, or type). |
Class: VariableValidator Method: rule_CheckType_2 |
26 | Check for SA code 26 is missing | |
27 | Check for SA code 27 is missing | |
28 | Check for SA code 28 is missing | |
29 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. |
Class: Query Method: rule_CheckQuery_30 |
30 | Check for SA code 30 is missing | |
31 | Check for SA code 31 is missing | |
32 | Checks the allowed formats of the <from> element |
Class: ToValidator Method: rule_CheckToVariant_10 |
33 | Check variable reference expression as used in a <to> element. |
Class: ToValidator Method: rule_CheckExpressionVariant_50 |
34 | Variables used in <from> must not have part set if they are schema types. (part must not be set) |
Class: ToValidator Method: rule_CheckVariableAndPartVariant_18 |
35 | A partner link referenced in a <from> spec with endpoint reference of 'myRole' must have myRole set. |
Class: FromValidator Method: rule_CheckPartnerLinkVariantMyRole_21 |
36 | A partner link referenced in a <from> spec with endpoint reference of 'partnerRole' must have partnerRole set. |
Class: FromValidator Method: rule_CheckPartnerLinkVariantPartnerRole_22 |
37 | <to> spec with partnerLink must have partnerRole set. |
Class: ToValidator Method: rule_CheckPartnerLinkVariant_20 |
38 | The literal <from> spec must return a EII or a TII only |
Class: FromValidator Method: rule_CheckLiteralVariant_30 |
39 | Check for SA code 39 is missing | |
40 | Check for SA code 40 is missing | |
41 | Check for SA code 41 is missing | |
42 | Check if both from and to specs are EII; only then can keepSrcElement be set |
Class: CopyValidator Method: rule_CheckKeepSrcElement_50 |
43 | From and to spec must have compatible types |
Class: VariableValidator Method: rule_CheckCompatibleCopy_40 |
44 | Check to see if the correlationSet is already specified |
Class: CorrelationSetValidator Method: rule_CheckDuplicateCorrelationSet_2 |
45 | Properties used in a <correlationSet> MUST be defined using XML Schema simple types. |
Class: CorrelationSetValidator Method: rule_CheckProperties_15 |
46 | Check the pattern attribute values of correlation |
Class: CorrelationValidator Method: rule_CheckPatternValues_5 |
47 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) |
Class: InvokeValidator Method: rule_CheckTwoWayInvocation_25 |
48 | Check message type compatability on invoke |
Class: InvokeValidator Method: rule_CheckVariableAndMessageStructureCompatibility_40 |
49 | The static analysis check number 49. Refer to spec for description |
Class: EmptyValidator Method: rule_SA49_0 |
50 | Check to make sure that every to part is used |
Class: ToPartsValidator Method: rule_CheckEveryPartUsed_10 |
51 | Check to see if toPart is specified; if so then inputVariable must not be used on the reply. |
Class: InvokeValidator Method: rule_checkToPartsPresence_10 |
52 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. |
Class: InvokeValidator Method: rule_checkFromPartsPresence_11 |
53 | Check to see if the toVariable matches the type of the partName |
Class: FromPartValidator Method: rule_CheckMessagePart_5 |
54 | Check to see if the fromVariable type matches the part name specified |
Class: ToPartValidator Method: rule_CheckMessageParts_5 |
55 | Check to see if fromPart is specified; if so then variable must not be used on the receive. |
Class: ReceiveValidator Method: rule_checkFromPartsPresence_50 |
56 | Check if this 'start' <receive> activity is positioned correctly |
Class: ReceiveValidator Method: rule_CheckIfStartActivity_3 |
57 | Check common correlation sets on all the start activities |
Class: ProcessValidator Method: CheckCorrelationSetsOnStartActivities |
58 | Check message type compatability on receive |
Class: ReplyValidator Method: rule_CheckVariableAndMessageStructureCompatibility_20 |
59 | Check to see if toPart is specified; if so then variable must not be used on the reply. |
Class: ReplyValidator Method: rule_checkToPartsPresence_50 |
60 | Check for SA code 60 is missing | |
61 | Check for SA code 61 is missing | |
62 | When createInstance is set to yes, onAlarm must not be there. |
Class: PickValidator Method: rule_CheckNoAlaram_2 |
63 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. |
Class: OnMessageValidator Method: rule_checkFromPartsPresence_50 |
64 | Check for unique link name |
Class: LinksValidator Method: rule_CheckDuplicateLinkName_40 |
65 | The value of the linkName attribute of <source> MUST be the name of a <link> declared in an enclosing <flow> activity. |
Class: TargetValidator Method: rule_CheckAgainstDeclaredLink_12 |
66 | Every link must have exactly one activity as source and one as target |
Class: TargetValidator Method: rule_CheckIfSourceAlreadyUsed_12 |
67 | Two different links MUST NOT share the same source *and* target activities; that is, at most one link may be used to connect two activities. |
Class: LinkValidator Method: rule_CheckDistinctLinks_12 |
68 | <source> elements must have distinct linkNames |
Class: SourcesValidator Method: rule_CheckUniqueSourceName_10 |
69 | <target> elements must have distinct linkNames |
Class: TargetsValidator Method: rule_CheckUniqueTargetName_10 |
70 | Link must not cross repeatable constructs |
Class: SourceValidator Method: rule_CheckRepeatableConstruct_15 |
71 | Check for links crossing event handlers boundaries |
Class: SourceValidator Method: rule_CheckEventHandlersBoundary_20 |
72 | A <link> declared in a <flow> MUST NOT create a control cycle, that is, the source activity must not have the target activity as a logically preceding activity. |
Class: LinkValidator Method: rule_ControlCycle_14 |
73 | Check for SA code 73 is missing | |
74 | Check for SA code 74 is missing | |
75 | Check for SA code 75 is missing | |
76 | For <forEach> the enclosed scope MUST NOT declare a variable with the same name as specified in the counterName attribute of <forEach>. |
Class: VariableValidator Method: rule_CheckForEachCounter_30 |
77 | Make sure that the target scope exists |
Class: CompensateScopeValidator Method: rule_CheckTargetScope_25 |
78 | Target of compenateScope must have a fault or compensation handler |
Class: CompensateScopeValidator Method: rule_CheckTargetScopeHandlers_27 |
79 | Root scope inside an FCT-handler MUST not have a compensation handler |
Class: ScopeValidator Method: rule_CheckRootFCTScope_25 |
80 | At least one catch or catchAll must be present in fault handlers. |
Class: FaultHandlersValidator Method: rule_CheckHandlerCount_1 |
81 | Fault variable must have message type or element set |
Class: CatchValidator Method: rule_CheckFaultVariable_4 |
82 | Check for SA code 82 is missing | |
83 | At least one onAlarm or onEvent must be present in event handlers. |
Class: EventHandlersValidator Method: rule_CheckHandlerCount_1 |
84 | Partner Link resolution: associated scope first, then ancestor scopes |
Class: OnEventValidator Method: rule_CheckIfMyRoleIsDefined_5 |
85 | Check to see if fromPart is specified; if so then variable must not be used onEvent. |
Class: OnEventValidator Method: rule_checkFromPartsPresence_50 |
86 | Variables defined in fromPart are implicitly declared in the associated scope |
Class: FromPartValidator Method: rule_ImplicitOnEventVariable_10 |
87 | Check message type compatability on onEvent |
Class: OnEventValidator Method: rule_CheckVariableAndMessageStructureCompatibility_20 |
88 | Correlation set lookup, first associated scope, then ancestor scopes |
Class: CPartnerActivityValidator Method: rule_CheckOperationSet_0 |
89 | Check for SA code 89 is missing | |
90 | Either messageType or element must be specified if variable variant is used |
Class: OnEventValidator Method: rule_LookupVariable_5 |
91 | Isolated scopes may not contain other isolated scopes |
Class: ScopeValidator Method: rule_CheckNoIsolatedScopeDescendants_20 |
92 | Within a scope all immediately enclosed scopes must have unique name |
Class: ScopeValidator Method: rule_CheckUniqueScopeNames_20 |
93 | Check to see if a duplicate catch has been specified |
Class: CatchValidator Method: rule_CheckDuplicateCatch_10 |
1,000 | Checks the actual expression using the expression language validator. |
Class: WhileValidator Method: rule_BasicSanityCheck_11 |
1,001 | Check to see if keep source element is one of the allowed values |
Class: MessageExchangesValidator Method: rule_CheckDuplicateName_40 |
1,004 | Check target scope NCName |
Class: CompensateScopeValidator Method: rule_CheckTargetScopeNCName_15 |
1,010 | Check the initiate attribute values |
Class: CorrelationValidator Method: rule_CheckInitiate_2 |
1,200 | Check if we are within a flow, if not disable rest of rules |
Class: TargetValidator Method: rule_CheckIfInFlow_2 |
1,234 | Imported node location problem |
Class: ImportValidator Method: rule_CheckImportLocation_14 |
2,001 | Check to make sure that my parent node is within a set of allowed nodes |
Class: CValidator Method: rule_CheckParentNode_1 |
2,002 | Check my children nodes (types and occurances) |
Class: CValidator Method: rule_CheckChildrenNodes_0 |
2,003 | Check if inputVariable is set and exists and is defined correctly. |
Class: ReplyValidator Method: rule_CheckVariable_3 |
2,004 | Check if outputVariable is set and exists and is defined correctly. |
Class: InvokeValidator Method: rule_CheckOutputVariable_3 |
Total SA Checks: | 94 |
---|---|
Implemented SA Checks: | 79 |
Missing SA Checks: | 15 |
% Complete: | 84.04 |
% TODO: | 15.96 |
Message Text | SA |
---|---|
{1} "{2}" of type "{4}" is not compatible with WSDL message "{3}". |
00048
00058 00087 |
The start activity <{0}> must be the first activity in the process. | 00056 |
Standard fault "{1}" cannot be handled in <{0}> when exitOnStandardFaults is set to yes. | 00003 |
The partner link "{1}" referenced from this <{0}> must have "{2}" defined. | 00037 |
Target scope "{2}" does not exist. | 00077 |
Target {3} "{2}" must have a compensationHandler or a faultHandler. | 00078 |
{1,choice,0#Node|1#Activity} <{0}> must contain at least {5,choice,1#one node|1<{5} nodes} from {3} | 02002 |
The <{1}> node present in this <{0}> has {2,choice,0# unspecified text value (is empty)| 1
00038
|
|
<{3}> can only occur at most {5,choice,1#one time|1<{5} times} in parent {1,choice,0#node|1#activity} <{0}> | 02002 |
<{1}> name "{2}" is already defined in this scope/process. |
00018
00023 00044 00064 00068 00069 |
This <{0}> with name="{1}" was already defined previously | 00022 |
Cannot import type "{1}" from location "{2}" | 01234 |
The XSD type "{1}" of {2} "{3}" in this <{0}> is not a simple XSD type. | 00045 |
This <{0}> uses undefined message part "{1}" in message type "{2}" | 00021 |
There is no "{2}" message that is used by this <{0}> - {3,choice,0#node <{4}> |2#attribute "{4}"} must be omitted. | 00047 |
Solicit-response operation "{4}" in portType "{3}" cannot be used in a BPEL process. | 00001 |
XSD element <{0}> in import {1} conflicts with element of the same name in {2}. | 00014 |
{1,choice,0#Node|1#Activity} <{0}> must have {2} {3,choice,0#node|1#activity|2#attribute} present. |
00080
00081 00083 00090 |
The variable name "{1}" is used as a counter name in <{2}>. | 00076 |
The link "{1}" used as a {0} is not defined in the enclosing flow. | 00065 |
Scope "{1}" cannot have a <{2}> because because it is itself inside an FCT-hander. | 00079 |
The "{1}" has a control cycle where the source "{2}" has the target "{3}" as a preceding activity. | 00072 |
<{0}> cannot be a child of <{1}>; it can only be a child of {2} | 02001 |
The link "{1}" does not have a source. | 00066 |
{0} attribute refers to an unsupported language URI {1} | 00004 |
A catch for fault "{1}" already exist. | 00093 |
Extension "{1}" is not supported by this implementation. | 00009 |
{1,choice,0#Node|1#Activity} <{0}> must specify one {3,choice,0#node|1#activity|2#attribute} {2}. |
00081
00090 |
The attribute {1} must be set to "{2}" on this <{0}> | 00057 |
Attribute "{0}" must not be set on this <{1}> {2,choice,0#node|1#activity}. | 00046 |
{3,choice,0#Node|1#Activity|2#Attribute} {2} must not be specified on {1,choice,0#node|1#activity} <{0}>. | 00090 |
Attribute "{1}" cannot be set because {2} "{3}" is not an element. | 00042 |
Immediately enclosed {0} "{1}" must have a unique name within the outer scope "{3}". | 00092 |
"{1}" is set to "{2}" on this <{0}> {4,choice,0#node|1#activity} but it can only be set to {3} |
00017
00032 00046 00090 01001 01010 02003 02004 |
The {1} of "{2}" is not compatible with {3} of "{4}" - {5} | 00043 |
Message part "{1}" does not exist in message "{2}" |
00034
00054 |
partnerLink "{1}" uses portType "{3}" (via partnerLinkType "{2}") which has an overloaded operation "{4}". | 00002 |
Attribute "{1}" is not set on this <{0}> {2,choice,0#node|1#activity}. |
00000
00010 00024 00032 00046 00047 00081 00088 00090 01001 01004 01010 02003 02004 |
The <{0}> activity named "{1}" must be in a fault, compensate, or termination handlers. |
00007
00008 |
The "{1}" cannot be used on <{0}> that does not have {2} defined. | 00017 |
<{0}> activity "{1}" specifies a portType "{2}", yet this portType does not match the portType derived from "{4}" of partnerLink "{3}" defined in WSDL "{5}" | 00005 |
Isolated scope "{1}" cannot exist within another isolated scope (scope "{3}"). | 00091 |
<{0}> activity "{1}" is trying to use partnerLink "{2}" which does not have a "{3}" defined. | 00084 |
Part "{3}" must be specified on this <{2}> - activity <{1}> requires it. | 00050 |
The targetNamespace {2} of the imported document is not the default namespace. | 00012 |
This <{0}> activity is a start activity and cannot have an onAlarm component. | 00062 |
The import namespace {1} and the imported document target namespace {2} do not match. | 00011 |
The {1} start activities must share at least one correlation. | 00057 |
Either "{1}" or "{2}" attribute is required on this <{0}> |
00019
00020 |
The partner link "{1}" referenced from this <{0}> must have "{2}" defined. |
00035
00036 |
The <{1}> activity named {0} must be in a fault handler. | 00006 |
The part "{1}" is already specified in another <{0}>. | 00053 |
The link "{1}" is not unique - the link "{2}" also makes an identical connection. | 00067 |
The form of <{0}> is not valid (too many variants detected). | 00032 |
The variable name "{0}" contains an illegal period (.) character. | 00024 |
Notification operation "{4}" in portType "{3}" (via partnerLinkType "{2}") cannot be used in a BPEL process. | 00001 |
The link "{1}" does not have a target. | 00066 |
The link "{1}" crosses repeatable boundary on <{2}>. | 00070 |
The "{0}" attribute of this <{1}> is set to "{2}" - it is not a valid NCName. |
00000
00024 01004 |
Either <{1}> *or* attribute "{2}" must be specified on <{0}>. |
00051
00052 00055 00059 00063 00085 |
The {1} "{2}" is not of messageType and a "part" is specified in this <{0}> node. | 00034 |
"{1}" is set to "{3}" on this <{0}> {2,choice,0#|1#activity} but it cannot be resolved (check value of "{1}", imports, WSDLs or XSDs). |
00010
00017 00021 00032 00045 00081 00088 00090 02003 02004 |
Link "{1}" must be outbound only; target activity must be outside of the enclosing <{2}>. | 00071 |
Variable "{0}" must be have either messageType,element, or type defined. | 00025 |
There is no start activity in process "{1}" | 00015 |
{0} "{1}" must have "{2}" and/or "{3}" set. | 00016 |
Message Text | SA |
---|---|
The expression in <{0}> cannot be checked - no expression validator has been registered for language {1}. |
00029
00033 01000 |
The {1} of simple type "{2}" is not compatible with {3} of simple type "{4}" - a BPEL runtime may provide an implicit conversion. | 00043 |
The {3,choice,0#node|1#activity} <{0}> refers to a {1} (via the attribute "{2}") - this {1} needs to be defined correctly. |
00032
02003 02004 |
Message Text | SA |
---|---|
Copy rule not checked - {1} type-of "{2}", {3} type-of "{4}". | 00043 |
The {1} of {0} is not defined in BPEL 2.0 and is not understood by this implementation. | 00013 |