KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > gnu > kawa > xml > NodeSetType


1 package gnu.kawa.xml;
2 import gnu.kawa.reflect.*;
3 import gnu.bytecode.*;
4 import gnu.expr.*;
5
6 public class NodeSetType extends OccurrenceType
7 {
8   public NodeSetType (Type itemType)
9   {
10     super(itemType, 0, -1);
11   }
12
13   public static Type getInstance (Type base)
14   {
15     return new NodeSetType(base);
16   }
17
18   public String JavaDoc toString ()
19   {
20     return super.toString()+"node-set";
21   }
22 }
23
Popular Tags