| java.lang.Object de.uka.ilkd.key.util.keydoc.html.KeYDoc
KeYDoc | public class KeYDoc (Code) | | The main class of the keydoc Project.
author: sebastian author: It calls the director and tells him, which keyfiles he should process. |
Method Summary | |
public static void | main(String[] args) The main method of the Keydoc project.
Parameters: args - As paramaters the files to be documented are passed. | public void | makeDoc(String[] args, boolean rek) Make the documentation to a given set of .key files
Parameters: args - As paramaters the files to be documented are passed. | public void | makeDoc(String[] args, String folder, boolean rek) Make the documentation to a given set of .key files
Parameters: args - As paramaters the files to be documented are passed. |
main | public static void main(String[] args)(Code) | | The main method of the Keydoc project.
Parameters: args - As paramaters the files to be documented are passed. i.e *.key for all key files in the folder, ex1.key ex2.key for the two .key files ex1 and ex2. |
makeDoc | public void makeDoc(String[] args, boolean rek)(Code) | | Make the documentation to a given set of .key files
Parameters: args - As paramaters the files to be documented are passed. i.e *.key for all key files in the folder, ex1.key ex2.key for the two .key files ex1 and ex2. |
makeDoc | public void makeDoc(String[] args, String folder, boolean rek)(Code) | | Make the documentation to a given set of .key files
Parameters: args - As paramaters the files to be documented are passed. i.e *.key for all key files in the folder, ex1.key ex2.key for the two .key files ex1 and ex2. |
|
|