- All Superinterfaces:
- polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.ast.CodeBlock, polyglot.ast.CodeDecl, polyglot.ast.CodeNode, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Documentable, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.ProcedureDecl, java.io.Serializable, polyglot.ast.Term
- All Known Subinterfaces:
- JifConstructorDecl, JifMethodDecl
- All Known Implementing Classes:
- JifConstructorDecl_c, JifMethodDecl_c
public interface JifProcedureDecl
extends polyglot.ast.ProcedureDecl
An immutable representation of the Jif procedure declaration.
It extends the Java procedure declaration with the start label,
the return label, and various constraints, including the authority
constraint, the caller constraint, and the acts-for constraint.