org.eclipse.xtext.xbase.typesystem.override

Interface IResolvedExecutable

All Superinterfaces:

IResolvedFeature

All Known Subinterfaces:

IResolvedConstructor, IResolvedOperation

All Known Implementing Classes:

AbstractResolvedExecutable, AbstractResolvedOperation, BottomResolvedOperation, ConflictingDefaultOperation, InvokedResolvedOperation, ResolvedConstructor, ResolvedOperationInHierarchy

public interface IResolvedExecutable
extends IResolvedFeature

Resolved representation of a JvmExecutable. Parameter types and declared exceptions are put into the context of a specific declaring reference, e.g. List#add(Object) becomes List#add(String) in the context of an ArrayList<String>

Method Summary

Modifier and Type	Method and Description
org.eclipse.xtext.common.types.JvmExecutable	getDeclaration() Returns the declared executable that is resolved.
java.util.List<LightweightTypeReference>	getResolvedExceptions() Returns the resolved declared exceptions in the current context.
java.util.List<LightweightTypeReference>	getResolvedParameterTypes() Returns the resolved parameter types in the current context.
java.util.List<org.eclipse.xtext.common.types.JvmTypeParameter>	getTypeParameters() Returns the list of declared type parameters of the executable.

Methods inherited from interface org.eclipse.xtext.xbase.typesystem.override.IResolvedFeature

getContextType, getResolvedDeclarator, getResolvedErasureSignature, getResolvedSignature, getSimpleSignature

Method Detail

getResolvedParameterTypes

java.util.List<LightweightTypeReference> getResolvedParameterTypes()

Returns the resolved parameter types in the current context. That is, all free type variables are bound according the the bottom of this method hierarchy.

Returns:

the list of parameter types.

See Also:

IResolvedFeature.getContextType()

getResolvedExceptions

java.util.List<LightweightTypeReference> getResolvedExceptions()

Returns the resolved declared exceptions in the current context. That is, all free type variables are bound according the the bottom of this method hierarchy.

Returns:

the declared exceptions.

See Also:

IResolvedFeature.getContextType()

getDeclaration

org.eclipse.xtext.common.types.JvmExecutable getDeclaration()

Returns the declared executable that is resolved.

Specified by:

getDeclaration in interface IResolvedFeature

Returns:

the declaration.

getTypeParameters

java.util.List<org.eclipse.xtext.common.types.JvmTypeParameter> getTypeParameters()

Returns the list of declared type parameters of the executable.

Returns:

the list of declared type parameters.