rule_07.java

  void testDefaultConstruction()
     {
       Foo foo = new Foo();
       assertNotNull(foo);
     }

rule_13.java

     private double weight_;
     private double x_, y_;

     public void setWeight(int weight)
     {
       weight = weight_;  // error
     }

     public double getX()
     {
       return x_;
     }

     public double getY()
     {
       return x_;  // error
     }

rule_15.java

     void setLength(double length);

rule_17.java

    void testByteSwapper()
    {
      for (int i = 0; i < 1000000; i++) {
        double v0 = Random.getDouble();
        double v1 = ByteSwapper.swap(v0);
        double v2 = ByteSwapper.swap(v1);
        assertEquals(v0, v2);
      }
    }

rule_20.1.java

    void setLength(double length) throws IllegalArgumentException;

rule_20.2.java

    try {
      setLength(-1.0);
      fail();  // If we get here, something went wrong
    }
    catch (IllegalArgumentException exception) {
      // If we get here, all is fine
    }

rule_21.java

    public void scale(double x0, double y0, double scaleFactor)
    {
      // scaling logic
    }

    public void scale(double x0, double y0)
    {
      scale(x0, y0, 1.0);
    }

rule_25.1.java

    Handle handle = manager.getHandle();
    assertNotNull(handle);

    String handleName = handle.getName();
    assertEquals(handleName, "handle-01");

rule_25.2.java

    Handle handle = manager.getHandle();
    assertNotNull(handle);
    if (handle == null) return;

    String handleName = handle.getName();
    assertEquals(handleName, "handle-01");