polyglot.types

Interface ProcedureInstance

All Superinterfaces:

java.lang.Cloneable, CodeInstance, Copy<TypeObject>, java.io.Serializable, TypeObject

All Known Subinterfaces:

AnnotationTypeElemInstance, ConstructorInstance, FunctionInstance, JL5ConstructorInstance, JL5MethodInstance, JL5ProcedureInstance, MethodInstance

All Known Implementing Classes:

AnnotationTypeElemInstance_c, ConstructorInstance_c, CovarRetOutputExtensionInfo.CovarRetMethodInstance_c, JL5ConstructorInstance_c, JL5MethodInstance_c, MethodInstance_c, ProcedureInstance_c

public interface ProcedureInstance
extends CodeInstance

A ProcedureInstance contains the type information for a Java procedure (either a method or a constructor).

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Method Summary

Methods

Modifier and Type	Method and Description
boolean	callValid(java.util.List<? extends Type> actualTypes) Returns true if the procedure can be called with the given argument types.
boolean	callValidImpl(java.util.List<? extends Type> actualTypes) Returns true if the procedure can be called with the given argument types.
java.lang.String	designator() String describing the kind of procedure, (e.g., "method" or "constructor").
java.util.List<? extends Type>	formalTypes() List of formal parameter types.
boolean	hasFormals(java.util.List<? extends Type> arguments) Returns true if the procedure has the given formal parameter types.
boolean	hasFormalsImpl(java.util.List<? extends Type> arguments) Returns true if the procedure has the given formal parameter types.
boolean	moreSpecific(ProcedureInstance pi) Return true if this is more specific than pi in terms of method overloading.
boolean	moreSpecificImpl(ProcedureInstance pi) Return true if this is more specific than pi in terms of method overloading.
void	setFormalTypes(java.util.List<? extends Type> l)
void	setThrowTypes(java.util.List<? extends Type> l)
java.lang.String	signature() Returns a String representing the signature of the procedure.
boolean	throwsSubset(ProcedureInstance pi) Returns true if the procedure throws a subset of the exceptions thrown by pi.
boolean	throwsSubsetImpl(ProcedureInstance pi) Returns true if the procedure throws a subset of the exceptions thrown by pi.
java.util.List<? extends Type>	throwTypes() List of declared exception types thrown.

Methods inherited from interface polyglot.types.CodeInstance

flags

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

formalTypes

java.util.List<? extends Type> formalTypes()

List of formal parameter types.

Returns:

A list of Type.

See Also:

Type

setFormalTypes

void setFormalTypes(java.util.List<? extends Type> l)

Parameters:

formalTypes - The formalTypes to set.

throwTypes

java.util.List<? extends Type> throwTypes()

List of declared exception types thrown.

Returns:

A list of Type.

See Also:

Type

setThrowTypes

void setThrowTypes(java.util.List<? extends Type> l)

Parameters:

throwTypes - The throwTypes to set.

signature

java.lang.String signature()

Returns a String representing the signature of the procedure. This includes just the name of the method (or name of the class, if it is a constructor), and the argument types.

designator

java.lang.String designator()

String describing the kind of procedure, (e.g., "method" or "constructor").

moreSpecific

boolean moreSpecific(ProcedureInstance pi)

Return true if this is more specific than pi in terms of method overloading.

hasFormals

boolean hasFormals(java.util.List<? extends Type> arguments)

Returns true if the procedure has the given formal parameter types.

throwsSubset

boolean throwsSubset(ProcedureInstance pi)

Returns true if the procedure throws a subset of the exceptions thrown by pi.

callValid

boolean callValid(java.util.List<? extends Type> actualTypes)

Returns true if the procedure can be called with the given argument types.

moreSpecificImpl

boolean moreSpecificImpl(ProcedureInstance pi)

Return true if this is more specific than pi in terms of method overloading.

hasFormalsImpl

boolean hasFormalsImpl(java.util.List<? extends Type> arguments)

Returns true if the procedure has the given formal parameter types.

throwsSubsetImpl

boolean throwsSubsetImpl(ProcedureInstance pi)

Returns true if the procedure throws a subset of the exceptions thrown by pi.

callValidImpl

boolean callValidImpl(java.util.List<? extends Type> actualTypes)

Returns true if the procedure can be called with the given argument types.