public static Cons idlGetAttributeDefinitions(Stella_Class renamed_Class) {
    { Cons attributedefs = Stella.NIL;

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

        while (iter000.nextP()) {
          slot = ((Slot)(iter000.value));
          if (Stella_Object.storageSlotP(slot) &&
              (StorageSlot.nativeSlotP(((StorageSlot)(slot))) &&
               (Slot.nativeSlotHome(slot, renamed_Class) == renamed_Class))) {
            attributedefs = Cons.cons(StorageSlot.idlYieldAttributeTree(((StorageSlot)(slot)), renamed_Class), attributedefs);
          }
        }
      }
      return (attributedefs.reverse());
    }
  }