io.sarl.lang.typesystem.cast
Class CastOperatorLinkingCandidate
All Superinterfaces:
ICastOperatorLinkingCandidate, org.eclipse.xtext.xbase.typesystem.computation.IApplicableCandidate, org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate
class CastOperatorLinkingCandidate
extends java.lang.Object
implements ICastOperatorLinkingCandidate
Linking candidate for cast operator.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Since:
0.9
Property Summary
Modifier and type Property and description
org.eclipse.xtext.xbase.XExpression argument
protected java.util.List<E> arguments
protected java.lang.String featureTypeName
org.eclipse.xtext.common.types.JvmOperation operation
protected java.util.List<E> plainSyntacticTypeArguments
org.eclipse.xtext.xbase.XExpression receiver
protected org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState state
java.lang.String validationDescription
Replies the string representation of the candidate.
Constructor Summary
Action Summary
Modifier and type Action and description
void applyToModel(IResolvedTypes)
protected org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate createAmbiguousLinkingCandidate(AbstractPendingLinkingCandidate<Expression>)
protected org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate createSuspiciousLinkingCandidate(AbstractPendingLinkingCandidate<Expression>)
protected void ensureLinkingOperation
Ensure that the values that should be replied by getReceiver() and getArgument() are correctly computed.
org.eclipse.xtext.xbase.XExpression getArgument
protected java.util.List<E> getArguments
protected java.lang.String getFeatureTypeName
org.eclipse.xtext.common.types.JvmOperation getOperation
protected java.util.List<E> getPlainSyntacticTypeArguments
org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate getPreferredCandidate(ILinkingCandidate)
org.eclipse.xtext.xbase.XExpression getReceiver
protected org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState getState
java.lang.String getValidationDescription
Replies the string representation of the candidate.
protected boolean hasReceiver
boolean isExtension
boolean isTypeLiteral
Property Details
argument
val argument : org.eclipse.xtext.xbase.XExpression

This property is an alias for the action: getArgument

arguments
protected val arguments : java.util.List<E>

This property is an alias for the action: getArguments

featureTypeName
protected val featureTypeName : java.lang.String

This property is an alias for the action: getFeatureTypeName

operation
val operation : org.eclipse.xtext.common.types.JvmOperation

This property is an alias for the action: getOperation

plainSyntacticTypeArguments
protected val plainSyntacticTypeArguments : java.util.List<E>

This property is an alias for the action: getPlainSyntacticTypeArguments

receiver
val receiver : org.eclipse.xtext.xbase.XExpression

This property is an alias for the action: getReceiver

state
protected val state : org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState

This property is an alias for the action: getState

validationDescription
val validationDescription : java.lang.String
Replies the string representation of the candidate.

This property is an alias for the action: getValidationDescription

Returns:
the description of the candidate.
Constructor Details
new(XCastedExpression,IIdentifiableElementDescription,ITypeExpectation,ExpressionTypeComputationState)
new(XCastedExpression,IIdentifiableElementDescription,ITypeExpectation,ExpressionTypeComputationState)
Constructor.
Parameters:
expression - the expression.
description - the description of the linked element.
expectation - the type expectation.
state - the state of the type computation.
Action Details
applyToModel(IResolvedTypes)
def applyToModel(IResolvedTypes)
createAmbiguousLinkingCandidate(AbstractPendingLinkingCandidate<Expression>)
protected def createAmbiguousLinkingCandidate(AbstractPendingLinkingCandidate<Expression>) : org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate
createSuspiciousLinkingCandidate(AbstractPendingLinkingCandidate<Expression>)
protected def createSuspiciousLinkingCandidate(AbstractPendingLinkingCandidate<Expression>) : org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate
ensureLinkingOperation
protected def ensureLinkingOperation
Ensure that the values that should be replied by getReceiver() and getArgument() are correctly computed.
getArgument
def getArgument : org.eclipse.xtext.xbase.XExpression
getArguments
protected def getArguments : java.util.List<E>
getFeatureTypeName
protected def getFeatureTypeName : java.lang.String
getOperation
def getOperation : org.eclipse.xtext.common.types.JvmOperation
getPlainSyntacticTypeArguments
protected def getPlainSyntacticTypeArguments : java.util.List<E>
getPreferredCandidate(ILinkingCandidate)
def getPreferredCandidate(ILinkingCandidate) : org.eclipse.xtext.xbase.typesystem.computation.ILinkingCandidate
getReceiver
def getReceiver : org.eclipse.xtext.xbase.XExpression
getState
protected def getState : org.eclipse.xtext.xbase.typesystem.internal.ExpressionTypeComputationState
getValidationDescription
def getValidationDescription : java.lang.String
Replies the string representation of the candidate.
Returns:
the description of the candidate.
hasReceiver
protected def hasReceiver : boolean
isExtension
def isExtension : boolean
isTypeLiteral
def isTypeLiteral : boolean