public void printDocumentation(OutputStream stream, boolean shortP) {
    { MethodSlot self = this;

      if (stream == null) {
        stream = Stella.STANDARD_OUTPUT;
      }
      { String documentation = ((StringWrapper)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Stella.SYM_STELLA_DOCUMENTATION, Stella.NULL_STRING_WRAPPER))).wrapperValue;

        stream.nativeStream.print(self.slotName);
        if (!(shortP)) {
          stream.nativeStream.print(" ");
          OutputStream.prettyPrintMethodParameters(stream, self);
        }
        stream.nativeStream.println(":");
        Stella.printDocumentationString((shortP ? Stella.shortDocumentation(documentation) : documentation), 2, stream);
      }
    }
  }