Changeset 728 for trunk/quest-plugin-guitar/src/main/java/de/ugoe

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

File:

• trunk/quest-plugin-guitar/src/main/java/de/ugoe/cs/quest/plugin/guitar/commands/CMDefgTestCasesToSequences.java (modified) (1 diff)

trunk/quest-plugin-guitar/src/main/java/de/ugoe/cs/quest/plugin/guitar/commands/CMDefgTestCasesToSequences.java

@@ -79 +79 @@
         @Override
         public String help() {
-                return "efgTestCasesToSequences <folder> <sequencesName> {<efgFileName>}";
+                return "efgTestCasesToSequences <directory> <sequencesName> {<guiFileName>}";
         }