public static Cons idlGetOperationDefinitions(Stella_Class renamed_Class) {
    { Cons operationdefs = Stella.NIL;

      { Slot slot = null;
        Iterator iter000 = renamed_Class.classSlots();
        Cons collect000 = null;

        while (iter000.nextP()) {
          slot = ((Slot)(iter000.value));
          if ((!slot.slotMarkedP) &&
              ((slot.primaryType() == Stella.SGT_STELLA_METHOD_SLOT) &&
               (Slot.localSlotP(slot, renamed_Class) &&
                ((!MethodSlot.idlConstructorP(((MethodSlot)(slot)))) &&
                 ((!((MethodSlot)(slot)).methodFunctionP) &&
                  ((!MethodSlot.illegalIdlMethodP(((MethodSlot)(slot)))) &&
                   (!MethodSlot.methodContainsUnknownTypeP(((MethodSlot)(slot)))))))))) {
            if (collect000 == null) {
              {
                collect000 = Cons.cons(MethodSlot.idlYieldOperationSignatureTree(((MethodSlot)(slot))), Stella.NIL);
                if (operationdefs == Stella.NIL) {
                  operationdefs = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(operationdefs, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(MethodSlot.idlYieldOperationSignatureTree(((MethodSlot)(slot))), Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      { MethodSlot auxiliary = null;
        Cons iter001 = renamed_Class.classAuxiliaryMethods().theConsList;
        Cons collect001 = null;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          auxiliary = ((MethodSlot)(iter001.value));
          if (collect001 == null) {
            {
              collect001 = Cons.cons(MethodSlot.idlYieldOperationSignatureTree(auxiliary), Stella.NIL);
              if (operationdefs == Stella.NIL) {
                operationdefs = collect001;
              }
              else {
                Cons.addConsToEndOfConsList(operationdefs, collect001);
              }
            }
          }
          else {
            {
              collect001.rest = Cons.cons(MethodSlot.idlYieldOperationSignatureTree(auxiliary), Stella.NIL);
              collect001 = collect001.rest;
            }
          }
        }
      }
      return (operationdefs);
    }
  }