jif.types

Class JifConstructorInstance_c

java.lang.Object

polyglot.types.TypeObject_c

polyglot.types.ProcedureInstance_c

polyglot.types.ConstructorInstance_c

jif.types.JifConstructorInstance_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifConstructorInstance, JifProcedureInstance, polyglot.types.CodeInstance, polyglot.types.ConstructorInstance, polyglot.types.Declaration, polyglot.types.MemberInstance, polyglot.types.ProcedureInstance, polyglot.types.TypeObject, polyglot.util.Copy<polyglot.types.TypeObject>

public class JifConstructorInstance_c
extends polyglot.types.ConstructorInstance_c
implements JifConstructorInstance

An implementation of the JifConstructorInstance interface.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<Assertion>	constraints
protected boolean	isDefaultPCBound
protected boolean	isDefaultReturnLabel
protected Label	pcBound
protected Label	returnLabel

Fields inherited from class polyglot.types.ConstructorInstance_c

decl

Fields inherited from class polyglot.types.ProcedureInstance_c

container, flags, formalTypes, throwTypes

Fields inherited from class polyglot.types.TypeObject_c

position, ts

Constructor Summary

Constructors

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)

Method Summary

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)

Methods inherited from class polyglot.types.ConstructorInstance_c

container, declaration, designator, equalsImpl, flags, formalTypes, isSameConstructor, isSameConstructorImpl, orig, setDeclaration, throwTypes, toString

Methods inherited from class polyglot.types.ProcedureInstance_c

callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, hashCode, listIsCanonical, moreSpecific, moreSpecificImpl, setContainer, setFlags, setFormalTypes, setThrowTypes, throwsSubset, throwsSubsetImpl, throwTypes

Methods inherited from class polyglot.types.TypeObject_c

copy, equals, position, typeSystem

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.types.ConstructorInstance

container, flags, formalTypes, isSameConstructor, isSameConstructorImpl, orig, throwTypes

Methods inherited from interface polyglot.types.MemberInstance

container, flags, setContainer, setFlags

Methods inherited from interface polyglot.types.Declaration

declaration, setDeclaration

Methods inherited from interface jif.types.JifProcedureInstance

container

Methods inherited from interface polyglot.types.ProcedureInstance

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

Methods inherited from interface polyglot.types.CodeInstance

flags

Field Detail

pcBound

protected Label pcBound

returnLabel

protected Label returnLabel

constraints

protected java.util.List<Assertion> constraints

isDefaultPCBound

protected boolean isDefaultPCBound

isDefaultReturnLabel

protected boolean isDefaultReturnLabel

Constructor Detail

JifConstructorInstance_c

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)

Method Detail

pcBound

public Label pcBound()

Specified by:

pcBound in interface JifProcedureInstance

externalPC

public Label externalPC()

returnLabel

public Label returnLabel()

Specified by:

returnLabel in interface JifProcedureInstance

setReturnLabel

public void setReturnLabel(Label returnLabel,
                           boolean isDefault)

Specified by:

setReturnLabel in interface JifProcedureInstance

isDefaultReturnLabel

public boolean isDefaultReturnLabel()

Specified by:

isDefaultReturnLabel in interface JifProcedureInstance

setPCBound

public void setPCBound(Label pcBound,
                       boolean isDefault)

Specified by:

setPCBound in interface JifProcedureInstance

isDefaultPCBound

public boolean isDefaultPCBound()

Specified by:

isDefaultPCBound in interface JifProcedureInstance

constraints

public java.util.List<Assertion> constraints()

Specified by:

constraints in interface JifProcedureInstance

setConstraints

public void setConstraints(java.util.List<Assertion> constraints)

Specified by:

setConstraints in interface JifProcedureInstance

isCanonical

public boolean isCanonical()

Specified by:

isCanonical in interface polyglot.types.TypeObject

Overrides:

isCanonical in class polyglot.types.ConstructorInstance_c

subst

public void subst(VarMap bounds)

Specified by:

subst in interface JifProcedureInstance

subst

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

Specified by:

subst in interface JifProcedureInstance

Throws:

polyglot.types.SemanticException

debugString

public java.lang.String debugString()

Specified by:

debugString in interface JifProcedureInstance

signature

public java.lang.String signature()

Specified by:

signature in interface polyglot.types.ProcedureInstance

Overrides:

signature in class polyglot.types.ConstructorInstance_c

fullSignature

public java.lang.String fullSignature()

provider

public ProviderLabel provider()

Specified by:

provider in interface JifProcedureInstance

Returns:

the provider label of the enclosing class.