Methods
Modifier and Type |
Method and Description |
protected void |
_computeTypes(XAbstractFeatureCall featureCall,
ITypeComputationState state) |
protected void |
_computeTypes(XAssignment assignment,
ITypeComputationState state) |
protected void |
_computeTypes(XBasicForLoopExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XBlockExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XBooleanLiteral object,
ITypeComputationState state) |
protected void |
_computeTypes(XCastedExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XClosure object,
ITypeComputationState state) |
protected void |
_computeTypes(XConstructorCall constructorCall,
ITypeComputationState state) |
protected void |
_computeTypes(XDoWhileExpression object,
ITypeComputationState state)
Since we are sure that the loop body is executed at least once, the early exit information
of the loop body expression can be used for the outer expression.
|
protected void |
_computeTypes(XForLoopExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XIfExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XInstanceOfExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XListLiteral literal,
ITypeComputationState state) |
protected void |
_computeTypes(XNullLiteral object,
ITypeComputationState state) |
protected void |
_computeTypes(XNumberLiteral object,
ITypeComputationState state) |
protected void |
_computeTypes(XReturnExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XSetLiteral literal,
ITypeComputationState state) |
protected void |
_computeTypes(XStringLiteral object,
ITypeComputationState state) |
protected void |
_computeTypes(XSwitchExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XSynchronizedExpression expr,
ITypeComputationState state) |
protected void |
_computeTypes(XThrowExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XTryCatchFinallyExpression object,
ITypeComputationState state) |
protected void |
_computeTypes(XTypeLiteral object,
ITypeComputationState state) |
protected void |
_computeTypes(XVariableDeclaration object,
ITypeComputationState state) |
protected void |
_computeTypes(XWhileExpression object,
ITypeComputationState state) |
protected void |
addLocalToCurrentScope(XVariableDeclaration localVariable,
ITypeComputationState state) |
protected ITypeComputationState |
assignType(JvmFormalParameter param,
LightweightTypeReference type,
ITypeComputationState state) |
protected LightweightTypeReference |
computeForLoopParameterType(XForLoopExpression object,
ITypeComputationState state) |
void |
computeTypes(XExpression expression,
ITypeComputationState state)
Compute the type for the given expression in the context of the given computation state.
|
protected ITypeComputationResult |
computeWhileLoopBody(XAbstractWhileExpression object,
ITypeComputationState state,
boolean autocast) |
protected LightweightTypeReference |
getAndEnhanceIterableOrArrayFromComponent(LightweightTypeReference parameterType,
JvmGenericType iterableType,
CompoundTypeReference compoundResult) |
protected ILinkingCandidate |
getBestCandidate(java.util.List<? extends ILinkingCandidate> candidates) |
protected java.util.List<XCasePart> |
getCases(XSwitchExpression switchExpression)
Only for testing purpose.
|
protected LightweightTypeReference |
getDeclaredParameterType(JvmFormalParameter declaredParam,
ITypeComputationState state) |
protected LightweightTypeReference |
getElementOrComponentType(LightweightTypeReference iterableOrArray,
ITypeReferenceOwner owner)
|
protected XExpression |
getElse(XIfExpression ifExpression)
Only for testing purpose.
|
protected JvmIdentifiableElement |
getRefinableCandidate(XExpression object,
ITypeComputationState state) |
protected ITypeComputationState |
getSwitchExpressionState(XSwitchExpression expr,
ITypeComputationState state) |
protected XExpression |
getThen(XIfExpression ifExpression)
Only for testing purpose.
|
protected boolean |
isRefinableFeature(JvmIdentifiableElement feature) |
protected ITypeComputationState |
reassignCheckedType(XExpression condition,
XExpression guardedExpression,
ITypeComputationState state)
If the condition is a type check , the checked expression
will be automatically casted in the returned state.
|