| completeVerification_Contents(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| completeVerificationPlan_Name(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPlan_Title(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPlan_RequirementSet(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPlan_Description(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPlan_Claim(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPlan_Rationale(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPlan_Issues(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Requirement(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Title(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Activities(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Assert(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Rationale(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Weight(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Subclaim(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeClaim_Issues(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeThenEvidenceExpr_Successor(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeSingleElseEvidenceExpr_Error(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeSingleElseEvidenceExpr_Fail(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeSingleElseEvidenceExpr_Timeout(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeCompositeElseEvidenceExpr_Error(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeQuantifiedEvidenceExpr_Elements(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVAReference_Verification(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeComputeRef_Compute(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Name(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Title(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Computes(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Method(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Actuals(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_PropertyValues(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Category(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Timeout(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationActivity_Weight(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationValidation_Method(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationValidation_Parameters(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPrecondition_Method(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationPrecondition_Parameters(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethodRegistry_Name(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethodRegistry_Title(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethodRegistry_Description(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethodRegistry_Methods(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeFormalParameter_Name(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeFormalParameter_Type(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeFormalParameter_Unit(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Name(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_TargetType(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Formals(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Properties(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Results(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Title(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Target(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_ComponentCategory(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_MethodKind(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Description(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Precondition(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Validation(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeVerificationMethod_Category(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeResoluteMethod_MethodReference(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeJavaMethod_MethodPath(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeJavaMethod_Params(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completePythonMethod_MethodPath(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeManualMethod_DialogID(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completePluginMethod_MethodID(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeJUnit4Method_ClassPath(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeJavaParameter_ParameterType(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| completeJavaParameter_Name(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| AbstractVerifyProposalProvider() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| completeVerificationMethod_IsPredicate(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| completeVerificationMethod_IsResultReport(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| completeAgreeMethod_SingleLayer(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| completeAgreeMethod_All(EObject, Assignment, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_Verification(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VerificationPlan(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_Claim(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_ArgumentExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_ThenEvidenceExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_ElseEvidenceExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_SingleElseEvidenceExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_CompositeElseEvidenceExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_QuantifiedEvidenceExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_CompositeEvidenceExpr(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VAReference(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_ComputeRef(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VerificationActivity(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VerificationValidation(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VerificationPrecondition(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VerificationMethodRegistry(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_FormalParameter(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_VerificationMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_MethodKind(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_ResoluteMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_JavaMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_PythonMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_ManualMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_PluginMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_AgreeMethod(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_JUnit4Method(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| complete_JavaParameter(EObject, RuleCall, ContentAssistContext, ICompletionProposalAcceptor) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |