de.cau.cs.kieler.quartz.editor.contentassist
Class AbstractQuartzProposalProvider

java.lang.Object
  extended by org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider
      extended by org.eclipse.xtext.ui.common.editor.contentassist.AbstractJavaBasedContentProposalProvider
          extended by de.cau.cs.kieler.quartz.editor.contentassist.AbstractQuartzProposalProvider
All Implemented Interfaces:
org.eclipse.xtext.ui.common.editor.contentassist.ICompletionProposalFactory, org.eclipse.xtext.ui.core.editor.contentassist.IContentProposalProvider
Direct Known Subclasses:
QuartzProposalProvider

public class AbstractQuartzProposalProvider
extends org.eclipse.xtext.ui.common.editor.contentassist.AbstractJavaBasedContentProposalProvider

Represents a generated, default implementation of interface IProposalProvider. Methods are dynamically dispatched on the first parameter, i.e., you can override them with a more concrete subtype.

Rating red

Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.xtext.ui.common.editor.contentassist.AbstractJavaBasedContentProposalProvider
org.eclipse.xtext.ui.common.editor.contentassist.AbstractJavaBasedContentProposalProvider.DefaultProposalCreator
 
Nested classes/interfaces inherited from class org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider
org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider.DefaultContentAssistProcessorSwitch, org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider.FilteringCompletionProposalAcceptor, org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider.ModifyingCompletionProposalAcceptor, org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider.NullSafeCompletionProposalAcceptor
 
Constructor Summary
AbstractQuartzProposalProvider()
           
 
Method Summary
 void complete_AND(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_AssumeList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_AtomicStmt(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_BVCONST(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_case_list(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_ControlList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_DimList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_dUtyExpr(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_dUtyExprs(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_EQU(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_FixpointEqList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_Generic(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_HEXCONST(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_ID(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_IMP(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_ImportList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_InOutName(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_InOutNameList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_InOutNameListComma(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_Interface(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_InterfaceComma(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_InterfaceList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_LocStmt(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_MacroDef(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_ML_COMMENT(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_Name(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_NamedStmt(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_NATCONST(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_NOT(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_ObservedSpecList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_OCTCONST(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_OptUtyExpr(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_OptUtyExprList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_OR(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_PackagePath(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_PointedName(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_ProofGoalList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_QModule(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_QName(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_QNameList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_QrzFile(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_QType(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_QTypeList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_REALCONST(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_SeqStmt(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_SL_COMMENT(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_Stmt(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_Storage(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_UtyAction(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_UtyExpr(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_UtyExprSelectList(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_VerifTask(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_WS(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void complete_XOR(EObject model, org.eclipse.xtext.RuleCall ruleCall, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T03(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T06(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T07(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T13(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T14(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T15(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T16(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T23(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeAtomicStmt_T24(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeCase_list_Exp(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeCase_list_Stmt(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeDimList_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeFixpointEqList_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeFixpointEqList_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeGeneric_T5(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeGeneric_T6(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeImportList_Imp(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInOutNameList_Names(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInOutNameListComma_Names(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInterface_Names(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInterface_Type(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInterfaceComma_Names(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInterfaceComma_Type(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInterfaceList_Interfaces(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeInterfaceList_Intf(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeLocStmt_Locals(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeLocStmt_Stmt(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeMacroDef_Args(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeMacroDef_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeMacroDef_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeName_Id(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeNamedStmt_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeNamedStmt_Exprs(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeNamedStmt_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeNamedStmt_T10(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeOptUtyExpr_Tk(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeOptUtyExprList_Exprs(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completePointedName_All(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completePointedName_Id(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completePointedName_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Ass(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Ctr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Ctrl(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Goals(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeProofGoalList_Ver(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQModule_Intf(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQModule_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQModule_Obs(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQModule_Stmt(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQNameList_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQNameList_Names(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQrzFile_Imports(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQrzFile_Macros(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQrzFile_Module(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQType_Dims(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQType_Ta(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQType_Tb(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQType_Tc(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQTypeList_T(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeQTypeList_Type(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeSeqStmt_S(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeStmt_Left(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeStmt_Right(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyAction_T2(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyAction_T4(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExpr_Expr(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExpr_Expr2(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExpr_Name(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExpr_Op(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExpr_T7(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExpr_Type(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 void completeUtyExprSelectList_Tk(EObject model, org.eclipse.xtext.Assignment assignment, org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)
           
 
Methods inherited from class org.eclipse.xtext.ui.common.editor.contentassist.AbstractJavaBasedContentProposalProvider
completeAssignment, completeKeyword, completeRuleCall, getProposalFactory, getScopeProvider, invokeMethod, lookupCrossReference, lookupCrossReference, lookupCrossReference, lookupCrossReference, lookupCrossReference, lookupCrossReference, setScopeProvider
 
Methods inherited from class org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider
createCompletionProposal, createCompletionProposal, createCompletionProposal, createCompletionProposal, createProposals, createSelector, doCreateProposal, doCreateProposal, filter, getConflictHelper, getDisplayString, getImage, getKeywordDisplayString, getLabelProvider, getPriorityHelper, getQualifiedNameSupport, getStyledDisplayString, getValueConverter, isValidProposal, modify, setConflictHelper, setLabelProvider, setPriorityHelper, setQualifiedNameSupport, setValueConverter
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractQuartzProposalProvider

public AbstractQuartzProposalProvider()
Method Detail

completeQrzFile_Imports

public void completeQrzFile_Imports(EObject model,
                                    org.eclipse.xtext.Assignment assignment,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQrzFile_Macros

public void completeQrzFile_Macros(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQrzFile_Module

public void completeQrzFile_Module(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeImportList_Imp

public void completeImportList_Imp(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completePointedName_Id

public void completePointedName_Id(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completePointedName_Name

public void completePointedName_Name(EObject model,
                                     org.eclipse.xtext.Assignment assignment,
                                     org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                     org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completePointedName_All

public void completePointedName_All(EObject model,
                                    org.eclipse.xtext.Assignment assignment,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeMacroDef_Name

public void completeMacroDef_Name(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeMacroDef_Args

public void completeMacroDef_Args(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeMacroDef_Expr

public void completeMacroDef_Expr(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQModule_Name

public void completeQModule_Name(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQModule_Intf

public void completeQModule_Intf(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQModule_Stmt

public void completeQModule_Stmt(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQModule_Obs

public void completeQModule_Obs(EObject model,
                                org.eclipse.xtext.Assignment assignment,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeName_Id

public void completeName_Id(EObject model,
                            org.eclipse.xtext.Assignment assignment,
                            org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                            org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQNameList_Name

public void completeQNameList_Name(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQNameList_Names

public void completeQNameList_Names(EObject model,
                                    org.eclipse.xtext.Assignment assignment,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQType_Ta

public void completeQType_Ta(EObject model,
                             org.eclipse.xtext.Assignment assignment,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQType_Tb

public void completeQType_Tb(EObject model,
                             org.eclipse.xtext.Assignment assignment,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQType_Tc

public void completeQType_Tc(EObject model,
                             org.eclipse.xtext.Assignment assignment,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQType_Dims

public void completeQType_Dims(EObject model,
                               org.eclipse.xtext.Assignment assignment,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQTypeList_Type

public void completeQTypeList_Type(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeQTypeList_T

public void completeQTypeList_T(EObject model,
                                org.eclipse.xtext.Assignment assignment,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeDimList_Expr

public void completeDimList_Expr(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInOutNameList_Names

public void completeInOutNameList_Names(EObject model,
                                        org.eclipse.xtext.Assignment assignment,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInOutNameListComma_Names

public void completeInOutNameListComma_Names(EObject model,
                                             org.eclipse.xtext.Assignment assignment,
                                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInterface_Type

public void completeInterface_Type(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInterface_Names

public void completeInterface_Names(EObject model,
                                    org.eclipse.xtext.Assignment assignment,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInterfaceComma_Type

public void completeInterfaceComma_Type(EObject model,
                                        org.eclipse.xtext.Assignment assignment,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInterfaceComma_Names

public void completeInterfaceComma_Names(EObject model,
                                         org.eclipse.xtext.Assignment assignment,
                                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInterfaceList_Intf

public void completeInterfaceList_Intf(EObject model,
                                       org.eclipse.xtext.Assignment assignment,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeInterfaceList_Interfaces

public void completeInterfaceList_Interfaces(EObject model,
                                             org.eclipse.xtext.Assignment assignment,
                                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Name

public void completeProofGoalList_Name(EObject model,
                                       org.eclipse.xtext.Assignment assignment,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Expr

public void completeProofGoalList_Expr(EObject model,
                                       org.eclipse.xtext.Assignment assignment,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Goals

public void completeProofGoalList_Goals(EObject model,
                                        org.eclipse.xtext.Assignment assignment,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Ver

public void completeProofGoalList_Ver(EObject model,
                                      org.eclipse.xtext.Assignment assignment,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Ctrl

public void completeProofGoalList_Ctrl(EObject model,
                                       org.eclipse.xtext.Assignment assignment,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Ass

public void completeProofGoalList_Ass(EObject model,
                                      org.eclipse.xtext.Assignment assignment,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeProofGoalList_Ctr

public void completeProofGoalList_Ctr(EObject model,
                                      org.eclipse.xtext.Assignment assignment,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeFixpointEqList_Name

public void completeFixpointEqList_Name(EObject model,
                                        org.eclipse.xtext.Assignment assignment,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeFixpointEqList_Expr

public void completeFixpointEqList_Expr(EObject model,
                                        org.eclipse.xtext.Assignment assignment,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeOptUtyExpr_Tk

public void completeOptUtyExpr_Tk(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeOptUtyExprList_Exprs

public void completeOptUtyExprList_Exprs(EObject model,
                                         org.eclipse.xtext.Assignment assignment,
                                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExprSelectList_Tk

public void completeUtyExprSelectList_Tk(EObject model,
                                         org.eclipse.xtext.Assignment assignment,
                                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExpr_Op

public void completeUtyExpr_Op(EObject model,
                               org.eclipse.xtext.Assignment assignment,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExpr_Expr

public void completeUtyExpr_Expr(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExpr_T7

public void completeUtyExpr_T7(EObject model,
                               org.eclipse.xtext.Assignment assignment,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExpr_Name

public void completeUtyExpr_Name(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExpr_Expr2

public void completeUtyExpr_Expr2(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyExpr_Type

public void completeUtyExpr_Type(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyAction_T2

public void completeUtyAction_T2(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeUtyAction_T4

public void completeUtyAction_T4(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeCase_list_Exp

public void completeCase_list_Exp(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeCase_list_Stmt

public void completeCase_list_Stmt(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeGeneric_T6

public void completeGeneric_T6(EObject model,
                               org.eclipse.xtext.Assignment assignment,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeGeneric_T5

public void completeGeneric_T5(EObject model,
                               org.eclipse.xtext.Assignment assignment,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeLocStmt_Locals

public void completeLocStmt_Locals(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeLocStmt_Stmt

public void completeLocStmt_Stmt(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeSeqStmt_S

public void completeSeqStmt_S(EObject model,
                              org.eclipse.xtext.Assignment assignment,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeStmt_Left

public void completeStmt_Left(EObject model,
                              org.eclipse.xtext.Assignment assignment,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeStmt_Right

public void completeStmt_Right(EObject model,
                               org.eclipse.xtext.Assignment assignment,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_Expr

public void completeAtomicStmt_Expr(EObject model,
                                    org.eclipse.xtext.Assignment assignment,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T03

public void completeAtomicStmt_T03(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T15

public void completeAtomicStmt_T15(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T16

public void completeAtomicStmt_T16(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T23

public void completeAtomicStmt_T23(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T06

public void completeAtomicStmt_T06(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T

public void completeAtomicStmt_T(EObject model,
                                 org.eclipse.xtext.Assignment assignment,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T13

public void completeAtomicStmt_T13(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T14

public void completeAtomicStmt_T14(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T24

public void completeAtomicStmt_T24(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeAtomicStmt_T07

public void completeAtomicStmt_T07(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeNamedStmt_Name

public void completeNamedStmt_Name(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeNamedStmt_Exprs

public void completeNamedStmt_Exprs(EObject model,
                                    org.eclipse.xtext.Assignment assignment,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeNamedStmt_Expr

public void completeNamedStmt_Expr(EObject model,
                                   org.eclipse.xtext.Assignment assignment,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

completeNamedStmt_T10

public void completeNamedStmt_T10(EObject model,
                                  org.eclipse.xtext.Assignment assignment,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                  org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_QrzFile

public void complete_QrzFile(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_PackagePath

public void complete_PackagePath(EObject model,
                                 org.eclipse.xtext.RuleCall ruleCall,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_ImportList

public void complete_ImportList(EObject model,
                                org.eclipse.xtext.RuleCall ruleCall,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_PointedName

public void complete_PointedName(EObject model,
                                 org.eclipse.xtext.RuleCall ruleCall,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_MacroDef

public void complete_MacroDef(EObject model,
                              org.eclipse.xtext.RuleCall ruleCall,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_QModule

public void complete_QModule(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_ObservedSpecList

public void complete_ObservedSpecList(EObject model,
                                      org.eclipse.xtext.RuleCall ruleCall,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                      org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_Name

public void complete_Name(EObject model,
                          org.eclipse.xtext.RuleCall ruleCall,
                          org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                          org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_QName

public void complete_QName(EObject model,
                           org.eclipse.xtext.RuleCall ruleCall,
                           org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                           org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_QNameList

public void complete_QNameList(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_Storage

public void complete_Storage(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_QType

public void complete_QType(EObject model,
                           org.eclipse.xtext.RuleCall ruleCall,
                           org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                           org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_QTypeList

public void complete_QTypeList(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_DimList

public void complete_DimList(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_InOutName

public void complete_InOutName(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_InOutNameList

public void complete_InOutNameList(EObject model,
                                   org.eclipse.xtext.RuleCall ruleCall,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_InOutNameListComma

public void complete_InOutNameListComma(EObject model,
                                        org.eclipse.xtext.RuleCall ruleCall,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_Interface

public void complete_Interface(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_InterfaceComma

public void complete_InterfaceComma(EObject model,
                                    org.eclipse.xtext.RuleCall ruleCall,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_InterfaceList

public void complete_InterfaceList(EObject model,
                                   org.eclipse.xtext.RuleCall ruleCall,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_VerifTask

public void complete_VerifTask(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_ControlList

public void complete_ControlList(EObject model,
                                 org.eclipse.xtext.RuleCall ruleCall,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                 org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_AssumeList

public void complete_AssumeList(EObject model,
                                org.eclipse.xtext.RuleCall ruleCall,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_ProofGoalList

public void complete_ProofGoalList(EObject model,
                                   org.eclipse.xtext.RuleCall ruleCall,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                   org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_FixpointEqList

public void complete_FixpointEqList(EObject model,
                                    org.eclipse.xtext.RuleCall ruleCall,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_OptUtyExpr

public void complete_OptUtyExpr(EObject model,
                                org.eclipse.xtext.RuleCall ruleCall,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_OptUtyExprList

public void complete_OptUtyExprList(EObject model,
                                    org.eclipse.xtext.RuleCall ruleCall,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                    org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_UtyExprSelectList

public void complete_UtyExprSelectList(EObject model,
                                       org.eclipse.xtext.RuleCall ruleCall,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                       org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_UtyExpr

public void complete_UtyExpr(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_UtyAction

public void complete_UtyAction(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_case_list

public void complete_case_list(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_dUtyExpr

public void complete_dUtyExpr(EObject model,
                              org.eclipse.xtext.RuleCall ruleCall,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_dUtyExprs

public void complete_dUtyExprs(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_Generic

public void complete_Generic(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_LocStmt

public void complete_LocStmt(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_SeqStmt

public void complete_SeqStmt(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_Stmt

public void complete_Stmt(EObject model,
                          org.eclipse.xtext.RuleCall ruleCall,
                          org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                          org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_AtomicStmt

public void complete_AtomicStmt(EObject model,
                                org.eclipse.xtext.RuleCall ruleCall,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_NamedStmt

public void complete_NamedStmt(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_NOT

public void complete_NOT(EObject model,
                         org.eclipse.xtext.RuleCall ruleCall,
                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_AND

public void complete_AND(EObject model,
                         org.eclipse.xtext.RuleCall ruleCall,
                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_XOR

public void complete_XOR(EObject model,
                         org.eclipse.xtext.RuleCall ruleCall,
                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_OR

public void complete_OR(EObject model,
                        org.eclipse.xtext.RuleCall ruleCall,
                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_IMP

public void complete_IMP(EObject model,
                         org.eclipse.xtext.RuleCall ruleCall,
                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_EQU

public void complete_EQU(EObject model,
                         org.eclipse.xtext.RuleCall ruleCall,
                         org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                         org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_BVCONST

public void complete_BVCONST(EObject model,
                             org.eclipse.xtext.RuleCall ruleCall,
                             org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                             org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_OCTCONST

public void complete_OCTCONST(EObject model,
                              org.eclipse.xtext.RuleCall ruleCall,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_HEXCONST

public void complete_HEXCONST(EObject model,
                              org.eclipse.xtext.RuleCall ruleCall,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_NATCONST

public void complete_NATCONST(EObject model,
                              org.eclipse.xtext.RuleCall ruleCall,
                              org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                              org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_REALCONST

public void complete_REALCONST(EObject model,
                               org.eclipse.xtext.RuleCall ruleCall,
                               org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                               org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_ID

public void complete_ID(EObject model,
                        org.eclipse.xtext.RuleCall ruleCall,
                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_ML_COMMENT

public void complete_ML_COMMENT(EObject model,
                                org.eclipse.xtext.RuleCall ruleCall,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_SL_COMMENT

public void complete_SL_COMMENT(EObject model,
                                org.eclipse.xtext.RuleCall ruleCall,
                                org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                                org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)

complete_WS

public void complete_WS(EObject model,
                        org.eclipse.xtext.RuleCall ruleCall,
                        org.eclipse.xtext.ui.core.editor.contentassist.ContentAssistContext context,
                        org.eclipse.xtext.ui.core.editor.contentassist.ICompletionProposalAcceptor acceptor)