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

## jif.extension
Interface JifProcedureDeclExt

All Superinterfaces:
  java.lang.Cloneable, polyglot.util.Copy, polyglot.ast.Ext, Jif

All Known Implementing Classes:
  JifConstructorDeclExt, JifMethodDeclExt, JifProcedureDeclExt_c

    public interface JifProcedureDeclExt

extends Jif

The Jif extension of the `ProcedureDecl` node.

See Also:
  `ProcedureDecl`, `JifProcedureInstance`

Method Summary

Methods inherited from interface jif.ast.Jif
`integerBoundsCalculated, labelCheck, toJava, toJava, X, X`

Methods inherited from interface polyglot.ast.Ext
`dump, ext, ext, init, node`

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

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