Text.java

   1 package jrw.sp;
   2
   3 public class Text extends Node {
   4     public final String text;
   5
   6     public Text(String text) {
   7         this.text = text;
   8     }
   9 }