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 Details

    • ExamplesHTMLGenerator

      public ExamplesHTMLGenerator()
  • 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
      Parameters:
      args - String
      Throws:
      IOException - throws