polyglot.ext.coffer.ast
Interface CofferConstructorDecl

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

public interface CofferConstructorDecl
extends ConstructorDecl

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


Method Summary
 KeySetNode entryKeys()
           
 CofferConstructorDecl entryKeys(KeySetNode entryKeys)
           
 KeySetNode returnKeys()
           
 CofferConstructorDecl returnKeys(KeySetNode returnKeys)
           
 java.util.List throwConstraints()
           
 CofferConstructorDecl throwConstraints(java.util.List throwConstraints)
           
 
Methods inherited from interface polyglot.ast.ConstructorDecl
constructorInstance, constructorInstance, flags, flags, formals, formals, name, name, 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, reachable, reachable
 
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, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

entryKeys

public KeySetNode entryKeys()

entryKeys

public CofferConstructorDecl entryKeys(KeySetNode entryKeys)

returnKeys

public KeySetNode returnKeys()

returnKeys

public CofferConstructorDecl returnKeys(KeySetNode returnKeys)

throwConstraints

public java.util.List throwConstraints()

throwConstraints

public CofferConstructorDecl throwConstraints(java.util.List throwConstraints)