- 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, JifProcedureDecl, polyglot.ast.MethodDecl, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.ProcedureDecl, java.io.Serializable, polyglot.ast.Term
- All Known Implementing Classes:
- JifMethodDecl_c
public interface JifMethodDecl
extends JifProcedureDecl, polyglot.ast.MethodDecl
An immutable representation of the Jif method declaration.
It extends the Java method declaration with the start label,
the return label, and various constraints, including the authority
constraint, the caller constraint, and the acts-for constraint.