public interface ITypeAssigner
identifiable elements
,
e.g. assign the types for the parametes of an inferred operation
.Modifier and Type | Method and Description |
---|---|
void |
assignType(JvmIdentifiableElement element,
LightweightTypeReference actualType)
The given element is tagged with the given type.
|
ITypeComputationState |
getForkedState()
Returns the forked state that knows about the newly assigned types.
|
ITypeReferenceOwner |
getReferenceOwner()
Returns the current owner.
|
LightweightTypeReference |
toLightweightTypeReference(JvmTypeReference reference)
Can be used to convert
JvmTypeReferences in the context of
the newly forked state. |
void assignType(JvmIdentifiableElement element, LightweightTypeReference actualType)
null
,
it is treated like an error type.ITypeComputationState getForkedState()
ITypeReferenceOwner getReferenceOwner()
LightweightTypeReference toLightweightTypeReference(JvmTypeReference reference)
JvmTypeReferences
in the context of
the newly forked state.reference
- the reference to convert.