polyglot.types
Interface ProcedureInstance

All Superinterfaces:

java.lang.Cloneable, CodeInstance, Copy, MemberInstance, java.io.Serializable, TypeObject

All Known Subinterfaces:

CofferConstructorInstance, CofferMethodInstance, CofferProcedureInstance, ConstructorInstance, MethodInstance

All Known Implementing Classes:

CofferConstructorInstance_c, CofferMethodInstance_c, ConstructorInstance_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).

Method Summary

boolean	callValid(java.util.List actualTypes) Returns true if the procedure can be called with the given arguments.
boolean	callValidImpl(java.util.List actualTypes) Returns true if the procedure can be called with the given arguments.
java.lang.String	designator() Returns either "method" or "constructor".
java.util.List	formalTypes() List of formal parameter types.
boolean	hasFormals(java.util.List arguments) Returns true if the procedure has the given arguments.
boolean	hasFormalsImpl(java.util.List arguments) Returns true if the procedure has the given arguments.
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.
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	throwTypes() List of declared exception types thrown.

Methods inherited from interface polyglot.types.MemberInstance

container, 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 formalTypes()

List of formal parameter types.

Returns:

A list of Type.

See Also:

Type

throwTypes

java.util.List throwTypes()

List of declared exception types thrown.

Returns:

A list of Type.

See Also:

Type

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()

Returns either "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 arguments)

Returns true if the procedure has the given arguments.

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 actualTypes)

Returns true if the procedure can be called with the given arguments.

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 arguments)

Returns true if the procedure has the given arguments.

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 actualTypes)

Returns true if the procedure can be called with the given arguments.