/** Returns the set of types defined for this name */ public int[] getTypes() { return types.toArray(); }