Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types
Interface JifProcedureInstance

All Superinterfaces:
  java.lang.Cloneable, polyglot.types.CodeInstance, polyglot.util.Copy, polyglot.types.ProcedureInstance, java.io.Serializable, polyglot.types.TypeObject

All Known Subinterfaces:
  JifConstructorInstance, JifMethodInstance

All Known Implementing Classes:
  JifConstructorInstance_c, JifMethodInstance_c

    public interface JifProcedureInstance

extends polyglot.types.ProcedureInstance

Jif procedure instance. A wrapper of all the type information related to a procedure.

Method Summary
`java.util.List` | `constraints()`
`polyglot.types.ReferenceType` | `container()`
`java.lang.String` | `debugString()`
`boolean` | `isDefaultPCBound()`
`boolean` | `isDefaultReturnLabel()`
`Label` | `pcBound()`
`Label` | `returnLabel()`
`void` | `setConstraints(java.util.List constraints)`
`void` | `setPCBound(Label startLabel, boolean isDefault)`
`void` | `setReturnLabel(Label returnLabel, boolean isDefault)`
`void` | `subst(LabelSubstitution subst)`
`void` | `subst(VarMap bounds)`

Methods inherited from interface polyglot.types.ProcedureInstance
`callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, setFormalTypes, setThrowTypes, signature, throwsSubset, throwsSubsetImpl, throwTypes`

Methods inherited from interface polyglot.types.CodeInstance
`flags`

Methods inherited from interface polyglot.types.TypeObject
`equalsImpl, isCanonical, position, typeSystem`

Methods inherited from interface polyglot.util.Copy
`copy`

Method Detail

### pcBound

    Label pcBound()

### returnLabel

    Label returnLabel()

### constraints

    java.util.List constraints()

### setPCBound

    void setPCBound(Label startLabel,
                    boolean isDefault)

### setReturnLabel

    void setReturnLabel(Label returnLabel,
                        boolean isDefault)

### setConstraints

    void setConstraints(java.util.List constraints)

### isDefaultPCBound

    boolean isDefaultPCBound()

### isDefaultReturnLabel

    boolean isDefaultReturnLabel()

### debugString

    java.lang.String debugString()

### subst

    void subst(VarMap bounds)

### subst

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

  Throws:
    `polyglot.types.SemanticException`

### container

    polyglot.types.ReferenceType container()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD