Package org.tweetyproject.commons.util
Class ExamplesHTMLGenerator
- java.lang.Object
-
- org.tweetyproject.commons.util.ExamplesHTMLGenerator
-
public class ExamplesHTMLGenerator extends java.lang.ObjectGenerates an overview of example classes and resources in the workspace with HTML formatting.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description ExamplesHTMLGenerator()
-
Method Summary
Modifier and Type Method Description static voidmain(java.lang.String[] args)static voidprintExamplesToHtmlFile(java.lang.String path)Generates an overview of example classes and resources in the workspace with HTML formatting and writes it to a HTML file.
-
-
-
Method Detail
-
printExamplesToHtmlFile
public static void printExamplesToHtmlFile(java.lang.String path) throws java.io.IOExceptionGenerates an overview of example classes and resources in the workspace with HTML formatting and writes it to a HTML file.- Parameters:
path- where the generated file will be saved- Throws:
java.io.IOException- if an IO error occurs
-
main
public static void main(java.lang.String[] args) throws java.io.IOException- Throws:
java.io.IOException
-
-