polyglot.ext.coffer.ast
Interface CofferMethodDecl

All Superinterfaces:
ClassMember, java.lang.Cloneable, CodeDecl, Copy, JL, MethodDecl, Node, NodeOps, ProcedureDecl, Term
All Known Implementing Classes:
CofferMethodDecl_c

public interface CofferMethodDecl
extends MethodDecl

An immutable representation of the Coffer method declaration. ConstructorDecl is extended with pre- and post-conditions.


Method Summary
 KeySetNode entryKeys()
           
 CofferMethodDecl entryKeys(KeySetNode entryKeys)
           
 KeySetNode returnKeys()
           
 CofferMethodDecl returnKeys(KeySetNode returnKeys)
           
 java.util.List throwConstraints()
           
 CofferMethodDecl throwConstraints(java.util.List throwConstraints)
           
 
Methods inherited from interface polyglot.ast.MethodDecl
flags, flags, formals, formals, methodInstance, methodInstance, name, name, returnType, returnType, throwTypes, throwTypes
 
Methods inherited from interface polyglot.ast.ProcedureDecl
procedureInstance
 
Methods inherited from interface polyglot.ast.CodeDecl
body, body, codeInstance
 
Methods inherited from interface polyglot.ast.Term
acceptCFG, entry, exceptions, exceptions, reachable, reachable
 
Methods inherited from interface polyglot.ast.Node
childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList
 
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, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

entryKeys

public KeySetNode entryKeys()

entryKeys

public CofferMethodDecl entryKeys(KeySetNode entryKeys)

returnKeys

public KeySetNode returnKeys()

returnKeys

public CofferMethodDecl returnKeys(KeySetNode returnKeys)

throwConstraints

public java.util.List throwConstraints()

throwConstraints

public CofferMethodDecl throwConstraints(java.util.List throwConstraints)