Changeset 728 for trunk/quest-plugin-jfc/src/main/java

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-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/commands

Files:

• CMDparseDirJFC.java (modified) (1 diff)
• CMDpreprocessDirJFC.java (modified) (1 diff)

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/commands/CMDparseDirJFC.java

@@ -77 +77 @@
     @Override
     public String help() {
-        return "parseDirJFC <path> {<sequencesName>}";
+        return "parseDirJFC <directory> {<sequencesName>}";
     }
 

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/commands/CMDpreprocessDirJFC.java

@@ -115 +115 @@
         @Override
         public String help() {
-                return "preprocessDirJFC <sourcePath> <targetPath>";
+                return "preprocessDirJFC <sourceDirectory> <targetDirectory>";
         }