Package mini_java

Class Class_

java.lang.Object
mini_java.Class_

class Class_ extends Object
Typed Class (Called Class_ to avoid the confusion with java.lang.Class.)