KickJava   Java API By Example, From Geeks To Geeks.

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


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