|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public java.util.List formalTypes()
Type
.Type
public java.util.List throwTypes()
Type
.Type
public java.lang.String signature()
public java.lang.String designator()
public boolean moreSpecific(ProcedureInstance pi)
this
is more specific than pi
in terms of method overloading.
public boolean hasFormals(java.util.List arguments)
public boolean throwsSubset(ProcedureInstance pi)
pi
.
public boolean callValid(java.util.List actualTypes)
public boolean moreSpecificImpl(ProcedureInstance pi)
this
is more specific than pi
in terms of method overloading.
public boolean hasFormalsImpl(java.util.List arguments)
public boolean throwsSubsetImpl(ProcedureInstance pi)
pi
.
public boolean callValidImpl(java.util.List actualTypes)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |