Class ExamplesHTMLGenerator

java.lang.Object

org.tweetyproject.commons.util.ExamplesHTMLGenerator

public class ExamplesHTMLGenerator
extends Object

Generates an overview of example classes and resources in the workspace with HTML formatting.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ExamplesHTMLGenerator()	Default

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Print Examples to test file
static void	printExamplesToHtmlFile(String path)	Generates an overview of example classes and resources in the workspace with HTML formatting and writes it to a HTML file.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExamplesHTMLGenerator

public ExamplesHTMLGenerator()

Default

Method Details

printExamplesToHtmlFile

public static void printExamplesToHtmlFile(String path)
                                    throws 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:

IOException - if an IO error occurs

main

public static void main(String[] args)
                 throws IOException

Print Examples to test file

Parameters:

args - String

Throws:

IOException - throws