public class ExpressionProposalProvider
extends de.uni_hildesheim.sse.ui.contentassist.AbstractIvmlProposalProvider
org.eclipse.xtext.ui.editor.contentassist.AbstractJavaBasedContentProposalProvider.DefaultProposalCreator, org.eclipse.xtext.ui.editor.contentassist.AbstractJavaBasedContentProposalProvider.ReferenceProposalCreatororg.eclipse.xtext.ui.editor.contentassist.AbstractContentProposalProvider.DefaultContentAssistProcessorSwitch, org.eclipse.xtext.ui.editor.contentassist.AbstractContentProposalProvider.NullSafeCompletionProposalAcceptor| Modifier and Type | Field and Description |
|---|---|
private org.eclipse.xtext.ui.IImageHelper |
imageHelper |
| Constructor and Description |
|---|
ExpressionProposalProvider() |
| Modifier and Type | Method and Description |
|---|---|
void |
completeCall_Call(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
Propose completions for a call.
|
void |
completeCall_SetOp(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
Propose completions for a set operation.
|
void |
completeLiteral_Val(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
Completes a literal value.
|
void |
completeLogicalExpressionPart_Op(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
Propose completions for a high-level prototype of expressions with (internal) functions.
|
protected IDatatype |
findType(org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound typeDef,
java.lang.String name)
Finds the definition of a data type within the model represented by
model. |
protected de.uni_hildesheim.sse.ivml.TypedefCompound |
findTypedefCompound(org.eclipse.xtext.nodemodel.INode node)
Returns the
TypedefCompound-object inside the declaration of this compound. |
protected Project |
getVarModel(org.eclipse.emf.ecore.EObject model)
Provides access to the already created IVML model if available.
|
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.AdditiveExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
protected IDatatype |
inferType(de.uni_hildesheim.sse.ivml.AssignmentExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.Call call,
IDatatype operand,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for a
call. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.EqualityExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
protected IDatatype |
inferType(de.uni_hildesheim.sse.ivml.Expression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.FeatureCall call,
IDatatype operand,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for a
call. |
protected IDatatype |
inferType(de.uni_hildesheim.sse.ivml.ImplicationExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(java.util.List<de.uni_hildesheim.sse.ivml.Call> calls,
IDatatype operand,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for a chain of
calls. |
protected IDatatype |
inferType(de.uni_hildesheim.sse.ivml.LogicalExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.MultiplicativeExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.PostfixExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.PrimaryExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.RelationalExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(java.lang.String name,
IDatatype operand,
IDatatype[] pTypes,
boolean containerOp)
Determines the type of the operation
name on operand with given parameters. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.UnaryExpression expression,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
expression. |
private IDatatype |
inferType(de.uni_hildesheim.sse.ivml.Value value,
org.eclipse.emf.ecore.EObject model,
de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
Returns the IVML type for
vale. |
protected static boolean |
isEmpty(java.util.List<?> list)
Check whether a given List is null or empty.
|
protected void |
propose(AttributeAssignment assgn,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor,
int priority,
java.util.Set<java.lang.String> done)
Propose declared variables on the given attribute assignment.
|
protected void |
propose(Compound type,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor,
int priority,
java.util.Set<java.lang.String> done)
Propose declared variables on a compound
type. |
protected void |
propose(DecisionVariableDeclaration decl,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor,
int priority,
java.util.Set<java.lang.String> done)
Proposes an IVML variable declaration.
|
protected void |
proposeOperations(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor,
boolean containerOp)
Propose operations by inferring the actual IVML type.
|
private void |
proposeOperations(IDatatype type,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor,
boolean containerOp)
Propose operations based on an IVML type.
|
private static java.lang.String |
stripSignature(java.lang.String signature)
Removes the defining type from the signature.
|
complete_AccessName, complete_ActualArgument, complete_ActualArgumentList, complete_AdditiveExpression, complete_AdditiveExpressionPart, complete_AdditiveOperator, complete_AnnotateTo, complete_ANY_OTHER, complete_AssignmentExpression, complete_AssignmentExpressionPart, complete_AssignmentOperator, complete_AttrAssignment, complete_AttrAssignmentPart, complete_BasicType, complete_BlockExpression, complete_Call, complete_ConflictStmt, complete_ContainerInitializer, complete_ContainerOp, complete_Declaration, complete_Declarator, complete_DerivedType, complete_EqualityExpression, complete_EqualityExpressionPart, complete_EqualityOperator, complete_Eval, complete_EXPONENT, complete_Export, complete_Expression, complete_ExpressionAccess, complete_ExpressionListEntry, complete_ExpressionListOrRange, complete_ExpressionStatement, complete_FeatureCall, complete_Freeze, complete_FreezeStatement, complete_ID, complete_Identifier, complete_IfExpression, complete_ImplicationExpression, complete_ImplicationExpressionPart, complete_ImplicationOperator, complete_ImportStmt, complete_InterfaceDeclaration, complete_LetExpression, complete_Literal, complete_LogicalExpression, complete_LogicalExpressionPart, complete_LogicalOperator, complete_ML_COMMENT, complete_MultiplicativeExpression, complete_MultiplicativeExpressionPart, complete_MultiplicativeOperator, complete_NUMBER, complete_NumValue, complete_OpDefParameter, complete_OpDefParameterList, complete_OpDefStatement, complete_OptBlockExpression, complete_PostfixExpression, complete_PrimaryExpression, complete_Project, complete_ProjectContents, complete_QualifiedName, complete_RelationalExpression, complete_RelationalExpressionPart, complete_RelationalOperator, complete_SL_COMMENT, complete_STRING, complete_Type, complete_Typedef, complete_TypedefCompound, complete_TypedefConstraint, complete_TypedefEnum, complete_TypedefEnumLiteral, complete_TypedefMapping, complete_UnaryExpression, complete_UnaryOperator, complete_Value, complete_VariabilityUnit, complete_VariableDeclaration, complete_VariableDeclarationPart, complete_VERSION, complete_VersionStmt, complete_WS, completeAccessName_AName, completeActualArgument_Arg, completeActualArgument_Name, completeActualArgumentList_Args, completeAdditiveExpression_Left, completeAdditiveExpression_Right, completeAdditiveExpressionPart_Ex, completeAdditiveExpressionPart_Op, completeAnnotateTo_AnnotationDecl, completeAnnotateTo_AnnotationType, completeAnnotateTo_Names, completeAnnotateTo_Sname, completeAssignmentExpression_Left, completeAssignmentExpression_Right, completeAssignmentExpressionPart_Container, completeAssignmentExpressionPart_Ex, completeAssignmentExpressionPart_Op, completeAttrAssignment_Elements, completeAttrAssignment_Parts, completeAttrAssignmentPart_Name, completeAttrAssignmentPart_Value, completeBasicType_Type, completeBlockExpression_Exprs, completeCall_ArrayEx, completeCall_ContainerOp, completeConflictStmt_Name, completeConflictStmt_Restriction, completeContainerInitializer_Init, completeContainerInitializer_Type, completeContainerOp_Decl, completeContainerOp_Name, completeDeclaration_Id, completeDeclaration_Init, completeDeclaration_Type, completeDeclarator_Decl, completeDerivedType_Op, completeDerivedType_Type, completeEqualityExpression_Left, completeEqualityExpression_Right, completeEqualityExpressionPart_Container, completeEqualityExpressionPart_Ex, completeEqualityExpressionPart_Op, completeEval_Nested, completeEval_Statements, completeExport_Names, completeExpression_Container, completeExpression_Expr, completeExpression_Let, completeExpressionAccess_Access, completeExpressionAccess_Calls, completeExpressionAccess_Name, completeExpressionListEntry_Attrib, completeExpressionListEntry_Container, completeExpressionListEntry_Name, completeExpressionListEntry_Value, completeExpressionListOrRange_List, completeExpressionStatement_Expr, completeFeatureCall_Name, completeFreeze_Ex, completeFreeze_Id, completeFreeze_Names, completeFreezeStatement_Access, completeFreezeStatement_Name, completeIfExpression_ElseEx, completeIfExpression_IfEx, completeIfExpression_ThenEx, completeImplicationExpression_Left, completeImplicationExpression_Right, completeImplicationExpressionPart_Ex, completeImplicationExpressionPart_Op, completeImportStmt_Interface, completeImportStmt_Name, completeImportStmt_Restriction, completeInterfaceDeclaration_Exports, completeInterfaceDeclaration_Name, completeLetExpression_Name, completeLetExpression_SubExpr, completeLetExpression_Type, completeLetExpression_ValueExpr, completeLogicalExpression_Left, completeLogicalExpression_Right, completeLogicalExpressionPart_Ex, completeMultiplicativeExpression_Left, completeMultiplicativeExpression_Right, completeMultiplicativeExpressionPart_Expr, completeMultiplicativeExpressionPart_Op, completeNumValue_Val, completeOpDefParameter_Id, completeOpDefParameter_Type, completeOpDefParameter_Val, completeOpDefParameterList_List, completeOpDefStatement_Block, completeOpDefStatement_Id, completeOpDefStatement_Impl, completeOpDefStatement_Param, completeOpDefStatement_Result, completeOpDefStatement_Static, completeOptBlockExpression_Block, completeOptBlockExpression_Expr, completePostfixExpression_Access, completePostfixExpression_Call, completePostfixExpression_FCalls, completePostfixExpression_Left, completePrimaryExpression_Access, completePrimaryExpression_Calls, completePrimaryExpression_Ex, completePrimaryExpression_IfEx, completePrimaryExpression_Lit, completePrimaryExpression_RefEx, completeProject_Conflicts, completeProject_Contents, completeProject_Imports, completeProject_Interfaces, completeProject_Name, completeProject_Version, completeProjectContents_Elements, completeQualifiedName_QName, completeRelationalExpression_Left, completeRelationalExpression_Right, completeRelationalExpression_Right2, completeRelationalExpressionPart_Ex, completeRelationalExpressionPart_Op, completeType_Derived, completeType_Id, completeType_Type, completeTypedef_TCompound, completeTypedef_TEnum, completeTypedef_TMapping, completeTypedefCompound_Abstract, completeTypedefCompound_Elements, completeTypedefCompound_Name, completeTypedefCompound_Super, completeTypedefConstraint_Expressions, completeTypedefEnum_Constraint, completeTypedefEnum_Literals, completeTypedefEnum_Name, completeTypedefEnumLiteral_Name, completeTypedefEnumLiteral_Value, completeTypedefMapping_Constraint, completeTypedefMapping_NewType, completeTypedefMapping_Type, completeUnaryExpression_Expr, completeUnaryExpression_Op, completeValue_BValue, completeValue_NullValue, completeValue_NValue, completeValue_QValue, completeValue_Self, completeValue_SValue, completeValue_TValue, completeValue_Version, completeVariabilityUnit_Projects, completeVariableDeclaration_Const, completeVariableDeclaration_Decls, completeVariableDeclaration_Type, completeVariableDeclarationPart_Default, completeVariableDeclarationPart_Name, completeVersionStmt_VersionannounceProcessing, completeAssignment, completeKeyword, completeRuleCall, createProposals, getCrossReferenceProposalCreator, getHover, getProposalFactory, getScopeProvider, invokeMethod, lookupCrossReference, lookupCrossReference, lookupCrossReference, lookupCrossReference, lookupCrossReference, lookupCrossReference, setCrossReferenceProposalCreator, setScopeProvidercreateCompletionProposal, createCompletionProposal, createCompletionProposal, createCompletionProposal, createSelector, doCreateProposal, doCreateProposal, getConflictHelper, getDisplayString, getImage, getKeywordDisplayString, getLabelProvider, getPriorityHelper, getQualifiedNameConverter, getStyledDisplayString, getStyledDisplayString, getValueConverter, isValidProposal, setConflictHelper, setLabelProvider, setPriorityHelper, setValueConverterprotected static boolean isEmpty(java.util.List<?> list)
list - The list to be checked.protected Project getVarModel(org.eclipse.emf.ecore.EObject model)
model - the node representing the ECore Xtext modelprotected IDatatype findType(org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound typeDef, java.lang.String name)
model.model - the node representing the ECore Xtext modeltypeDef - the containing type (may be null for the project represented by typeDef)name - the name of the type (may be null to search for the type of typeDefgetVarModel(EObject)protected void propose(Compound type, org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor, int priority, java.util.Set<java.lang.String> done)
type.type - the compound typecontext - the content assist contextacceptor - the proposal acceptorpriority - the maximum display priority to decrease per type refined typedone - the already processed variables (variable names)protected void propose(AttributeAssignment assgn, org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor, int priority, java.util.Set<java.lang.String> done)
assgn - the attribute assignmentcontext - the content assist contextacceptor - the proposal acceptorpriority - the maximum display priority to decrease per type refined typedone - the already processed variables (variable names)protected void propose(DecisionVariableDeclaration decl, org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor, int priority, java.util.Set<java.lang.String> done)
decl - the variable declarationcontext - the content assist contextacceptor - the proposal acceptorpriority - the display priority to usedone - the already processed variables (variable names)public void completeLiteral_Val(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
completeLiteral_Val in class de.uni_hildesheim.sse.ui.contentassist.AbstractIvmlProposalProvidermodel - the node representing the ECore Xtext modelassignment - the assignmentcontext - the content assist contextacceptor - the proposal acceptorprotected de.uni_hildesheim.sse.ivml.TypedefCompound findTypedefCompound(org.eclipse.xtext.nodemodel.INode node)
TypedefCompound-object inside the declaration of this compound.node - the last complete nodeTypedefCompoundImpl, maybe null.public void completeLogicalExpressionPart_Op(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
completeLogicalExpressionPart_Op in class de.uni_hildesheim.sse.ui.contentassist.AbstractIvmlProposalProvidermodel - the node representing the ECore Xtext modelassignment - the assignmentcontext - the content assist contextacceptor - the proposal acceptorpublic void completeCall_Call(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
completeCall_Call in class de.uni_hildesheim.sse.ui.contentassist.AbstractIvmlProposalProvidermodel - the node representing the ECore Xtext modelassignment - the assignmentcontext - the content assist contextacceptor - the proposal acceptorpublic void completeCall_SetOp(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.Assignment assignment,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor)
model - the node representing the ECore Xtext modelassignment - the assignmentcontext - the content assist contextacceptor - the proposal acceptorprotected void proposeOperations(org.eclipse.emf.ecore.EObject model,
org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context,
org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor,
boolean containerOp)
model - the node representing the ECore Xtext modelcontext - the content assist contextacceptor - the proposal acceptorcontainerOp - propose only container operationsprivate void proposeOperations(IDatatype type, org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor, boolean containerOp)
type - the IVML type to propose operations for (may be null)context - the content assist contextacceptor - the proposal acceptorcontainerOp - propose only container operationsprivate static java.lang.String stripSignature(java.lang.String signature)
signature - the original signatureprotected IDatatype inferType(de.uni_hildesheim.sse.ivml.Expression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)protected IDatatype inferType(de.uni_hildesheim.sse.ivml.ImplicationExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)protected IDatatype inferType(de.uni_hildesheim.sse.ivml.AssignmentExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)protected IDatatype inferType(de.uni_hildesheim.sse.ivml.LogicalExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.EqualityExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.RelationalExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.AdditiveExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.MultiplicativeExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.UnaryExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.PostfixExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.PrimaryExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
expression.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(java.util.List<de.uni_hildesheim.sse.ivml.Call> calls, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
calls.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.Call call, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
call.expression - the expression to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(de.uni_hildesheim.sse.ivml.FeatureCall call, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
call.expression - the expression to return the type foroperand - the operand type (may be null, use first parameter type [implicit operand] instead if
present)model - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)private IDatatype inferType(java.lang.String name, IDatatype operand, IDatatype[] pTypes, boolean containerOp)
name on operand with given parameters.name - the name of the operationoperand - the operand typepTypes - the parameter types (may be null)containerOp - propose only container operationsprivate IDatatype inferType(de.uni_hildesheim.sse.ivml.Value value, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)
vale.value - the value to return the type formodel - the node representing the ECore Xtext modelcmpDef - the containing type definition (may be null for project)Copyright © 2009 - 2018 SSE. All Rights Reserved.