de.cau.cs.kieler.quartz.editor.contentassist
Class AbstractQuartzProposalProvider
java.lang.Object
org.eclipse.xtext.ui.common.editor.contentassist.AbstractContentProposalProvider
org.eclipse.xtext.ui.common.editor.contentassist.AbstractJavaBasedContentProposalProvider
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

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 |
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 |
AbstractQuartzProposalProvider
public AbstractQuartzProposalProvider()
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)