jif.ast
Interface JifMethodDecl

All Superinterfaces:

polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.ast.CodeBlock, polyglot.ast.CodeDecl, polyglot.ast.CodeNode, polyglot.util.Copy, JifProcedureDecl, polyglot.ast.JL, polyglot.ast.MethodDecl, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.ProcedureDecl, 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.

Method Summary

JifMethodDecl	constraints(java.util.List constraints)
JifMethodDecl	returnLabel(LabelNode returnLabel)
JifMethodDecl	startLabel(LabelNode startLabel)

Methods inherited from interface jif.ast.JifProcedureDecl

constraints, returnLabel, startLabel

Methods inherited from interface polyglot.ast.ProcedureDecl

procedureInstance

Methods inherited from interface polyglot.ast.CodeBlock

body, body

Methods inherited from interface polyglot.ast.CodeNode

codeBody, codeInstance

Methods inherited from interface polyglot.ast.ClassMember

memberInstance

Methods inherited from interface polyglot.ast.MethodDecl

flags, flags, formals, formals, id, id, methodInstance, methodInstance, name, name, returnType, returnType, throwTypes, throwTypes

Methods inherited from interface polyglot.ast.ProcedureDecl

procedureInstance

Methods inherited from interface polyglot.ast.CodeBlock

body, body

Methods inherited from interface polyglot.ast.CodeNode

codeBody, codeInstance

Methods inherited from interface polyglot.ast.ClassMember

memberInstance

Method Detail

startLabel

JifMethodDecl startLabel(LabelNode startLabel)

returnLabel

JifMethodDecl returnLabel(LabelNode returnLabel)

constraints

JifMethodDecl constraints(java.util.List constraints)