Ejemplo n.º 1
0
  /* (non-Javadoc)
   * @see de.jwic.sourceviewer.viewer.IObjectViewer#setNavigationElement(de.jwic.sourceviewer.model.NavigationElement)
   */
  public void setNavigationElement(NavigationElement element) {

    if (element == null) {
      htmlCode = "";
      return; // direct exit
    }

    if (false) {
      htmlCode = "test";
      return;
    }
    FileElement fe = (FileElement) element;
    try {
      FileReader reader = new FileReader(fe.getFile());
      JavaSource source = new JavaSourceParser().parse(reader);
      JavaSource2HTMLConverter converter = new JavaSource2HTMLConverter();
      StringWriter writer = new StringWriter();

      JavaSourceConversionOptions options = JavaSourceConversionOptions.getDefault();
      // options.setShowLineNumbers(true);

      converter.convert(source, options, writer);
      htmlCode = writer.toString();
      reader.close();

    } catch (Exception e) {
      log.error("Error creating HTML code", e);
      htmlCode = "Error creating html code: " + e;
    }
  }
  // TODO Sep 13, 2004 (Markus Gebhard): Convert this into JDemo demos
  public static void main(String args[]) throws IOException {
    long time0 = System.currentTimeMillis();
    JavaSource source = (new JavaSourceParser()).parse(new java.io.File("JavaSourceParser.java"));

    long time1 = System.currentTimeMillis();
    JavaSource2TeXConverter conn1 = new JavaSource2TeXConverter();
    conn1.convert(source, JavaSourceConversionOptions.getDefault(), new StringWriter());
    long time2 = System.currentTimeMillis();
    JavaSource2HTMLConverter conn2 = new JavaSource2HTMLConverter();
    conn2.convert(source, JavaSourceConversionOptions.getDefault(), new StringWriter());
    long time3 = System.currentTimeMillis();

    System.out.println("Parse:  " + (time1 - time0) + "ms");
    System.out.println("toTeX:  " + (time2 - time1) + "ms");
    System.out.println("toHTML: " + (time3 - time2) + "ms");
  }
Ejemplo n.º 3
0
  /**
   * Highlights the specified source and returns the result as an HTML string.
   *
   * @param file the source file to highlight
   * @return the source as an HTML string
   * @throws IOException
   */
  public final String highlightSource(final InputStream file) throws IOException {

    JavaSource source = new JavaSourceParser().parse(new InputStreamReader(file));
    JavaSource2HTMLConverter converter = new JavaSource2HTMLConverter();
    StringWriter writer = new StringWriter();
    JavaSourceConversionOptions options = JavaSourceConversionOptions.getDefault();
    options.setShowLineNumbers(true);
    options.setAddLineAnchors(true);
    converter.convert(source, options, writer);
    return writer.toString();
  }
Ejemplo n.º 4
0
  private void loadSourceCode(String rawFile) {
    try {
      InputStream stream =
          this.getResources()
              .openRawResource(getResources().getIdentifier(rawFile, "raw", getPackageName()));
      byte[] buffer = new byte[stream.available()];
      while (stream.read(buffer) != -1) ;
      stream.close();

      JavaSource source = new JavaSourceParser().parse(new String(buffer));
      StringWriter writer = new StringWriter();
      JavaSource2HTMLConverter converter = new JavaSource2HTMLConverter();
      converter.convert(source, JavaSourceConversionOptions.getDefault(), writer);
      this.codeVisualizer.loadData(writer.toString(), "text/html", "UTF-8");
    } catch (Exception e) {
      Log.e("Examples", "Could not read example source.", e);
    }
  }