public class JifConstructorInstance_c extends polyglot.types.ConstructorInstance_c implements JifConstructorInstance
JifConstructorInstance
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 |
---|
JifConstructorInstance_c(JifTypeSystem ts,
polyglot.util.Position pos,
polyglot.types.ClassType container,
polyglot.types.Flags flags,
Label pcBound,
boolean isDefaultPCBound,
Label returnLabel,
boolean isDefaultReturnLabel,
java.util.List<? extends polyglot.types.Type> formalTypes,
java.util.List<Label> formalArgLabels,
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() |
Label |
externalPC() |
java.lang.String |
fullSignature() |
boolean |
isCanonical() |
boolean |
isDefaultPCBound() |
boolean |
isDefaultReturnLabel() |
Label |
pcBound() |
ProviderLabel |
provider() |
Label |
returnLabel() |
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) |
container, declaration, designator, equalsImpl, flags, formalTypes, isSameConstructor, isSameConstructorImpl, orig, setDeclaration, throwTypes, toString
callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, hashCode, listIsCanonical, moreSpecific, moreSpecificImpl, setContainer, setFlags, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
container, flags, formalTypes, isSameConstructor, isSameConstructorImpl, orig, 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 JifConstructorInstance_c(JifTypeSystem ts, polyglot.util.Position pos, polyglot.types.ClassType container, polyglot.types.Flags flags, Label pcBound, boolean isDefaultPCBound, Label returnLabel, boolean isDefaultReturnLabel, java.util.List<? extends polyglot.types.Type> formalTypes, java.util.List<Label> formalArgLabels, java.util.List<? extends polyglot.types.Type> excTypes, java.util.List<Assertion> constraints)
public Label pcBound()
pcBound
in interface JifProcedureInstance
public Label externalPC()
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 void setPCBound(Label pcBound, boolean isDefault)
setPCBound
in interface JifProcedureInstance
public boolean isDefaultPCBound()
isDefaultPCBound
in interface JifProcedureInstance
public java.util.List<Assertion> constraints()
constraints
in interface JifProcedureInstance
public void setConstraints(java.util.List<Assertion> constraints)
setConstraints
in interface JifProcedureInstance
public boolean isCanonical()
isCanonical
in interface polyglot.types.TypeObject
isCanonical
in class polyglot.types.ConstructorInstance_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.ConstructorInstance_c
public java.lang.String fullSignature()
public ProviderLabel provider()
provider
in interface JifProcedureInstance