public interface JifProcedureInstance
extends polyglot.types.ProcedureInstance
Modifier and Type | Method and Description |
---|---|
java.util.List<Assertion> |
constraints() |
polyglot.types.ReferenceType |
container() |
java.lang.String |
debugString() |
boolean |
isDefaultPCBound() |
boolean |
isDefaultReturnLabel() |
Label |
pcBound() |
ProviderLabel |
provider() |
Label |
returnLabel() |
void |
setConstraints(java.util.List<Assertion> constraints) |
void |
setPCBound(Label startLabel,
boolean isDefault) |
void |
setReturnLabel(Label returnLabel,
boolean isDefault) |
void |
subst(LabelSubstitution subst) |
void |
subst(VarMap bounds) |
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, signature, throwsSubset, throwsSubsetImpl, throwTypes
Label pcBound()
Label returnLabel()
java.util.List<Assertion> constraints()
void setPCBound(Label startLabel, boolean isDefault)
void setReturnLabel(Label returnLabel, boolean isDefault)
void setConstraints(java.util.List<Assertion> constraints)
boolean isDefaultPCBound()
boolean isDefaultReturnLabel()
java.lang.String debugString()
void subst(VarMap bounds)
void subst(LabelSubstitution subst) throws polyglot.types.SemanticException
polyglot.types.SemanticException
polyglot.types.ReferenceType container()
ProviderLabel provider()