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.
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.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 |
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)