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