|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
@NonNullByDefault public interface ITypeComputationState
Nested Class Summary | |
---|---|
static interface |
ITypeComputationState.Fork
|
Method Summary | |
---|---|
void |
acceptActualType(JvmTypeReference type)
|
void |
addLocalToCurrentScope(JvmIdentifiableElement element)
|
ITypeComputationState |
assignType(JvmIdentifiableElement element,
JvmTypeReference type)
|
ITypeAssigner |
assignTypes()
|
ITypeComputationResult |
computeTypes(XExpression expression)
|
void |
discardReassignedTypes(XExpression object)
|
ITypeComputationState.Fork |
fork()
|
java.util.List<ITypeExpectation> |
getImmediateExpectations()
The result is never empty. |
java.util.List<IFeatureLinkingCandidate> |
getLinkingCandidates(XAbstractFeatureCall featureCall)
The result is never empty. |
java.util.List<IConstructorLinkingCandidate> |
getLinkingCandidates(XConstructorCall constructorCall)
The result is never empty. |
java.util.List<ITypeExpectation> |
getReturnExpectations()
The result is never empty. |
JvmTypeReference |
getType(JvmIdentifiableElement element)
|
void |
reassignType(XExpression object,
JvmTypeReference type)
|
Method Detail |
---|
ITypeComputationState.Fork fork()
ITypeComputationResult computeTypes(@Nullable XExpression expression)
ITypeComputationState assignType(JvmIdentifiableElement element, JvmTypeReference type)
type
- the type of the element. null
or other invalid types will be treated as error types.ITypeAssigner assignTypes()
void addLocalToCurrentScope(JvmIdentifiableElement element)
java.util.List<ITypeExpectation> getImmediateExpectations()
java.util.List<ITypeExpectation> getReturnExpectations()
java.util.List<IConstructorLinkingCandidate> getLinkingCandidates(XConstructorCall constructorCall)
java.util.List<IFeatureLinkingCandidate> getLinkingCandidates(XAbstractFeatureCall featureCall)
void acceptActualType(JvmTypeReference type)
@Nullable JvmTypeReference getType(JvmIdentifiableElement element)
void reassignType(XExpression object, JvmTypeReference type)
void discardReassignedTypes(XExpression object)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |