Package org.tweetyproject.commons.util
Class ExamplesHTMLGenerator
java.lang.Object
org.tweetyproject.commons.util.ExamplesHTMLGenerator
Generates an overview of example classes and resources in the workspace with
HTML formatting.
- Author:
- Anna Gessler
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Print Examples to test filestatic void
Generates an overview of example classes and resources in the workspace with HTML formatting and writes it to a HTML file.
-
Constructor Details
-
ExamplesHTMLGenerator
public ExamplesHTMLGenerator()Default
-
-
Method Details
-
printExamplesToHtmlFile
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:
IOException
- if an IO error occurs
-
main
Print Examples to test file- Parameters:
args
- String- Throws:
IOException
- throws
-