Class XSTCTester


  • public class XSTCTester
    extends java.lang.Object
    • Constructor Detail

      • XSTCTester

        public XSTCTester()
    • Method Detail

      • printUsage

        public static void printUsage()
      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • makeHTMLLink

        public static java.lang.String makeHTMLLink​(java.io.File file,
                                                    boolean value)
      • makeHTMLDescription

        public static java.lang.String makeHTMLDescription​(XSTCTester.TestCase testCase)
      • summarizeResultAsHTMLTableRows

        public static void summarizeResultAsHTMLTableRows​(XSTCTester.TestCaseResult result,
                                                          java.io.PrintWriter out,
                                                          boolean errcode)
      • parseLTGFile

        public static XSTCTester.TestCase[] parseLTGFile​(java.io.File ltgFile,
                                                         java.util.Collection outerErrors)
      • errorReported

        public static boolean errorReported​(java.lang.String errorCode,
                                            java.util.Collection set)