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

KeySetNode entryKeys()

entryKeys

CofferMethodDecl entryKeys(KeySetNode entryKeys)

returnKeys

KeySetNode returnKeys()

returnKeys

CofferMethodDecl returnKeys(KeySetNode returnKeys)

throwConstraints

java.util.List throwConstraints()

throwConstraints

CofferMethodDecl throwConstraints(java.util.List throwConstraints)