public void vizExportModule(Module module) {
    {
      VizInfo self = this;

      Logic.plLog(
          OntosaurusUtil.KWD_MEDIUM,
          Cons.cons(
              StringWrapper.wrapString("powerloom-viz: exporting module: "),
              Cons.cons(module, Stella.NIL)));
      {
        Object old$Module$000 = Stella.$MODULE$.get();
        Object old$Context$000 = Stella.$CONTEXT$.get();

        try {
          Native.setSpecial(Stella.$MODULE$, module);
          Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
          self.vizExportConcepts(module);

        } finally {
          Stella.$CONTEXT$.set(old$Context$000);
          Stella.$MODULE$.set(old$Module$000);
        }
      }
    }
  }
  public static void STARTUP_XML_SCHEMA_INSTANCE() {
    {
      Object OLD_$MODULE$_000 = Stella.$MODULE$.get();
      Object OLD_$CONTEXT$_000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(
            Stella.$MODULE$,
            Stella.getStellaModule("/STELLA/XML-OBJECTS/XSI", Stella.$STARTUP_TIME_PHASE$ > 1));
        Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
        if (Stella.currentStartupTimePhaseP(2)) {
          Xsi.SYM_XSI_STARTUP_XML_SCHEMA_INSTANCE =
              ((Symbol)
                  (GeneralizedSymbol.internRigidSymbolWrtModule(
                      "STARTUP-XML-SCHEMA-INSTANCE", null, 0)));
        }
        if (Stella.currentStartupTimePhaseP(6)) {
          Stella.finalizeClasses();
        }
        if (Stella.currentStartupTimePhaseP(7)) {
          Stella.defineFunctionObject(
              "STARTUP-XML-SCHEMA-INSTANCE",
              "(DEFUN STARTUP-XML-SCHEMA-INSTANCE () :PUBLIC? TRUE)",
              Native.find_java_method(
                  "edu.isi.webtools.objects.xmlschemainstance._StartupXmlSchemaInstance",
                  "STARTUP_XML_SCHEMA_INSTANCE",
                  new java.lang.Class[] {}),
              null);
          {
            MethodSlot function = Symbol.lookupFunction(Xsi.SYM_XSI_STARTUP_XML_SCHEMA_INSTANCE);

            KeyValueList.setDynamicSlotValue(
                function.dynamicSlots,
                edu.isi.webtools.http.Http.SYM_STELLA_METHOD_STARTUP_CLASSNAME,
                StringWrapper.wrapString("_StartupXmlSchemaInstance"),
                Stella.NULL_STRING_WRAPPER);
          }
        }
        if (Stella.currentStartupTimePhaseP(8)) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
        }
        if (Stella.currentStartupTimePhaseP(9)) {
          Stella_Object.inModule(
              ((StringWrapper) (Stella_Object.copyConsTree(StringWrapper.wrapString("XSI")))));
          XmlObjects.$NAMESPACE_PREFIX_URI_TABLE$.insertAt(
              StringWrapper.wrapString("XSI"),
              StringWrapper.wrapString("http://www.w3.org/2001/XMLSchema-instance"));
          XmlObjects.$NAMESPACE_URI_PREFIX_TABLE$.insertAt(
              StringWrapper.wrapString("http://www.w3.org/2001/XMLSchema-instance"),
              StringWrapper.wrapString("XSI"));
        }

      } finally {
        Stella.$CONTEXT$.set(OLD_$CONTEXT$_000);
        Stella.$MODULE$.set(OLD_$MODULE$_000);
      }
    }
  }
  public void vizAddConceptRulesToDotNode(LogicObject concept, Module module) {
    {
      VizInfo self = this;

      {
        OutputStream stream = self.stream;
        boolean firstP = true;

        {
          Object old$Module$000 = Stella.$MODULE$.get();
          Object old$Context$000 = Stella.$CONTEXT$.get();

          try {
            Native.setSpecial(Stella.$MODULE$, module);
            Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
            {
              Object old$PrettyprintlogicalformsP$000 = Logic.$PRETTYPRINTLOGICALFORMSp$.get();

              try {
                Native.setBooleanSpecial(Logic.$PRETTYPRINTLOGICALFORMSp$, true);
                {
                  Proposition rule = null;
                  edu.isi.powerloom.PlIterator iter000 =
                      edu.isi.powerloom.PLI.getRules(concept, module, null);

                  while (iter000.nextP()) {
                    rule = ((Proposition) (iter000.value));
                    if (!Proposition.simpleSubrelationPropositionP(rule)) {
                      if (!(firstP)) {
                        stream.nativeStream.print("\\l");
                      }
                      firstP = false;
                      stream.nativeStream.print(
                          OntosaurusUtil.vizDotString(Native.stringify(rule)));
                    }
                  }
                }

              } finally {
                Logic.$PRETTYPRINTLOGICALFORMSp$.set(old$PrettyprintlogicalformsP$000);
              }
            }

          } finally {
            Stella.$CONTEXT$.set(old$Context$000);
            Stella.$MODULE$.set(old$Module$000);
          }
        }
      }
    }
  }
Beispiel #4
0
  /**
   * Returns the date part of the string representation of <code>date</code> adjusted for <code>
   * timezone</code>. Format is YYYY-MMM-DD, where MMM is a three letter English abbreviation of the
   * month if <code>numericMonthP</code> is <code>false</code> and a two digit numeric value if
   * <code>numericMonthP</code> is <code>true</code>. The value <code>false</code> is recommended.
   *
   * @param timezone
   * @param numericMonthP
   * @return String
   */
  public String calendarDateToDateString(double timezone, boolean numericMonthP) {
    {
      CalendarDate date = this;

      {
        int year = Stella.NULL_INTEGER;
        int month = Stella.NULL_INTEGER;
        int day = Stella.NULL_INTEGER;
        Keyword dow = null;

        {
          Object[] caller_MV_returnarray = new Object[3];

          year = date.getCalendarDate(timezone, caller_MV_returnarray);
          month = ((int) (((IntegerWrapper) (caller_MV_returnarray[0])).wrapperValue));
          day = ((int) (((IntegerWrapper) (caller_MV_returnarray[1])).wrapperValue));
          dow = ((Keyword) (caller_MV_returnarray[2]));
        }
        dow = dow;
        {
          String yearString =
              ((year < 0)
                  ? (Native.integerToString(0 - year) + "BC")
                  : Native.integerToString(year));
          String monthString =
              (numericMonthP
                  ? Stella.formatWithPadding(
                      Native.integerToString(month), 2, '0', Stella.KWD_RIGHT, false)
                  : StringWrapper.unwrapString(
                      ((StringWrapper) ((Stella.$MONTH_ABBREVIATION_VECTOR$.theArray)[month]))));

          return (yearString
              + "-"
              + monthString
              + "-"
              + Stella.formatWithPadding(
                  Native.integerToString(day), 2, '0', Stella.KWD_RIGHT, false));
        }
      }
    }
  }
  public static void initializeStellaHashTable(StellaHashTable self) {
    {
      int size =
          Stella.pickHashTableSizePrime(
              Native.floor(self.initialSize / Stella.$STELLA_HASH_TABLE_AVG_BUCKET_LENGTH$));
      KvCons[] table = new KvCons[size];

      {
        int i = Stella.NULL_INTEGER;
        int iter000 = 0;
        int upperBound000 = size - 1;

        for (; iter000 <= upperBound000; iter000 = iter000 + 1) {
          i = iter000;
          table[i] = null;
        }
      }
      self.theTable = table;
      self.size = size;
      self.freeElements = Native.floor(size * Stella.$STELLA_HASH_TABLE_AVG_BUCKET_LENGTH$);
    }
  }
  public void vizAddConceptAttributesToDotNode(LogicObject concept, Module module) {
    {
      VizInfo self = this;

      {
        OutputStream stream = self.stream;
        LogicObject range = null;

        {
          Object old$Module$000 = Stella.$MODULE$.get();
          Object old$Context$000 = Stella.$CONTEXT$.get();

          try {
            Native.setSpecial(Stella.$MODULE$, module);
            Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
            {
              LogicObject relation = null;
              Cons iter000 = self.vizGetBinaryRelationsOf(concept);

              for (; !(iter000 == Stella.NIL); iter000 = iter000.rest) {
                relation = ((LogicObject) (iter000.value));
                range = edu.isi.powerloom.PLI.getRange(relation);
                stream.nativeStream.print(
                    OntosaurusUtil.vizDotObjectName(relation)
                        + ": "
                        + OntosaurusUtil.vizDotObjectName(range)
                        + "\\l");
              }
            }

          } finally {
            Stella.$CONTEXT$.set(old$Context$000);
            Stella.$MODULE$.set(old$Module$000);
          }
        }
      }
    }
  }
Beispiel #7
0
  /**
   * Returns the time part of the string representation of <code>date</code> adjusted for <code>
   * timezone</code>. The timezone is included in the string if <code>includeTimezoneP</code> is
   * <code>true</code>. The value <code>true</code> is recommended. Milliseconds will be included if
   * <code>includeMillisP</code> is <code>true</code>. Hours will be zero-padded to length 2 if
   * <code>padHoursP</code> is <code>true</code>.
   *
   * @param timezone
   * @param includeTimezoneP
   * @param includeMillisP
   * @param padHoursP
   * @return String
   */
  public String calendarDateToTimeString(
      double timezone, boolean includeTimezoneP, boolean includeMillisP, boolean padHoursP) {
    {
      CalendarDate date = this;

      {
        int hours = Stella.NULL_INTEGER;
        int minutes = Stella.NULL_INTEGER;
        int seconds = Stella.NULL_INTEGER;
        int milli = Stella.NULL_INTEGER;

        {
          Object[] caller_MV_returnarray = new Object[3];

          hours = date.getTime(timezone, caller_MV_returnarray);
          minutes = ((int) (((IntegerWrapper) (caller_MV_returnarray[0])).wrapperValue));
          seconds = ((int) (((IntegerWrapper) (caller_MV_returnarray[1])).wrapperValue));
          milli = ((int) (((IntegerWrapper) (caller_MV_returnarray[2])).wrapperValue));
        }
        {
          String timezoneString =
              (includeTimezoneP
                  ? (((timezone == 0.0) ? " UTC" : (" " + Native.floatToString(timezone))))
                  : "");
          String milliString =
              (includeMillisP
                  ? ("."
                      + Stella.formatWithPadding(
                          Native.integerToString(milli), 3, '0', Stella.KWD_RIGHT, false))
                  : "");

          return (((padHoursP
                  ? Stella.formatWithPadding(
                      Native.integerToString(hours), 2, '0', Stella.KWD_RIGHT, false)
                  : Native.integerToString(hours)))
              + ":"
              + Stella.formatWithPadding(
                  Native.integerToString(minutes), 2, '0', Stella.KWD_RIGHT, false)
              + ":"
              + Stella.formatWithPadding(
                  Native.integerToString(seconds), 2, '0', Stella.KWD_RIGHT, false)
              + milliString
              + timezoneString);
        }
      }
    }
  }
  public static void rehashStellaHashTable(StellaHashTable self, int newsize) {
    if (self.theTable == null) {
      StellaHashTable.initializeStellaHashTable(self);
      return;
    }
    {
      int size = self.size;
      KvCons[] table = self.theTable;
      KvCons[] newtable = new KvCons[newsize];
      int newbucketindex = 0;
      KvCons newbucket = null;
      KvCons cursor = null;
      KvCons current = null;
      boolean equaltestP = self.equalTestP;

      {
        int i = Stella.NULL_INTEGER;
        int iter000 = 0;
        int upperBound000 = newsize - 1;

        for (; iter000 <= upperBound000; iter000 = iter000 + 1) {
          i = iter000;
          newtable[i] = null;
        }
      }
      {
        int i = Stella.NULL_INTEGER;
        int iter001 = 0;
        int upperBound001 = size - 1;

        for (; iter001 <= upperBound001; iter001 = iter001 + 1) {
          i = iter001;
          cursor = table[i];
          while (cursor != null) {
            if (equaltestP) {
              newbucketindex = (((cursor.key.equalHashCode()) & 0x7FFFFFFF) % newsize);
            } else {
              newbucketindex = (((cursor.key.hashCode_()) & 0x7FFFFFFF) % newsize);
            }
            newbucket = newtable[newbucketindex];
            current = cursor;
            cursor = cursor.rest;
            if (newbucket != null) {
              current.rest = newbucket.rest;
              newbucket.rest = current;
            } else {
              newtable[newbucketindex] = current;
              current.rest = null;
            }
          }
        }
      }
      self.theTable = newtable;
      self.size = newsize;
      self.freeElements =
          Stella.max(
              self.freeElements
                  + Native.floor((newsize - size) * Stella.$STELLA_HASH_TABLE_AVG_BUCKET_LENGTH$),
              0);
    }
  }
  public static void startupControlPanelScript() {
    {
      Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(
            Stella.$MODULE$,
            Stella.getStellaModule("/ONTOSAURUS", Stella.$STARTUP_TIME_PHASE$ > 1));
        Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
        if (Stella.currentStartupTimePhaseP(2)) {
          OntosaurusUtil.SYM_ONTOSAURUS_STARTUP_CONTROL_PANEL_SCRIPT =
              ((Symbol)
                  (GeneralizedSymbol.internRigidSymbolWrtModule(
                      "STARTUP-CONTROL-PANEL-SCRIPT", null, 0)));
        }
        if (Stella.currentStartupTimePhaseP(6)) {
          Stella.finalizeClasses();
        }
        if (Stella.currentStartupTimePhaseP(7)) {
          Stella.defineFunctionObject(
              "WRITE-CONTROL-PANEL-SCRIPT",
              "(DEFUN WRITE-CONTROL-PANEL-SCRIPT ((STREAM NATIVE-OUTPUT-STREAM)))",
              Native.find_java_method(
                  "edu.isi.ontosaurus.OntosaurusUtil",
                  "writeControlPanelScript",
                  new java.lang.Class[] {Native.find_java_class("java.io.PrintStream")}),
              null);
          Stella.defineFunctionObject(
              "STARTUP-CONTROL-PANEL-SCRIPT",
              "(DEFUN STARTUP-CONTROL-PANEL-SCRIPT () :PUBLIC? TRUE)",
              Native.find_java_method(
                  "edu.isi.ontosaurus._StartupControlPanelScript",
                  "startupControlPanelScript",
                  new java.lang.Class[] {}),
              null);
          {
            MethodSlot function =
                Symbol.lookupFunction(OntosaurusUtil.SYM_ONTOSAURUS_STARTUP_CONTROL_PANEL_SCRIPT);

            KeyValueList.setDynamicSlotValue(
                function.dynamicSlots,
                OntosaurusUtil.SYM_STELLA_METHOD_STARTUP_CLASSNAME,
                StringWrapper.wrapString("_StartupControlPanelScript"),
                Stella.NULL_STRING_WRAPPER);
          }
        }
        if (Stella.currentStartupTimePhaseP(8)) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
        }
        if (Stella.currentStartupTimePhaseP(9)) {
          Stella_Object.inModule(
              ((StringWrapper)
                  (Stella_Object.copyConsTree(StringWrapper.wrapString("ONTOSAURUS")))));
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }
  public static void startupHttpServerImpl() {
    {
      Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(
            Stella.$MODULE$,
            Stella.getStellaModule("/HTTP/TOMCAT", Stella.$STARTUP_TIME_PHASE$ > 1));
        Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
        if (Stella.currentStartupTimePhaseP(2)) {
          Tomcat.SGT_TOMCAT_HTTP_SERVER_TOMCAT =
              ((Surrogate)
                  (GeneralizedSymbol.internRigidSymbolWrtModule("HTTP-SERVER-TOMCAT", null, 1)));
          Tomcat.KWD_OK = ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("OK", null, 2)));
          Tomcat.SGT_TOMCAT_HTTP_EXCHANGE_TOMCAT =
              ((Surrogate)
                  (GeneralizedSymbol.internRigidSymbolWrtModule("HTTP-EXCHANGE-TOMCAT", null, 1)));
          Tomcat.SYM_TOMCAT_RESPONSE_CODE =
              ((Symbol) (GeneralizedSymbol.internRigidSymbolWrtModule("RESPONSE-CODE", null, 0)));
          Tomcat.SYM_TOMCAT_HANDLER_OPTIONS =
              ((Symbol) (GeneralizedSymbol.internRigidSymbolWrtModule("HANDLER-OPTIONS", null, 0)));
          Tomcat.KWD_BLOCK =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("BLOCK", null, 2)));
          Tomcat.SGT_STELLA_PROPERTY_LIST =
              ((Surrogate)
                  (GeneralizedSymbol.internRigidSymbolWrtModule(
                      "PROPERTY-LIST", Stella.getStellaModule("/STELLA", true), 1)));
          Tomcat.KWD_PATH =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("PATH", null, 2)));
          Tomcat.KWD_HANDLER_TYPE =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("HANDLER-TYPE", null, 2)));
          Tomcat.KWD_ERROR =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("ERROR", null, 2)));
          Tomcat.KWD_HANDLER =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("HANDLER", null, 2)));
          Tomcat.KWD_FILE =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("FILE", null, 2)));
          Tomcat.KWD_DIRECTORY =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("DIRECTORY", null, 2)));
          Tomcat.KWD_CONTENT_TYPE =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("CONTENT-TYPE", null, 2)));
          Tomcat.KWD_HTML =
              ((Keyword) (GeneralizedSymbol.internRigidSymbolWrtModule("HTML", null, 2)));
          Tomcat.SYM_TOMCAT_STARTUP_HTTP_SERVER_IMPL =
              ((Symbol)
                  (GeneralizedSymbol.internRigidSymbolWrtModule(
                      "STARTUP-HTTP-SERVER-IMPL", null, 0)));
          Tomcat.SYM_STELLA_METHOD_STARTUP_CLASSNAME =
              ((Symbol)
                  (GeneralizedSymbol.internRigidSymbolWrtModule(
                      "METHOD-STARTUP-CLASSNAME", Stella.getStellaModule("/STELLA", true), 0)));
        }
        if (Stella.currentStartupTimePhaseP(5)) {
          {
            Stella_Class renamed_Class =
                Stella.defineClassFromStringifiedSource(
                    "HTTP-SERVER-TOMCAT",
                    "(DEFCLASS HTTP-SERVER-TOMCAT (HTTP-SERVER) :PUBLIC? TRUE)");

            renamed_Class.classConstructorCode =
                Native.find_java_method(
                    "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                    "newHttpServerTomcat",
                    new java.lang.Class[] {});
          }
          Stella.defineClassFromStringifiedSource(
              "NATIVE-HTTP-SERVLET-REQUEST",
              "(DEFCLASS NATIVE-HTTP-SERVLET-REQUEST () :JAVA-NATIVE-TYPE \"javax.servlet.http.HttpServletRequest\")");
          Stella.defineClassFromStringifiedSource(
              "NATIVE-HTTP-SERVLET-RESPONSE",
              "(DEFCLASS NATIVE-HTTP-SERVLET-RESPONSE () :JAVA-NATIVE-TYPE \"javax.servlet.http.HttpServletResponse\")");
          {
            Stella_Class renamed_Class =
                Stella.defineClassFromStringifiedSource(
                    "HTTP-EXCHANGE-TOMCAT",
                    "(DEFCLASS HTTP-EXCHANGE-TOMCAT (HTTP-EXCHANGE) :SLOTS ((NATIVE-REQUEST :TYPE NATIVE-HTTP-SERVLET-REQUEST) (NATIVE-RESPONSE :TYPE NATIVE-HTTP-SERVLET-RESPONSE) (RESPONSE-CODE :TYPE INTEGER :INITIALLY (GET-HTTP-RESPONSE-CODE :OK NULL)) (REPLY-STREAM :TYPE NATIVE-OUTPUT-STREAM) (HANDLER-OPTIONS :TYPE PROPERTY-LIST)))");

            renamed_Class.classConstructorCode =
                Native.find_java_method(
                    "edu.isi.webtools.http.tomcat.HttpExchangeTomcat",
                    "newHttpExchangeTomcat",
                    new java.lang.Class[] {});
            renamed_Class.classSlotAccessorCode =
                Native.find_java_method(
                    "edu.isi.webtools.http.tomcat.HttpExchangeTomcat",
                    "accessHttpExchangeTomcatSlotValue",
                    new java.lang.Class[] {
                      Native.find_java_class("edu.isi.webtools.http.tomcat.HttpExchangeTomcat"),
                      Native.find_java_class("edu.isi.stella.Symbol"),
                      Native.find_java_class("edu.isi.stella.Stella_Object"),
                      java.lang.Boolean.TYPE
                    });
          }
        }
        if (Stella.currentStartupTimePhaseP(6)) {
          Stella.finalizeClasses();
        }
        if (Stella.currentStartupTimePhaseP(7)) {
          Stella.defineMethodObject(
              "(DEFMETHOD (START-HTTP-SERVER-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (PORT INTEGER)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "startHttpServerImpl",
                  new java.lang.Class[] {java.lang.Integer.TYPE}),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD STOP-HTTP-SERVER-IMPL ((SERVER HTTP-SERVER-TOMCAT)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "stopHttpServerImpl",
                  new java.lang.Class[] {}),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-HEADER-VALUE-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE) (KEY KEYWORD)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getHeaderValueImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange"),
                    Native.find_java_class("edu.isi.stella.Keyword")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REPLY-HEADER-VALUE-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE) (KEY KEYWORD)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getReplyHeaderValueImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange"),
                    Native.find_java_class("edu.isi.stella.Keyword")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD SET-REPLY-HEADER-VALUE-IMPL ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE) (KEY KEYWORD) (VALUE STRING)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "setReplyHeaderValueImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange"),
                    Native.find_java_class("edu.isi.stella.Keyword"),
                    Native.find_java_class("java.lang.String")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-URI-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestUriImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-URI-QUERY-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestUriQueryImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-URI-PATH-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestUriPathImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-METHOD-IMPL KEYWORD) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestMethodImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-PROTOCOL-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestProtocolImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-BODY-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestBodyImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-LOCAL-ADDRESS-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestLocalAddressImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REQUEST-REMOTE-ADDRESS-IMPL STRING) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getRequestRemoteAddressImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-REPLY-STREAM-IMPL NATIVE-OUTPUT-STREAM) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getReplyStreamImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD SET-RESPONSE-CODE-IMPL ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE) (CODE KEYWORD)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "setResponseCodeImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange"),
                    Native.find_java_class("edu.isi.stella.Keyword")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD PUBLISH-FILE-IMPL ((SERVER HTTP-SERVER-TOMCAT) (PATH STRING) (FILE STRING) (OPTIONS PROPERTY-LIST)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "publishFileImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("edu.isi.stella.PropertyList")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD PUBLISH-DIRECTORY-IMPL ((SERVER HTTP-SERVER-TOMCAT) (PATH STRING) (DIRECTORY STRING) (OPTIONS PROPERTY-LIST)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "publishDirectoryImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("edu.isi.stella.PropertyList")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD PUBLISH-HANDLER-IMPL ((SERVER HTTP-SERVER-TOMCAT) (PATH STRING) (HANDLER FUNCTION-CODE) (OPTIONS PROPERTY-LIST)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "publishHandlerImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("java.lang.reflect.Method"),
                    Native.find_java_class("edu.isi.stella.PropertyList")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (GET-HANDLER-OPTIONS-IMPL PROPERTY-LIST) ((SERVER HTTP-SERVER-TOMCAT) (XCHG HTTP-EXCHANGE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "getHandlerOptionsImpl",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.webtools.http.HttpExchange")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineMethodObject(
              "(DEFMETHOD (SERVLET-HANDLE-REQUEST HTTP-EXCHANGE-TOMCAT) ((SERVER HTTP-SERVER-TOMCAT) (REQUEST NATIVE-HTTP-SERVLET-REQUEST) (RESPONSE NATIVE-HTTP-SERVLET-RESPONSE)))",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat.HttpServerTomcat",
                  "servletHandleRequest",
                  new java.lang.Class[] {
                    Native.find_java_class("javax.servlet.http.HttpServletRequest"),
                    Native.find_java_class("javax.servlet.http.HttpServletResponse")
                  }),
              ((java.lang.reflect.Method) (null)));
          Stella.defineFunctionObject(
              "STARTUP-HTTP-SERVER-IMPL",
              "(DEFUN STARTUP-HTTP-SERVER-IMPL () :PUBLIC? TRUE)",
              Native.find_java_method(
                  "edu.isi.webtools.http.tomcat._StartupHttpServerImpl",
                  "startupHttpServerImpl",
                  new java.lang.Class[] {}),
              null);
          {
            MethodSlot function = Symbol.lookupFunction(Tomcat.SYM_TOMCAT_STARTUP_HTTP_SERVER_IMPL);

            KeyValueList.setDynamicSlotValue(
                function.dynamicSlots,
                Tomcat.SYM_STELLA_METHOD_STARTUP_CLASSNAME,
                StringWrapper.wrapString("_StartupHttpServerImpl"),
                Stella.NULL_STRING_WRAPPER);
          }
        }
        if (Stella.currentStartupTimePhaseP(8)) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
        }
        if (Stella.currentStartupTimePhaseP(9)) {
          Stella_Object.inModule(
              ((StringWrapper)
                  (Stella_Object.copyConsTree(StringWrapper.wrapString("HTTP/TOMCAT")))));
          if ((Http.$HTTP_SERVER_IMPLEMENTATION$ != null)
              && (!Stella_Object.isaP(
                  Http.$HTTP_SERVER_IMPLEMENTATION$, Tomcat.SGT_TOMCAT_HTTP_SERVER_TOMCAT))) {
            throw ((StellaException)
                (StellaException.newStellaException(
                        "Conflicting HTTP server implementation already loaded")
                    .fillInStackTrace()));
          } else {
            Http.$HTTP_SERVER_IMPLEMENTATION$ = HttpServerTomcat.newHttpServerTomcat();
          }
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }
  public void vizConceptLinksToDotEdges(LogicObject concept, Module module) {
    {
      VizInfo self = this;

      {
        OutputStream stream = self.stream;
        int count = 0;

        {
          LogicObject renamed_Super = null;
          edu.isi.powerloom.PlIterator iter000 =
              edu.isi.powerloom.PLI.getDirectSuperrelations(concept, module, null);

          while (iter000.nextP()) {
            renamed_Super = ((LogicObject) (iter000.value));
            if (Surrogate.subtypeOfP(
                Stella_Object.safePrimaryType(renamed_Super),
                OntosaurusUtil.SGT_LOGIC_NAMED_DESCRIPTION)) {
              {
                NamedDescription super000 = ((NamedDescription) (renamed_Super));

                if (self.vizAllowedObjectP(super000)) {
                  stream.nativeStream.println(
                      "  \""
                          + OntosaurusUtil.vizDotObjectName(super000)
                          + "\" -> \""
                          + OntosaurusUtil.vizDotObjectName(concept)
                          + "\" [dir=back]");
                  count = count + 1;
                } else {
                  stream.nativeStream.print(
                      "  \""
                          + OntosaurusUtil.vizDotObjectName(super000)
                          + "\" [shape=box, style=filled, fillcolor=grey,URL=\""
                          + self.vizGenerateOntosaurusHandle(super000)
                          + "\"]");
                  stream.nativeStream.println(
                      "  \""
                          + OntosaurusUtil.vizDotObjectName(super000)
                          + "\" -> \""
                          + OntosaurusUtil.vizDotObjectName(concept)
                          + "\" [dir=back]");
                  count = count + 1;
                }
              }
            } else {
              {
                OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

                stream000.nativeStream.print(
                    "viz-concept-links-to-dot-edges: unhandled super concept: `"
                        + renamed_Super
                        + "'");
                throw ((StellaException)
                    (StellaException.newStellaException(stream000.theStringReader())
                        .fillInStackTrace()));
              }
            }
          }
        }
        if ((count == 0) && self.addTopP) {
          stream.nativeStream.println(
              "  \""
                  + OntosaurusUtil.VIZ_TOP
                  + "\" -> \""
                  + OntosaurusUtil.vizDotObjectName(concept)
                  + "\" [dir=back]");
        }
        if (self.showRelationsP) {
          {
            LogicObject range = null;
            String relcolor = self.relationColor;
            String relstyle = self.relationStyle;

            {
              Object old$Module$000 = Stella.$MODULE$.get();
              Object old$Context$000 = Stella.$CONTEXT$.get();

              try {
                Native.setSpecial(Stella.$MODULE$, module);
                Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
                {
                  LogicObject relation = null;
                  Cons iter001 = self.vizGetBinaryRelationsOf(concept);

                  for (; !(iter001 == Stella.NIL); iter001 = iter001.rest) {
                    relation = ((LogicObject) (iter001.value));
                    range = edu.isi.powerloom.PLI.getRange(relation);
                    if (self.vizAllowedObjectP(relation)) {
                      stream.nativeStream.println(
                          "  \""
                              + OntosaurusUtil.vizDotObjectName(concept)
                              + "\" -> \""
                              + OntosaurusUtil.vizDotObjectName(range)
                              + "\" [label=\""
                              + OntosaurusUtil.vizDotObjectName(relation)
                              + "\", color="
                              + relcolor
                              + ", style="
                              + relstyle
                              + "]");
                    }
                  }
                }

              } finally {
                Stella.$CONTEXT$.set(old$Context$000);
                Stella.$MODULE$.set(old$Module$000);
              }
            }
          }
        }
      }
    }
  }
  public static void startupCppTranslateFile() {
    {
      Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, Stella.$STELLA_MODULE$);
        Native.setSpecial(Stella.$CONTEXT$, ((Module) (Stella.$MODULE$.get())));
        if (Stella.currentStartupTimePhaseP(2)) {
          Stella.SYM_STELLA_AUXILIARY_VARIABLE =
              ((Symbol) (Stella.internRigidSymbolWrtModule("AUXILIARY-VARIABLE", null, 0)));
          Stella.SYM_STELLA_CPP_FUNCTION =
              ((Symbol) (Stella.internRigidSymbolWrtModule("CPP_FUNCTION", null, 0)));
          Stella.SYM_STELLA_CPP_DEFPRINT =
              ((Symbol) (Stella.internRigidSymbolWrtModule("CPP_DEFPRINT", null, 0)));
          Stella.KWD_UPPERCASE =
              ((Keyword) (Stella.internRigidSymbolWrtModule("UPPERCASE", null, 2)));
          Stella.SYM_STELLA_STARTUP_CPP_TRANSLATE_FILE =
              ((Symbol) (Stella.internRigidSymbolWrtModule("STARTUP-CPP-TRANSLATE-FILE", null, 0)));
        }
        if (Stella.currentStartupTimePhaseP(4)) {
          Stella.$CURRENT_STREAM$.setDefaultValue(Stella.STANDARD_OUTPUT);
        }
        if (Stella.currentStartupTimePhaseP(6)) {
          Stella.finalizeClasses();
        }
        if (Stella.currentStartupTimePhaseP(7)) {
          Stella.defineFunctionObject(
              "CPPTRANS",
              "(DEFUN CPPTRANS ((STATEMENT OBJECT)) :COMMAND? TRUE :PUBLIC? TRUE :EVALUATE-ARGUMENTS? FALSE :DOCUMENTATION \"Translate `statement' to C++ and print the result.\")",
              Native.find_java_method(
                  "edu.isi.stella.Stella_Object",
                  "cpptrans",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.Stella_Object")}),
              null);
          Stella.defineFunctionObject(
              "CPP-MAKE-CODE-OUTPUT-FILE-NAME",
              "(DEFUN (CPP-MAKE-CODE-OUTPUT-FILE-NAME FILE-NAME) ((FILENAME FILE-NAME)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppMakeCodeOutputFileName",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-MAKE-HEADER-OUTPUT-FILE-NAME",
              "(DEFUN (CPP-MAKE-HEADER-OUTPUT-FILE-NAME FILE-NAME) ((FILENAME FILE-NAME)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppMakeHeaderOutputFileName",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-FILE-HEADER",
              "(DEFUN CPP-OUTPUT-FILE-HEADER ((STREAM OUTPUT-STREAM) (FILE FILE-NAME)))",
              Native.find_java_method(
                  "edu.isi.stella.OutputStream",
                  "cppOutputFileHeader",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.stella.OutputStream"),
                    Native.find_java_class("java.lang.String")
                  }),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-INCLUDE-DIRECTIVE",
              "(DEFUN CPP-OUTPUT-INCLUDE-DIRECTIVE ((FILENAME FILE-NAME) (STRIPDIRECTORY? BOOLEAN)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppOutputIncludeDirective",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"), java.lang.Boolean.TYPE
                  }),
              null);
          Stella.defineFunctionObject(
              "CPP-STANDALONE-OUTPUT-IMPORT-DECLARATIONS",
              "(DEFUN CPP-STANDALONE-OUTPUT-IMPORT-DECLARATIONS ((HEADERFILENAME FILE-NAME)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppStandaloneOutputImportDeclarations",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-RELATIVIZE-HEADER-FILE",
              "(DEFUN (CPP-RELATIVIZE-HEADER-FILE FILE-NAME) ((HEADERFILE FILE-NAME) (SYSTEMNAME STRING)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppRelativizeHeaderFile",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("java.lang.String")
                  }),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-IMPORT-DECLARATIONS",
              "(DEFUN CPP-OUTPUT-IMPORT-DECLARATIONS ((SYSTEMNAME STRING)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppOutputImportDeclarations",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-CLASS-HEAD-DECLARATIONS",
              "(DEFUN CPP-OUTPUT-CLASS-HEAD-DECLARATIONS ((CLASSES CONS)))",
              Native.find_java_method(
                  "edu.isi.stella.Cons",
                  "cppOutputClassHeadDeclarations",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.Cons")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-NAMESPACE-HEADER",
              "(DEFUN CPP-OUTPUT-NAMESPACE-HEADER ((MODULE MODULE)))",
              Native.find_java_method(
                  "edu.isi.stella.Module",
                  "cppOutputNamespaceHeader",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.Module")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-NAMESPACE-FOOTER",
              "(DEFUN CPP-OUTPUT-NAMESPACE-FOOTER ((MODULE MODULE)))",
              Native.find_java_method(
                  "edu.isi.stella.Module",
                  "cppOutputNamespaceFooter",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.Module")}),
              null);
          Stella.defineFunctionObject(
              "CPP-UNIT-DEFINES-MAIN?",
              "(DEFUN (CPP-UNIT-DEFINES-MAIN? BOOLEAN) ((UNIT TRANSLATION-UNIT)))",
              Native.find_java_method(
                  "edu.isi.stella.TranslationUnit",
                  "cppUnitDefinesMainP",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.TranslationUnit")}),
              null);
          Stella.defineFunctionObject(
              "CPP-YIELD-MAIN-FILE-NAME",
              "(DEFUN (CPP-YIELD-MAIN-FILE-NAME FILE-NAME) ())",
              Native.find_java_method(
                  "edu.isi.stella.Stella", "cppYieldMainFileName", new java.lang.Class[] {}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-MAIN",
              "(DEFUN CPP-OUTPUT-MAIN ((UNIT TRANSLATION-UNIT)))",
              Native.find_java_method(
                  "edu.isi.stella.TranslationUnit",
                  "cppOutputMain",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.TranslationUnit")}),
              null);
          Stella.defineFunctionObject(
              "CPP-SORT-UNITS-FOR-HEADER-FILE",
              "(DEFUN (CPP-SORT-UNITS-FOR-HEADER-FILE (LIST OF (CONS OF TRANSLATION-UNIT))) ((FILEUNITS (LIST OF TRANSLATION-UNIT))))",
              Native.find_java_method(
                  "edu.isi.stella.List",
                  "cppSortUnitsForHeaderFile",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.List")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-NAMESPACE-CHANGE",
              "(DEFUN CPP-OUTPUT-NAMESPACE-CHANGE ((FROMNAMESPACE MODULE) (TONAMESPACE MODULE)))",
              Native.find_java_method(
                  "edu.isi.stella.Module",
                  "cppOutputNamespaceChange",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.stella.Module"),
                    Native.find_java_class("edu.isi.stella.Module")
                  }),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-ALL-UNITS-TO-FILE",
              "(DEFUN CPP-OUTPUT-ALL-UNITS-TO-FILE ((FILENAME FILE-NAME)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppOutputAllUnitsToFile",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-TRANSLATE-FILE",
              "(DEFUN CPP-TRANSLATE-FILE ((FILENAME FILE-NAME)) :PUBLIC? TRUE)",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppTranslateFile",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-STANDALONE-TRANSLATE-FILE",
              "(DEFUN CPP-STANDALONE-TRANSLATE-FILE ((FILENAME FILE-NAME)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppStandaloneTranslateFile",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-TRANSLATE-SYSTEM",
              "(DEFUN CPP-TRANSLATE-SYSTEM ((SYSTEMNAME STRING)) :DOCUMENTATION \"Translate the system `systemName' to C++.\" :PUBLIC? TRUE)",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppTranslateSystem",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-TRANSLATE-WALKED-SYSTEM-UNITS",
              "(DEFUN CPP-TRANSLATE-WALKED-SYSTEM-UNITS ((SYSTEMUNITS SYSTEM-UNITS-ALIST)))",
              Native.find_java_method(
                  "edu.isi.stella.KeyValueList",
                  "cppTranslateWalkedSystemUnits",
                  new java.lang.Class[] {Native.find_java_class("edu.isi.stella.KeyValueList")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-SYSTEM-SPECIFIC-FILES",
              "(DEFUN CPP-OUTPUT-SYSTEM-SPECIFIC-FILES ())",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppOutputSystemSpecificFiles",
                  new java.lang.Class[] {}),
              null);
          Stella.defineFunctionObject(
              "CPP-YIELD-SYSTEM-HEADER-FILE-NAME",
              "(DEFUN (CPP-YIELD-SYSTEM-HEADER-FILE-NAME STRING) ((SYSTEMNAME STRING)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppYieldSystemHeaderFileName",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-YIELD-SYSTEM-HEADER-FILE-GUARD",
              "(DEFUN (CPP-YIELD-SYSTEM-HEADER-FILE-GUARD STRING) ((SYSTEMNAME STRING)))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppYieldSystemHeaderFileGuard",
                  new java.lang.Class[] {Native.find_java_class("java.lang.String")}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-SYSTEM-HEADER-FILE",
              "(DEFUN CPP-OUTPUT-SYSTEM-HEADER-FILE ())",
              Native.find_java_method(
                  "edu.isi.stella.Stella", "cppOutputSystemHeaderFile", new java.lang.Class[] {}),
              null);
          Stella.defineFunctionObject(
              "CPP-YIELD-SYSTEMS-ROOT-DIRECTORY",
              "(DEFUN (CPP-YIELD-SYSTEMS-ROOT-DIRECTORY STRING) ())",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "cppYieldSystemsRootDirectory",
                  new java.lang.Class[] {}),
              null);
          Stella.defineFunctionObject(
              "CPP-YIELD-STELLA-ROOT-DIRECTORY",
              "(DEFUN (CPP-YIELD-STELLA-ROOT-DIRECTORY STRING) ())",
              Native.find_java_method(
                  "edu.isi.stella.Stella", "cppYieldStellaRootDirectory", new java.lang.Class[] {}),
              null);
          Stella.defineFunctionObject(
              "CPP-OUTPUT-SYSTEM-MAKEFILE",
              "(DEFUN CPP-OUTPUT-SYSTEM-MAKEFILE ())",
              Native.find_java_method(
                  "edu.isi.stella.Stella", "cppOutputSystemMakefile", new java.lang.Class[] {}),
              null);
          Stella.defineFunctionObject(
              "SUBSTITUTE-TEMPLATE-VARIABLES-IN-STRING",
              "(DEFUN (SUBSTITUTE-TEMPLATE-VARIABLES-IN-STRING STRING) ((STRING STRING) (VARIABLES (KEY-VALUE-LIST OF STRING-WRAPPER STRING-WRAPPER))))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "substituteTemplateVariablesInString",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("edu.isi.stella.KeyValueList")
                  }),
              null);
          Stella.defineFunctionObject(
              "SUBSTITUTE-TEMPLATE-VARIABLES-TO-STREAM",
              "(DEFUN SUBSTITUTE-TEMPLATE-VARIABLES-TO-STREAM ((TEMPLATESTREAM INPUT-STREAM) (OUTPUTSTREAM OUTPUT-STREAM) (VARIABLES (KEY-VALUE-LIST OF STRING-WRAPPER STRING-WRAPPER))))",
              Native.find_java_method(
                  "edu.isi.stella.InputStream",
                  "substituteTemplateVariablesToStream",
                  new java.lang.Class[] {
                    Native.find_java_class("edu.isi.stella.InputStream"),
                    Native.find_java_class("edu.isi.stella.OutputStream"),
                    Native.find_java_class("edu.isi.stella.KeyValueList")
                  }),
              null);
          Stella.defineFunctionObject(
              "SUBSTITUTE-TEMPLATE-VARIABLES-TO-MAKEFILE",
              "(DEFUN SUBSTITUTE-TEMPLATE-VARIABLES-TO-MAKEFILE ((TEMPLATEFILE STRING) (OUTPUTFILE STRING) (VARIABLES (KEY-VALUE-LIST OF STRING-WRAPPER STRING-WRAPPER))))",
              Native.find_java_method(
                  "edu.isi.stella.Stella",
                  "substituteTemplateVariablesToMakefile",
                  new java.lang.Class[] {
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("java.lang.String"),
                    Native.find_java_class("edu.isi.stella.KeyValueList")
                  }),
              null);
          Stella.defineFunctionObject(
              "STARTUP-CPP-TRANSLATE-FILE",
              "(DEFUN STARTUP-CPP-TRANSLATE-FILE () :PUBLIC? TRUE)",
              Native.find_java_method(
                  "edu.isi.stella._StartupCppTranslateFile",
                  "startupCppTranslateFile",
                  new java.lang.Class[] {}),
              null);
          {
            MethodSlot function =
                Symbol.lookupFunction(Stella.SYM_STELLA_STARTUP_CPP_TRANSLATE_FILE);

            KeyValueList.setDynamicSlotValue(
                function.dynamicSlots,
                Stella.SYM_STELLA_METHOD_STARTUP_CLASSNAME,
                StringWrapper.wrapString("_StartupCppTranslateFile"),
                Stella.NULL_STRING_WRAPPER);
          }
        }
        if (Stella.currentStartupTimePhaseP(8)) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
        }
        if (Stella.currentStartupTimePhaseP(9)) {
          Stella.defineStellaGlobalVariableFromStringifiedSource(
              "(DEFSPECIAL *CURRENT-STREAM* OUTPUT-STREAM STANDARD-OUTPUT)");
          Stella.defineStellaGlobalVariableFromStringifiedSource(
              "(DEFGLOBAL *CPP-TRANSLATED-FILE-SUFFIX* STRING \"\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource(
              "(DEFGLOBAL *MAKEFILE-TEMPLATE-VARIABLE-PREFIX* STRING \"#$\")");
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }