01: package gnu.kawa.xml;
02:
03: import gnu.kawa.reflect.*;
04: import gnu.bytecode.*;
05: import gnu.expr.*;
06:
07: public class NodeSetType extends OccurrenceType {
08: public NodeSetType(Type itemType) {
09: super (itemType, 0, -1);
10: }
11:
12: public static Type getInstance(Type base) {
13: return new NodeSetType(base);
14: }
15:
16: public String toString() {
17: return super .toString() + "node-set";
18: }
19: }
|