Assertions

[Siva Sivaraman]

I am new to assertions.In the following code, how is it possible for the constructor C to access validateC()?

class C {
  int a, b, c;
  public void setA(int i) {
    a = i;
    assert validateC() : c;
  }
  public void setB(int i) {
    b = i;
    assert validateC() : c;
  }
  private boolean validateC() {
    return c > a + 2 * b;
  }
  public int m1(int i) {
    c = a + b + i;
    assert validateC() : c;
    return c;
  }
  public C(int i) {
    c = i;
    assert validateC() : c;
  }
  public static void main(String[] args) {
    C c = new C(251);    
    c.setA(50);
    c.setB(100);
  }
}

[Jim Yingst]

Ummm... because you called validateC() from the constructor? It's always possible to access a class method from within a constructor - why not? (There may be complications if the method is later overridden, but that's not possible here since it's private.) I'm not sure what you're asking.

[Siva Sivaraman]

This was the answer, I was looking for

It's always possible to access a class method from within a constructor

Thanks