public class JifMethodInstance_c extends polyglot.types.MethodInstance_c implements JifMethodInstance
JifMethodInstance
interface.Modifier and Type | Field and Description |
---|---|
protected java.util.List<Assertion> |
constraints |
protected boolean |
isDefaultPCBound |
protected boolean |
isDefaultReturnLabel |
protected Label |
pcBound |
protected Label |
returnLabel |
Constructor and Description |
---|
JifMethodInstance_c(JifTypeSystem ts,
polyglot.util.Position pos,
polyglot.types.ReferenceType container,
polyglot.types.Flags flags,
polyglot.types.Type returnType,
java.lang.String name,
Label pcBound,
boolean isDefaultPCBound,
java.util.List<? extends polyglot.types.Type> formalTypes,
java.util.List<Label> formalArgLabels,
Label returnLabel,
boolean isDefaultReturnLabel,
java.util.List<? extends polyglot.types.Type> excTypes,
java.util.List<Assertion> constraints) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Assertion> |
constraints() |
java.lang.String |
debugString() |
java.lang.String |
fullSignature() |
boolean |
isCanonical() |
boolean |
isDefaultPCBound() |
boolean |
isDefaultReturnLabel() |
Label |
pcBound() |
ProviderLabel |
provider() |
Label |
returnLabel() |
Label |
returnValueLabel() |
void |
setConstraints(java.util.List<Assertion> constraints) |
void |
setPCBound(Label pcBound,
boolean isDefault) |
void |
setReturnLabel(Label returnLabel,
boolean isDefault) |
java.lang.String |
signature() |
void |
subst(LabelSubstitution subst) |
void |
subst(VarMap bounds) |
java.lang.String |
toString() |
canOverride, canOverrideImpl, canOverrideImpl, checkOverride, container, declaration, designator, equalsImpl, flags, formalTypes, hashCode, implemented, implementedImpl, implementedImplAux, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, orig, overrides, overridesImpl, returnType, returnType, setDeclaration, setName, setReturnType, throwTypes
callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, listIsCanonical, moreSpecific, moreSpecificImpl, setContainer, setFlags, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
canOverride, canOverrideImpl, checkOverride, container, flags, formalTypes, implemented, implementedImpl, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, orig, overrides, overridesImpl, returnType, setName, throwTypes
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes
container, flags, setContainer, setFlags
container
protected Label pcBound
protected Label returnLabel
protected java.util.List<Assertion> constraints
protected boolean isDefaultPCBound
protected boolean isDefaultReturnLabel
public JifMethodInstance_c(JifTypeSystem ts, polyglot.util.Position pos, polyglot.types.ReferenceType container, polyglot.types.Flags flags, polyglot.types.Type returnType, java.lang.String name, Label pcBound, boolean isDefaultPCBound, java.util.List<? extends polyglot.types.Type> formalTypes, java.util.List<Label> formalArgLabels, Label returnLabel, boolean isDefaultReturnLabel, java.util.List<? extends polyglot.types.Type> excTypes, java.util.List<Assertion> constraints)
public Label pcBound()
pcBound
in interface JifProcedureInstance
public void setPCBound(Label pcBound, boolean isDefault)
setPCBound
in interface JifProcedureInstance
public boolean isDefaultPCBound()
isDefaultPCBound
in interface JifProcedureInstance
public Label returnLabel()
returnLabel
in interface JifProcedureInstance
public void setReturnLabel(Label returnLabel, boolean isDefault)
setReturnLabel
in interface JifProcedureInstance
public boolean isDefaultReturnLabel()
isDefaultReturnLabel
in interface JifProcedureInstance
public Label returnValueLabel()
returnValueLabel
in interface JifMethodInstance
public java.util.List<Assertion> constraints()
constraints
in interface JifProcedureInstance
public void setConstraints(java.util.List<Assertion> constraints)
setConstraints
in interface JifProcedureInstance
public java.lang.String toString()
toString
in class polyglot.types.MethodInstance_c
public boolean isCanonical()
isCanonical
in interface polyglot.types.TypeObject
isCanonical
in class polyglot.types.MethodInstance_c
public void subst(VarMap bounds)
subst
in interface JifProcedureInstance
public void subst(LabelSubstitution subst) throws polyglot.types.SemanticException
subst
in interface JifProcedureInstance
polyglot.types.SemanticException
public java.lang.String debugString()
debugString
in interface JifProcedureInstance
public java.lang.String signature()
signature
in interface polyglot.types.ProcedureInstance
signature
in class polyglot.types.MethodInstance_c
public java.lang.String fullSignature()
public ProviderLabel provider()
provider
in interface JifProcedureInstance