00001: public class ExpVar extends Exp
00002: {
00003:   public final String var;
00004: 
00005: 
00006:   public ExpVar (String var)
00007:   {
00008:     this.var = var;
00009:   }
00010: 
00011: 
00012:   public String toString ()
00013:   {
00014:     return var;
00015:   }
00016: }
00017: