core:
import java.lang.*;
import java.io.*;
import java.util.*;

import EDU.neu.ccs.demeter.*;
add: class Real {
  protected float value;
  public float get_value() (@ return value; @)
  public void set_value(float new_value)
    (@ value = new_value; @)
  public constructor Real() (@ super(); @)
  public constructor 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_);
  }
@)
}