Changeset 728 for trunk


Ignore:
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
Files:
19 added
8 edited

Legend:

Unmodified
Added
Removed

  • trunk/quest-plugin-guitar/.classpath

    r516 r728  
    1313                </attributes> 
    1414        </classpathentry> 
     15        <classpathentry kind="src" path="src/main/resources"/> 
    1516        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"> 
    1617                <attributes> 

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

    r667 r728  
    7979        @Override 
    8080        public String help() { 
    81                 return "efgTestCasesToSequences <folder> <sequencesName> {<efgFileName>}"; 
     81                return "efgTestCasesToSequences <directory> <sequencesName> {<guiFileName>}"; 
    8282        } 
    8383 

  • trunk/quest-plugin-jfc/.classpath

    r573 r728  
    1313                </attributes> 
    1414        </classpathentry> 
     15        <classpathentry kind="src" path="src/main/resources"/> 
    1516        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"> 
    1617                <attributes> 

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

    r667 r728  
    7777    @Override 
    7878    public String help() { 
    79         return "parseDirJFC <path> {<sequencesName>}"; 
     79        return "parseDirJFC <directory> {<sequencesName>}"; 
    8080    } 
    8181 

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

    r664 r728  
    115115        @Override 
    116116        public String help() { 
    117                 return "preprocessDirJFC <sourcePath> <targetPath>"; 
     117                return "preprocessDirJFC <sourceDirectory> <targetDirectory>"; 
    118118        } 
    119119 

  • trunk/quest-plugin-mfc/.classpath

    r620 r728  
    88        </classpathentry> 
    99        <classpathentry kind="src" path="src/main/java"/> 
     10        <classpathentry kind="src" path="src/main/resources"/> 
    1011        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"> 
    1112                <attributes> 

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

    r664 r728  
    2727        @Override 
    2828        public String help() { 
    29                 return "convertDirToXml <sourceFolder> <targetFile> {<base64>}"; 
     29                return "convertDirToXml <sourceDirectory> <targetFile> {<base64>}"; 
    3030        } 
    3131 

  • trunk/quest-plugin-php/.classpath

    r516 r728  
    1313                </attributes> 
    1414        </classpathentry> 
     15        <classpathentry kind="src" path="src/main/resources"/> 
    1516        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"> 
    1617                <attributes> 
Note: See TracChangeset for help on using the changeset viewer.