public static Symbol idlClassCategory(Stella_Class renamed_Class) {
    if (!(renamed_Class.properties() != null)) {
      return (Stella.SYM_STELLA_IDL_INTERFACE);
    }
    { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(renamed_Class.properties().first()));

      if (testValue000 == Stella.SYM_STELLA_sIDL_THEORYsinterface) {
        return (Stella.SYM_STELLA_IDL_INTERFACE);
      }
      else if (testValue000 == Stella.SYM_STELLA_sIDL_THEORYsstruct) {
        return (Stella.SYM_STELLA_IDL_STRUCT);
      }
      else if (testValue000 == Stella.SYM_STELLA_sIDL_THEORYsenum) {
        return (Stella.SYM_STELLA_IDL_ENUM);
      }
      else if (testValue000 == Stella.SYM_STELLA_sIDL_THEORYstypedef) {
        return (Stella.SYM_STELLA_IDL_TYPEDEF);
      }
      else {
        return (Stella.SYM_STELLA_IDL_INTERFACE);
      }
    }
  }