jif.types
Interface JifProcedureInstance

All Superinterfaces:

java.lang.Cloneable, polyglot.types.CodeInstance, polyglot.util.Copy, polyglot.types.ProcedureInstance, java.io.Serializable, polyglot.types.TypeObject

All Known Subinterfaces:

JifConstructorInstance, JifMethodInstance

All Known Implementing Classes:

JifConstructorInstance_c, JifMethodInstance_c

public interface JifProcedureInstance
extends polyglot.types.ProcedureInstance

Jif procedure instance. A wrapper of all the type information related to a procedure.

Method Summary

java.util.List	constraints()
polyglot.types.ReferenceType	container()
java.lang.String	debugString()
boolean	isDefaultPCBound()
boolean	isDefaultReturnLabel()
Label	pcBound()
Label	returnLabel()
void	setConstraints(java.util.List constraints)
void	setPCBound(Label startLabel, boolean isDefault)
void	setReturnLabel(Label returnLabel, boolean isDefault)
void	subst(LabelSubstitution subst)
void	subst(VarMap bounds)

Methods inherited from interface polyglot.types.ProcedureInstance

callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, signature, throwsSubset, throwsSubsetImpl, throwTypes

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

pcBound

Label pcBound()

returnLabel

Label returnLabel()

constraints

java.util.List constraints()

setPCBound

void setPCBound(Label startLabel,
                boolean isDefault)

setReturnLabel

void setReturnLabel(Label returnLabel,
                    boolean isDefault)

setConstraints

void setConstraints(java.util.List constraints)

isDefaultPCBound

boolean isDefaultPCBound()

isDefaultReturnLabel

boolean isDefaultReturnLabel()

debugString

java.lang.String debugString()

subst

void subst(VarMap bounds)

subst

void subst(LabelSubstitution subst)
           throws polyglot.types.SemanticException

Throws:

polyglot.types.SemanticException

container

polyglot.types.ReferenceType container()