package minijava; public enum TypeEnum { classname, int_array, bool, integer, CHECK, ERROR }