Package mini_java

Class Ident

java.lang.Object
mini_java.Ident

class Ident extends Object
Parsed Identifier (name and location)