KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > polyglot > ext > coffer > ast > CofferMethodDecl


1 package polyglot.ext.coffer.ast;
2
3 import polyglot.ast.*;
4 import java.util.*;
5
6 /** An immutable representation of the Coffer method declaration.
7  * <code>ConstructorDecl</code> is extended with pre- and post-conditions.
8  */
9 public interface CofferMethodDecl extends MethodDecl {
10     KeySetNode entryKeys();
11     CofferMethodDecl entryKeys(KeySetNode entryKeys);
12     
13     KeySetNode returnKeys();
14     CofferMethodDecl returnKeys(KeySetNode returnKeys);
15
16     List throwConstraints();
17     CofferMethodDecl throwConstraints(List throwConstraints);
18 }
19
Popular Tags