products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Misc/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: text.jfc   Sprache: Unknown

Spracherkennung für: .bsh vermutete Sprache: Haskell {Haskell[172] BAT[417] Ada[422]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

import org.gjt.sp.jedit.io.EncodingServer;

/** Generates editModeList.html page for jedit.org website listing the encodings supported by jEdit. */

modeList = jEdit.getModes();
sbuffer = new StringBuffer();
htmlBuffer = jEdit.openFile(editPane, "editModeList.html");

sbuffer.append(" Supported jEdit Edit Modes \n");
sbuffer.append("\n");
sbuffer.append("\n

Supported Languages/File Types in jEdit" + jEdit.getVersion() + ": " + modeList.length + "

\n ");
sbuffer.append("\n");
for (int i=0; i<modeList.length; ++i) {
    mode = modeList[i];
    sbuffer.append("\t");
    if ((i+1)%6==0) sbuffer.append(" \n");
}
sbuffer.append("
" + mode.toString() + "
\n

");
sbuffer.append(" Generated from macro " + scriptPath + "

");

sbuffer.append("\n\n");

htmlBuffer.insert(0, sbuffer.toString());

// set elastic tabstops (causes bug# 3614248)
htmlBuffer.setBooleanProperty("elasticTabstops", true);

[ Dauer der Verarbeitung: 0.92 Sekunden  ]