Meditor XML-Export

Es soll möglich sein "von außen" dem MLTutor ein Matlab-File zu übergeben, woraufhin er dieses partitioniert und diese Information in einem XML-File speichert.

Für dieses File sind Transformationen für html und tex zu schreiben.

Was geht

• Aufruf von außen für ein File
• Export des aktuellen Files aus dem MLTutor heraus
• Konfiguration über XML-File
• Erzeugen eines XML-Files
  enthält:
  • Partitionierung
  • Den Originalcode
• Schema existiert
• Transformation in HTML
  • XSL File
  • php-Skript für serverseitige Transformation

Was fehlt / Ideen

• Im XML-Format:
  • Tags für Metadaten
    • Filename
    • Autor ???
    •  ???
• Im erzeugten HTML-File:
  • Link zum .m-File
  • Zeilennummern ???

Struktur

Die Klasse XMLExporter

public class XMLExporter {
    /** keys and default values for the properties */
    private final static String PROPERTYFILE      = "XML_export_properties.xml";
    public  final static String CONFIGFILEDIR_KEY = "CONFIGFILEDIR";
    private final static String CONFIGFILEDIR_DEF = "./";
    public  final static String OUTPUTDIR_KEY     = "OUTPUTDIR";
    private final static String OUTPUTDIR_DEF     = "./";
    public  final static String SCHEMAFILE_KEY    = "SCHEMAFILE";
    private final static String SCHEMAFILE_DEF    = "schema.xsd";

    // Definitionen der XML-Tags
    ...

    public static void main(String[] args) {}
    public static void writeToFile(String output, String outputFilePath) 
            throws FileNotFoundException, UnsupportedEncodingException, IOException {}
    public static String export(IDocument document, Properties properties) {}
    ...
}

Der Funktion export(...) kann man über das Properties Objekt den Namen des Schema-Files mitteilen (mehr wird nicht verwendet). Passt dessen Default-Wert, so kann null übergeben werden.

Verwendung als Anwendung

Als Parameter ist dem Programm der Filename des zu exportierenden Files anzugeben. Weiters sollte an der durch PROPERTYFILE spezifizierten Stelle ein Properties-XML File befinden, falls von den Default-Werten abweichende Einstellungen vorgenommen werden sollen.