jif.types
Class JifMethodInstance_c
java.lang.Object
polyglot.types.TypeObject_c
polyglot.types.ProcedureInstance_c
polyglot.types.MethodInstance_c
jif.types.JifMethodInstance_c
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, JifMethodInstance, JifProcedureInstance, polyglot.types.CodeInstance, polyglot.types.Declaration, polyglot.types.FunctionInstance, polyglot.types.MemberInstance, polyglot.types.MethodInstance, polyglot.types.ProcedureInstance, polyglot.types.TypeObject, polyglot.util.Copy
public class JifMethodInstance_c
- extends polyglot.types.MethodInstance_c
- implements JifMethodInstance
An implementation of the JifMethodInstance
interface.
- See Also:
- Serialized Form
Fields inherited from class polyglot.types.MethodInstance_c |
decl, name, returnType |
Fields inherited from class polyglot.types.ProcedureInstance_c |
container, flags, formalTypes, throwTypes |
Fields inherited from class polyglot.types.TypeObject_c |
position, ts |
Constructor Summary |
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 formalTypes,
java.util.List formalArgLabels,
Label returnLabel,
boolean isDefaultReturnLabel,
java.util.List excTypes,
java.util.List constraints)
|
Methods inherited from class polyglot.types.MethodInstance_c |
canOverride, canOverrideImpl, canOverrideImpl, checkOverride, container, declaration, designator, equalsImpl, flags, formalTypes, hashCode, implemented, implementedImpl, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, orig, overrides, overridesImpl, returnType, returnType, setDeclaration, setName, setReturnType, throwTypes |
Methods inherited from class polyglot.types.ProcedureInstance_c |
callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, 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.MethodInstance |
canOverride, canOverrideImpl, checkOverride, container, flags, formalTypes, implemented, implementedImpl, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, orig, overrides, overridesImpl, returnType, setName, throwTypes |
Methods inherited from interface polyglot.types.FunctionInstance |
returnType, setReturnType |
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 |
Methods inherited from interface polyglot.types.TypeObject |
equalsImpl, position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
copy |
Methods inherited from interface polyglot.types.MemberInstance |
container, flags, setContainer, setFlags |
Methods inherited from interface polyglot.types.Declaration |
declaration, setDeclaration |
pcBound
protected Label pcBound
returnLabel
protected Label returnLabel
constraints
protected java.util.List constraints
isDefaultPCBound
protected boolean isDefaultPCBound
isDefaultReturnLabel
protected boolean isDefaultReturnLabel
JifMethodInstance_c
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 formalTypes,
java.util.List formalArgLabels,
Label returnLabel,
boolean isDefaultReturnLabel,
java.util.List excTypes,
java.util.List constraints)
pcBound
public Label pcBound()
- Specified by:
pcBound
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
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
returnValueLabel
public Label returnValueLabel()
- Specified by:
returnValueLabel
in interface JifMethodInstance
constraints
public java.util.List constraints()
- Specified by:
constraints
in interface JifProcedureInstance
setConstraints
public void setConstraints(java.util.List constraints)
- Specified by:
setConstraints
in interface JifProcedureInstance
toString
public java.lang.String toString()
- Overrides:
toString
in class polyglot.types.MethodInstance_c
isCanonical
public boolean isCanonical()
- Specified by:
isCanonical
in interface polyglot.types.TypeObject
- Overrides:
isCanonical
in class polyglot.types.MethodInstance_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.MethodInstance_c
fullSignature
public java.lang.String fullSignature()