having a new check that verifies the single reference constraint: only allows a singl...

[IRC.git] / Robust / src / ClassLibrary / doublewrapper.java

public class doublewrapper {
  public doublewrapper() {
  }
  double value;
}