|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ITypeComputationState.Fork
Method Summary | |
---|---|
ITypeComputationState |
withExpectation(JvmTypeReference expectation)
The given expectation will be resolved if it contains unresolved type arguments, e.g. |
ITypeComputationState |
withNonVoidExpectation()
|
ITypeComputationState |
withoutExpectation()
Discards the current expectation and allows to use return and throw independently from the parent's state. |
ITypeComputationState |
withoutImmediateExpectation()
Keeps the return type expectation. |
ITypeComputationState |
withReturnExpectation()
Transfers the available return type expectation to the immediate expectation of this computation step. |
ITypeComputationState |
withTypeCheckpoint()
|
Method Detail |
---|
ITypeComputationState withExpectation(JvmTypeReference expectation)
<T> T foo(T, T)
with
foo<String>(null, 'string')
will allow to pass the unresolved T as expectation
where clients would be invoked with the better candidate 'string'.
ITypeComputationState withNonVoidExpectation()
ITypeComputationState withoutExpectation()
ITypeComputationState withReturnExpectation()
ITypeComputationState withoutImmediateExpectation()
ITypeComputationState withTypeCheckpoint()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |