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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckValidate | 10 | pass1 | - | 0 |
5 rules in class org.eclipse.bpel.validator.rules.BranchesValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckSuccessfulBranchesOnly | 0 | pass1 | - | 0 | |
2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
5 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.Branches
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | checkIntegerExpression | 15 | pass1 | Check unsigned integer expression on branches |
01/20/2007 | 75 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckExitStandardFaults | 1 | pass1 | When exitOnStandardFault=yes, standard fault handlers cannot be present. |
01/10/2007 | 3 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckFaultVariable | 4 | pass1 | Fault variable must have message type or element set |
01/25/2007 | 81 |
5 | CheckDuplicateCatch | 10 | pass1 | Check to see if a duplicate catch has been specified |
01/20/2007 | 93 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckPlacement | 10 | pass1 | Check compensate placement |
10/5/2006 | 8 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckPlacement | 10 | pass1 | Check compensateScope placement. |
10/5/2006 | 7 |
6 | CheckTargetScopeNCName | 15 | pass1 | Check target scope NCName |
02/27/2007 | 1,004 |
7 | CheckTargetScope | 25 | pass2 | Make sure that the target scope exists |
02/27/2007 | 77 |
8 | CheckTargetScopeHandlers | 27 | pass2 | Target of compenateScope must have a fault or compensation handler |
02/27/2007 | 78 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.Condition
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | checkBooleanExpression | 15 | pass1 | Checks for boolean expression on conditions |
01/30/2007 | 0 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | VerifyKeepSrcElement | 5 | pass1 | Check to see if keep source element is one of the allowed values |
02/12/2007 | 1,001 |
4 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types |
02/16/2007 | 43 |
5 | CheckKeepSrcElement | 50 | pass2 | Check if both from and to specs are EII; only then can keepSrcElement be set |
02/16/2007 | 42 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the NCName of the correlation |
01/20/2007 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckInitiate | 2 | pass1 | Check the initiate attribute values |
01/20/2007 | 1,010 |
5 | CheckPatternValues | 5 | pass1 | Check the pattern attribute values of correlation |
02/20/2007 | 46 |
6 | CheckDuplicateCorrelation | 10 | pass1 | Check to see if the correlation is already specified |
01/20/2007 | 0 |
7 | ExistCorrelationSet | 12 | pass1 | - | 0 | |
8 | ExistCorrelationSet | 13 | pass1 | Correlation set lookup, first associated scope, then ancestor scopes |
03/15/2007 | 88 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the NCName of the correlationSet |
01/20/2007 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckDuplicateCorrelationSet | 2 | pass1 | Check to see if the correlationSet is already specified |
01/20/2007 | 44 |
5 | CheckPropertiesAttribute | 10 | pass1 | - | 0 | |
6 | CheckProperties | 15 | pass1 | Properties used in a |
03/01/2007 | 45 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 49 |
2 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckHandlerCount | 1 | pass1 | At least one onAlarm or onEvent must be present in event handlers. |
01/10/2007 | 83 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckMustUnderstand | 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 | 2,001 |
4 | CheckNamespaceURI | 2 | pass1 | - | 0 | |
5 | CheckMustUnderstand | 20 | pass1 | Mandatory extensions must be understood |
03/15/2007 | 9 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckHandlerCount | 1 | pass1 | At least one catch or catchAll must be present in fault handlers. |
01/10/2007 | 80 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.FinalCounterValue
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | checkIntegerExpression | 15 | pass1 | Check unsigned integer expression on startCounterValue, finalCounterValue |
01/20/2007 | 74 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.For
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | checkDurationExpression | 17 | pass1 | Checks duration expression on for, and repeatUntil |
01/30/2007 | 0 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckParallel | 1 | pass1 | - | 0 | |
3 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
6 | CheckCounterName | 2 | pass1 | - | 0 |
8 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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckFromVariant | 10 | pass1 | Checks the allowed formats of the |
01/15/2007 | 32 |
4 | CheckVariableVariant | 18 | pass1 | Variables used in |
01/15/2007 | 34 |
5 | CheckPartnerLinkVariantMyRole | 21 | pass1 | A partner link referenced in a |
01/10/2007 | 35 |
6 | CheckPartnerLinkVariantPartnerRole | 22 | pass1 | A partner link referenced in a |
01/10/2007 | 36 |
7 | CheckLiteralVariant | 30 | pass1 | The literal |
01/10/2007 | 38 |
8 | CheckExpressionVariant | 50 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 1,000 |
13 rules in class org.eclipse.bpel.validator.xpath.From
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | CheckIdempotentFunctions | 15 | functions | Check that initialize expressions use idempotent functions |
03/15/2007 | 26 |
8 | SanityCheck | 1 | pass1 | - | 0 | |
9 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
10 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
11 | CheckGeneralExpression | 15 | pass1 | Check the general XPath expression |
01/10/2007 | 0 |
12 | ExpressionType | 999,999 | pass1 | - | 0 | |
13 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckVariable | 1 | pass1 | - | 0 | |
3 | CheckDuplicatePartToVariable | 1 | pass1 | Check to see if part='' toVariable='' is a duplicate entry. |
01/20/2007 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckVariableDefined | 4 | pass1 | Checks to see if the toVariable is defined. |
01/20/2007 | 0 |
6 | CheckMessagePart | 5 | pass1 | Check to see if the toVariable matches the type of the partName |
01/20/2007 | 53 |
7 | ImplicitOnEventVariable | 10 | pass1 | Variables defined in fromPart are implicitly declared in the associated scope |
03/15/2007 | 86 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
6 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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 1,000 |
6 | CheckNoActivity | 25 | pass1 | Check to see if there is any activity in the while loop. |
10/2/2006 | 1,000 |
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 | 2,002 |
2 | CheckIfImportTypesSet | 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 | 2,001 |
4 | CheckLocation | 3 | pass1 | - | 0 | |
5 | CheckImportType | 4 | pass1 | Check the import type. BPEL 2.0 currently supports WSDL and XSD import types. |
10/3/2006 | 13 |
6 | CheckNamespaceOfImport | 8 | pass1 | Imported namespace, if set, must match |
01/15/2007 | 11 |
7 | CheckImportLocation | 14 | pass1 | Imported node location problem |
03/29/2007 | 1,234 |
8 | CheckNamespaceOfImport | 15 | pass1 | When import has no namespace, the targetNamespace must be empty. |
01/15/2007 | 12 |
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 | - | 0 | |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
8 | CheckPartnerLink | 2 | pass1 | - | 0 | |
9 | CheckInputVariable | 3 | pass1 | Check if inputVariable is set and exists and is defined correctly. |
01/20/2007 | 2,003 |
10 | CheckOutputVariable | 3 | pass1 | Check if outputVariable is set and exists and is defined correctly. |
01/20/2007 | 2,004 |
11 | CheckPortType | 3 | pass1 | - | 0 | |
12 | CheckPartnerLinkType | 4 | pass1 | - | 0 | |
13 | CheckIfPartnerRoleIsDefined | 5 | pass1 | - | 0 | |
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 | 51 |
15 | CheckRolePortTypeWithInvokePortType | 10 | pass1 | Checks portType and derived portType values on invoke activity. |
9/25/2006 | 5 |
16 | checkFromPartsPresence | 11 | pass1 | Check to see if fromPart is specified; if so then outputVariable must not be used on invoke. |
01/20/2007 | 52 |
17 | CheckInputOutputMessages | 12 | pass1 | - | 0 | |
18 | CheckTwoWayInvocation | 25 | pass1 | One invocation requires inputVariable (or toPart); 2-way invocation requires outputVariable (or fromPart) |
02/22/2007 | 47 |
19 | CheckVariableAndMessageStructureCompatibility | 40 | pass1 | Check message type compatability on invoke |
02/22/2007 | 48 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
14 rules in class org.eclipse.bpel.validator.xpath.JoinCondition
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckBPELFunctionsInJoinConditions | 0 | bpel.functions | BPEL Functions must not be used in joinConditions |
01/20/2007 | 28 |
2 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
3 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
4 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
5 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
6 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
7 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
8 | SanityCheck | 1 | pass1 | - | 0 | |
9 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
10 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
11 | checkBooleanExpression | 15 | pass1 | Checks for boolean expression on joinCondition |
01/30/2007 | 73 |
12 | ExpressionType | 999,999 | pass1 | - | 0 | |
13 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 0 |
14 | CheckLinkReference | 17 | variables | Check the link reference for joinCondition (only incoming link names) |
01/30/2007 | 73 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the NCName of the link |
02/15/2007 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckLinkConnections | 10 | pass2 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 66 |
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 | 67 |
6 | ControlCycle | 14 | pass2 | A declared in a |
02/17/2007 | 72 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckDuplicateLinkName | 40 | pass1 | Check for unique link name |
12/7/2006 | 64 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the NCName of the messageExchange |
02/15/2007 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckDuplicateName | 40 | pass1 | Check for unique message exchange name |
12/7/2006 | 1,001 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | BasicSanityCheck | 5 | pass1 | - | 0 |
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 | 84 |
2 | LookupPortType | 0 | pass1 | - | 0 | |
3 | CheckOperationSet | 0 | pass1 | - | 0 | |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
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 | 2,001 |
8 | CheckPartnerLink | 2 | pass1 | - | 0 | |
9 | CheckPortType | 3 | pass1 | - | 0 | |
10 | CheckPartnerLinkType | 4 | pass1 | - | 0 | |
11 | LookupVariable | 5 | pass1 | Either messageType or element must be specified if variable variant is used |
3/15/2007 | 90 |
12 | CheckIfMyRoleIsDefined | 5 | pass1 | - | 0 | |
13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on onEvent. |
03/13/2007 | 5 |
14 | CheckInputMessage | 12 | pass1 | - | 0 | |
15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on onEvent |
03/15/2007 | 87 |
16 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used onEvent. |
03/20/2007 | 85 |
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 | - | 0 | |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
5 | CheckName | 1 | pass1 | - | 0 | |
6 | CheckSuppressJoinFailure | 1 | pass1 | - | 0 | |
7 | LookupVariable | 1 | pass1 | - | 0 | |
8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
9 | CheckCreateInstanceSetting | 2 | pass1 | - | 0 | |
10 | CheckPartnerLink | 2 | pass1 | - | 0 | |
11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' |
01/10/2007 | 56 |
12 | CheckVariable | 3 | pass1 | - | 0 | |
13 | CheckPortType | 3 | pass1 | - | 0 | |
14 | CheckPartnerLinkType | 4 | pass1 | - | 0 | |
15 | CheckIfMyRoleIsDefined | 5 | pass1 | - | 0 | |
16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. |
9/25/2006 | 5 |
17 | CheckInputMessage | 12 | pass1 | - | 0 | |
18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive |
02/22/2007 | 58 |
19 | checkFromPartsPresence | 50 | pass1 | Check to see if fromPart is specified; if so then variable must not be used on onMessage. |
01/20/2007 | 63 |
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 | 1 |
2 | checkOverloadedOperationNames | 0 | direct | Check for overloaded operation names in port types |
02/16/2007 | 2 |
3 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
4 | CheckName | 1 | pass1 | - | 0 | |
5 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
6 | CheckPartnerLinkType | 2 | pass1 | - | 0 | |
7 | CheckForUndefinedPartnerLinkRoles | 4 | pass1 | myRole or partnerRole (or both) must be set |
09/19/2006 | 16 |
8 | CheckInitializePartnerRole | 8 | pass1 | Check if initializePartnerRole is set on the partnerLink if partnerRole is set (or not). |
09/19/2006 | 17 |
9 | CheckPartnerLinkRoles | 10 | pass1 | - | 0 | |
10 | CheckRolesOnPartnerLinkType | 17 | pass1 | - | 0 | |
11 | CheckPortTypes | 18 | pass1 | - | 0 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckDuplicateName | 40 | pass1 | Checks for duplicate partner link name |
12/7/2006 | 18 |
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 | 2,002 |
2 | CheckCreateInstanceSet | 1 | pass1 | Checks to see if the createInstance attribute is set. |
01/10/2007 | 0 |
3 | CheckOnMessagesOnAlarms | 1 | pass1 | Check if at least 1 onAlarm/onMessage is present in a |
01/15/2007 | 0 |
4 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
6 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
7 | CheckNoAlaram | 2 | pass1 | When createInstance is set to yes, onAlarm must not be there. |
01/10/2007 | 62 |
8 | CheckIfStartActivity | 3 | pass1 | Check if this pick activity is positioned correctly |
01/10/2007 | 56 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Rule to check the name of the process |
9/14/2006 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckExpressionLanguage | 3 | pass1 | Checks the expression language for support in the BPEL model |
9/14/2006 | 4 |
5 | CheckQueryLanguage | 4 | pass1 | Checks the query language for support in the BPEL model |
9/14/2006 | 4 |
6 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting |
01/10/2007 | 0 |
7 | CheckSuppressJoinFailre | 11 | pass1 | Check supressJoinFailure attribute setting |
01/10/2007 | 0 |
8 | CheckReferencedTypes | 300 | pass2 | Check if used types/elements/messages have conflicting definitions |
02/10/2007 | 14 |
9 | CheckIfProcessHasStartActivity | 1,000 | pass2 | Verifies that a start activity has been found in the process |
02/01/2007 | 15 |
10 | CheckCorrelationSetsOnStartActivities | 2,000 | pass2 | Check common correlation sets on all the start activities |
03/10/2007 | 57 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the NCName of the property |
02/15/2007 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckDuplicateName | 5 | pass1 | - | 0 | |
5 | CheckPropertyType | 10 | pass1 | Either the type or element attributes MUST be present but not both. |
02/17/2007 | 19 |
6 | CheckTypeOrElement | 15 | pass1 | - | 0 |
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 | 2,002 |
2 | CheckQName | 1 | pass1 | Check the QName of the property for this propertyAlias |
02/15/2007 | 0 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckPropertyAliasDefinition | 10 | pass1 | Either the type or element attributes MUST be present or messageType AND part. |
02/17/2007 | 20 |
5 | ChceckPropertyAliasTypes | 13 | pass1 | Check types of property aliases |
03/18/2007 | 21 |
6 | CheckDuplicatePropertyAlias | 25 | pass1 | Detect duplicate propertyAlias definitions |
03/20/2007 | 22 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckQuery | 30 | pass1 | Checks the actual query using the query language validator. |
10/2/2006 | 1,000 |
15 rules in class org.eclipse.bpel.validator.xpath.Query
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckBPELFunctions | 0 | bpel.functions | BPEL Functions must not be used in query expressions for propertyAlias |
01/20/2007 | 29 |
2 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
3 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
4 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
5 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
6 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
7 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
8 | CheckLocationPath | 16 | location | There is no implicit context node in XPath expressions used in BPEL |
0/20/2007 | 27 |
9 | SanityCheck | 1 | pass1 | - | 0 | |
10 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
11 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
12 | CheckQuery | 15 | pass1 | Check the query location path |
01/20/2007 | 0 |
13 | ExpressionType | 999,999 | pass1 | - | 0 | |
14 | CheckVariable | 0 | variables | BPEL variables cannot be used in propertyAlias queries |
01/30/2007 | 29 |
15 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 0 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckQueryLanguageSupport | 20 | pass1 | Checks the query language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckQuery | 30 | pass1 | WS-BPEL variables and WS-BPEL functions MUST NOT be used in query expressions of propertyAlias definitions. |
3/6/2007 | 29 |
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 | - | 0 | |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
5 | LookupVariable | 1 | pass1 | - | 0 | |
6 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
8 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
9 | CheckCreateInstanceSetting | 2 | pass1 | - | 0 | |
10 | CheckPartnerLink | 2 | pass1 | - | 0 | |
11 | CheckIfStartActivity | 3 | pass1 | Check if this 'start' |
01/10/2007 | 56 |
12 | CheckVariable | 3 | pass1 | - | 0 | |
13 | CheckPortType | 3 | pass1 | - | 0 | |
14 | CheckPartnerLinkType | 4 | pass1 | - | 0 | |
15 | CheckIfMyRoleIsDefined | 5 | pass1 | - | 0 | |
16 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on receive activity. |
9/25/2006 | 5 |
17 | CheckInputMessage | 12 | pass1 | - | 0 | |
18 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on receive |
02/22/2007 | 58 |
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 | 55 |
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 | 2,002 |
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 | 2,001 |
4 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
5 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
11 rules in class org.eclipse.bpel.validator.xpath.XPathValidator
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | ExpressionType | 999,999 | pass1 | - | 0 | |
11 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 0 |
6 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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 1,000 |
6 | CheckNoActivity | 25 | pass1 | Check to see if there is any activity in the while loop. |
10/2/2006 | 1,000 |
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 | - | 0 | |
4 | CheckChildrenNodes | 0 | pass1 | Check my children nodes (types and occurances) |
02/15/2007 | 2,002 |
5 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
7 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
8 | CheckPartnerLink | 2 | pass1 | - | 0 | |
9 | CheckVariable | 3 | pass1 | - | 0 | |
10 | CheckPortType | 3 | pass1 | - | 0 | |
11 | CheckPartnerLinkType | 4 | pass1 | - | 0 | |
12 | CheckIfPartnerRoleIsDefined | 5 | pass1 | - | 0 | |
13 | CheckRolePortTypeWithReceivePortType | 10 | pass1 | Checks portType and derived portType values on reply activity. |
9/25/2006 | 5 |
14 | CheckOutputMessage | 12 | pass1 | - | 0 | |
15 | CheckVariableAndMessageStructureCompatibility | 20 | pass1 | Check message type compatability on reply |
02/22/2007 | 58 |
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 | 59 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckRethrowPlacement | 10 | pass1 | Check rethrow placement (catch or catchAll) |
10/5/2006 | 6 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckExitOnStandardFault | 10 | pass1 | Check exitOnStandardFault attribute setting |
01/10/2007 | 0 |
6 | CheckIsolatedAttribute | 10 | pass1 | Check isolated attribute setting on scope |
01/10/2007 | 0 |
7 | CheckNoIsolatedScopeDescendants | 20 | pass1 | Isolated scopes may not contain other isolated scopes |
01/24/2007 | 91 |
8 | CheckUniqueScopeNames | 20 | pass1 | Within a scope all immediately enclosed scopes must have unique name |
01/24/2007 | 92 |
9 | CheckRootFCTScope | 25 | pass1 | Root scope inside an FCT-handler MUST not have a compensation handler |
02/28/2007 | 79 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckName | 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 | 2,001 |
4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules |
02/17/2007 | 1,200 |
5 | CheckAgainstDeclaredLink | 11 | pass1 | The value of the linkName attribute of |
02/16/2007 | 65 |
6 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 66 |
7 | CheckRepeatableConstruct | 15 | pass1 | Link must not cross repeatable constructs |
02/17/2007 | 70 |
8 | CheckEventHandlersBoundary | 20 | pass2 | Check for links crossing event handlers boundaries |
02/17/2007 | 71 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckUniqueSourceName | 10 | pass1 | 02/16/2007 | 68 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.StartCounterValue
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | checkIntegerExpression | 15 | pass1 | Check unsigned integer expression on startCounterValue, finalCounterValue |
01/20/2007 | 74 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckName | 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 | 2,001 |
4 | CheckIfInFlow | 2 | pass1 | Check if we are within a flow, if not disable rest of rules |
02/17/2007 | 1,200 |
5 | CheckIfSourceAlreadyUsed | 12 | pass1 | Every link must have exactly one activity as source and one as target |
02/17/2007 | 66 |
6 | CheckAgainstDeclaredLink | 12 | pass1 | The value of the linkName attribute of |
02/16/2007 | 65 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckUniqueTargetName | 10 | pass1 | 02/16/2007 | 69 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckFaultName | 10 | pass1 | - | 0 | |
6 | CheckFaultVariable | 12 | pass1 | - | 0 | |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckToVariant | 10 | pass1 | Checks the allowed formats of the |
01/15/2007 | 32 |
4 | CheckVariableAndPartVariant | 18 | pass1 | Variables used in |
01/15/2007 | 34 |
5 | CheckPartnerLinkVariant | 20 | pass1 | 01/10/2007 | 37 | |
6 | CheckExpressionVariant | 50 | pass1 | Check variable reference expression as used in a |
01/10/2007 | 33 |
12 rules in class org.eclipse.bpel.validator.xpath.To
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | CheckVariableReference | 15 | pass1 | Check variable reference expression on to nodes |
01/20/2007 | 33 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckVariable | 1 | pass1 | - | 0 | |
3 | CheckDuplicatePartFromVariable | 1 | pass1 | Check to see if part='' fromVariable='' is a duplicate entry. |
01/20/2007 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckVariableDefined | 4 | pass1 | Checks to see if the fromVariable is defined. |
01/20/2007 | 0 |
6 | CheckMessageParts | 5 | pass1 | Check to see if the fromVariable type matches the part name specified |
01/20/2007 | 54 |
7 | CheckToPartTypeCompatibility | 20 | pass1 | Check toPart and variable type compatibility |
03/10/2007 | 0 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckEveryPartUsed | 10 | pass2 | Check to make sure that every to part is used |
03/10/2007 | 50 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.TransitionCondition
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | checkBooleanExpression | 0 | pass1 | Checks for boolean expression on transitionCondition |
01/30/2007 | 1,022 |
8 | SanityCheck | 1 | pass1 | - | 0 | |
9 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
10 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckExpressionLanguageSupport | 20 | pass1 | Checks the expression language for support in the BPEL model |
10/2/2006 | 4 |
4 | CheckExpression | 100 | pass1 | Checks the actual expression using the expression language validator. |
10/2/2006 | 0 |
12 rules in class org.eclipse.bpel.validator.xpath.Until
# | Rule | Seq | Tag | Description | Date | SA |
---|---|---|---|---|---|---|
1 | CheckGetVariableProperty | 0 | bpel.functions | Arguments to getVariableProperty must be quoted strings |
01/29/2007 | 30 |
2 | CheckGetVariableProperty2ndArgument | 0 | bpel.functions | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
01/29/2007 | 31 |
3 | CheckDoXslTransform | 10 | bpel.functions | 1st arguments to doXslTransform must be quoted string |
01/29/2007 | 39 |
4 | CheckDoXslTransform | 11 | bpel.functions | There must be an even number of arguments doXslTransform |
01/29/2007 | 40 |
5 | CheckDoXslTransform | 15 | bpel.functions | 3rd,5th,7th, etc. arguments must be QName strings |
01/29/2007 | 41 |
6 | CheckFunctions | 1 | functions | Check functions in XPath expressions |
03/02/2007 | 1,015 |
7 | SanityCheck | 1 | pass1 | - | 0 | |
8 | CheckExpressionSyntax | 2 | pass1 | - | 0 | |
9 | StaticXPathExpressionAnalysis | 10 | pass1 | Create the static analysis visitor for expression analysis |
01/30/2007 | 0 |
10 | checkDeadlineExpression | 15 | pass1 | Check deadline expression on the Until node |
01/20/2007 | 1,024 |
11 | ExpressionType | 999,999 | pass1 | - | 0 | |
12 | CheckVariable | 10 | variables | Check the variable namespace prefix |
01/30/2007 | 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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | CheckValidateVariables | 15 | pass1 | - | 0 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Checks that variable NCName further does not contain a period (.) in the name. |
9/14/2006 | 24 |
3 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
4 | CheckType | 2 | pass1 | Variable type specification (either element, messaageType, or type). |
9/14/2006 | 25 |
5 | CheckMessageTypeNode | 4 | pass1 | Make sure that Message Type is visible from the import(s) |
01/25/2007 | 10 |
6 | CheckElementNode | 4 | pass1 | Make sure that Element is visible from the import(s) |
01/25/2007 | 10 |
7 | CheckTypeNode | 4 | pass1 | Make sure that Type is visible from the import(s) |
01/25/2007 | 10 |
8 | CheckIfVariableHidesSuperVariables | 15 | pass1 | Check to see if variable hides super variables |
01/25/2007 | 0 |
9 | CheckForEachCounter | 30 | pass1 | For |
01/20/2007 | 76 |
10 | RegisterTypesToCheck | 50 | pass1 | Mark the types/elements/messages used to be checked for duplicates |
02/25/2007 | 14 |
11 | CheckCompatibleCopy | 40 | pass2 | From and to spec must have compatible types |
02/16/2007 | 43 |
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 | 2,002 |
2 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
3 | CheckDuplicateVariableName | 40 | pass1 | Checks for duplicate variable name |
12/7/2006 | 23 |
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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | BasicSanityCheck | 5 | pass1 | Do a basic sanity check on the wait activity. |
9/22/2006 | 0 |
6 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 | 2,002 |
2 | CheckName | 1 | pass1 | Check the name of the activity which must be valid NCName |
10/05/2006 | 0 |
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 | 0 |
4 | CheckParentNode | 1 | pass1 | Check to make sure that my parent node is within a set of allowed nodes |
02/15/2007 | 2,001 |
5 | BasicSanityCheck | 11 | pass1 | Check if a condition is present on the while activity |
10/2/2006 | 1,000 |
6 | CheckNoActivity | 25 | pass1 | Check to see if there is any activity in the while loop. |
10/2/2006 | 1,000 |
Total Rules: | 570 |
---|---|
Annotated Rules: | 103 |
Total Nodes: | 90 |
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_CheckInitializePartnerRole_8 |
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 that initialize expressions use idempotent functions |
Class: From Method: CheckIdempotentFunctions |
27 | There is no implicit context node in XPath expressions used in BPEL |
Class: Query Method: CheckLocationPath |
28 | BPEL Functions must not be used in joinConditions |
Class: JoinCondition Method: CheckBPELFunctionsInJoinConditions |
29 | BPEL Functions must not be used in query expressions for propertyAlias |
Class: Query Method: rule_CheckQuery_30 |
30 | Arguments to getVariableProperty must be quoted strings |
Class: XPathValidator Method: CheckGetVariableProperty |
31 | The second argument MUST be a string literal conforming to the definition of QName in section 3 |
Class: XPathValidator Method: CheckGetVariableProperty2ndArgument |
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: To Method: rule_CheckVariableReference_15 |
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 | 1st arguments to doXslTransform must be quoted string |
Class: XPathValidator Method: CheckDoXslTransform_10 |
40 | There must be an even number of arguments doXslTransform |
Class: XPathValidator Method: CheckDoXslTransform_11 |
41 | 3rd,5th,7th, etc. arguments must be QName strings |
Class: XPathValidator Method: CheckDoXslTransform_15 |
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 | Checks for boolean expression on joinCondition |
Class: JoinCondition Method: CheckLinkReference |
74 | Check unsigned integer expression on startCounterValue, finalCounterValue |
Class: StartCounterValue Method: checkIntegerExpression |
75 | Check unsigned integer expression on branches |
Class: Branches Method: checkIntegerExpression |
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_LookupPartnerLink_0 |
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: CorrelationValidator Method: rule_ExistCorrelationSet_13 |
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_CheckNoActivity_25 |
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,015 | Check functions in XPath expressions |
Class: XPathValidator Method: CheckFunctions |
1,022 | Checks for boolean expression on transitionCondition |
Class: TransitionCondition Method: checkBooleanExpression |
1,024 | Check deadline expression on the Until node |
Class: Until Method: checkDeadlineExpression |
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: InvokeValidator Method: rule_CheckInputVariable_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: | 90 |
Missing SA Checks: | 4 |
% Complete: | 95.74 |
% TODO: | 4.26 |