import java.lang.*;
import java.io.*;
import java.util.*;
import EDU.neu.ccs.demeter.*;
 class Real {
  protected float value;
  public float get_value() { return value;   }
  public void set_value(float new_value) { value = new_value;   }
  public Real() { super();   }
  public Real(float value) {
    super();
    set_value(value);
    }
  public static Real parse(java.io.InputStream in) throws ParseException { return new Parser(in)._Real();   }
  public static Real parse(String s) {
    try { return parse(new java.io.ByteArrayInputStream(s.getBytes())); }
    catch (ParseException e) { throw new RuntimeException(e.toString()); }
    }
    void universal_trv0_bef(UniversalVisitor _v_) {
    _v_.before(this);
  }

    void universal_trv0_aft(UniversalVisitor _v_) {
    _v_.after(this);
  }

    void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    _v_.before_value(this, value);
    _v_.after_value(this, value);
    universal_trv0_aft(_v_);
  }

}