Package org.tweetyproject.commons.util
Class ExamplesHTMLGenerator
- java.lang.Object
-
- org.tweetyproject.commons.util.ExamplesHTMLGenerator
-
public class ExamplesHTMLGenerator extends java.lang.Object
Generates 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 void
main(java.lang.String[] args)
static void
printExamplesToHtmlFile(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.IOException
Generates 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
-
-