jif.ast
Interface JifMethodDecl

All Superinterfaces:

polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.ast.CodeDecl, 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 lable, 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

flags, formals, name, procedureInstance, throwTypes

Methods inherited from interface polyglot.ast.CodeDecl

body, body, codeInstance

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, foldConstants, foldConstantsEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Term

acceptCFG, entry, reachable, reachable

Methods inherited from interface polyglot.ast.MethodDecl

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

Method Detail

startLabel

public JifMethodDecl startLabel(LabelNode startLabel)

returnLabel

public JifMethodDecl returnLabel(LabelNode returnLabel)

constraints

public JifMethodDecl constraints(java.util.List constraints)