308309310311312313314
if (mapping.getEnumType() == enumType) { return mapping.getEnumValueCount(); } } } throw new EARuntimeError("Undefined enum type: " + enumType); }
352353354355356357358359360361
} } // if we did not find one then there are no enum types if (r == -1) { throw new EARuntimeError("No enum types defined in context."); } return r; }