Changeset 728 for trunk/quest-plugin-mfc/src

Timestamp:

08/31/12 11:40:38 (12 years ago)

Author:

sherbold

Message:

• added manuals for the commands efgTestCasesToSequences, efgToDFA, efgToMM, parseDirJFC, parseJFC, preprocessDirJFC, preprocessJFC, convertDirToXml, convertToXml, parseXML, and loadWebSequences

Location:

trunk/quest-plugin-mfc/src/main

Files:

• java/de/ugoe/cs/quest/plugin/mfc/commands/CMDconvertDirToXml.java (modified) (1 diff)
• resources (added)
• resources/manuals (added)
• resources/manuals/convertDirToXml (added)
• resources/manuals/convertToXml (added)
• resources/manuals/parseXML (added)

trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/commands/CMDconvertDirToXml.java

@@ -27 +27 @@
         @Override
         public String help() {
-                return "convertDirToXml <sourceFolder> <targetFile> {<base64>}";
+                return "convertDirToXml <sourceDirectory> <targetFile> {<base64>}";
         }