Class Hierarchy Analysis Example

diagram.md

Main.java

public class Main {
  public static void main(String[] args) {
    H h = new H();
    h.m();
    // receiver has a declared class H, which is a subclass of C and H does not override method m
    // therefore we are sure we are calling C.m here.
    A a = new C();
    a.m();
    // We can be sure we are calling C.m here as A is never instantiated.
  }
}

class H extends F {}

class G extends F {}

class F extends C {
  @Override
  void p() {
  }
}

class E extends C {
  @Override
  void m() {
  }
}

class D extends B {
}

class C extends A {
  @Override
  void m() {
  }
}

class B extends A {
  @Override
  void m() {
  }
}

class A {
  void m() {
  }

  void p() {
  }
}

Example from http://web.cs.ucla.edu/~palsberg/tba/papers/dean-grove-chambers-ecoop95.pdf