org.jacaranda.verifier
Class Test

java.lang.Object
  extended by org.jacaranda.verifier.Test

public class Test
extends java.lang.Object

Test suite (currently very incomplete).


Method Summary
static void lex(java.lang.String source, boolean expectPass, int[] tokenTypes, java.lang.String[] tokenTexts)
          Run a single lexer test.
static void lexRewrite(java.lang.String source, boolean expectPass, java.lang.String rewritten, int[] tokenTypes, java.lang.String[] tokenTexts)
          Run a single lexer test involving rewriting.
static void main(java.lang.String[] argv)
          Run all lexer and parser tests.
static void parse(java.lang.String source, boolean expectPass, java.lang.String production, org.jacaranda.verifier.JacarandaParser.module_scope scope)
          Run a single parser test.
static void parseRewrite(java.lang.String source, boolean expectPass, java.lang.String rewritten, java.lang.String production, org.jacaranda.verifier.JacarandaParser.module_scope scope)
          Run a single parser test involving rewriting.
static void testLexerAll()
          Run all lexer tests.
static void testParserAll()
          Run all parser tests.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

main

public static void main(java.lang.String[] argv)
Run all lexer and parser tests.


testLexerAll

public static void testLexerAll()
Run all lexer tests.


testParserAll

public static void testParserAll()
Run all parser tests.


lex

public static void lex(java.lang.String source,
                       boolean expectPass,
                       int[] tokenTypes,
                       java.lang.String[] tokenTexts)
Run a single lexer test.


lexRewrite

public static void lexRewrite(java.lang.String source,
                              boolean expectPass,
                              java.lang.String rewritten,
                              int[] tokenTypes,
                              java.lang.String[] tokenTexts)
Run a single lexer test involving rewriting.


parse

public static void parse(java.lang.String source,
                         boolean expectPass,
                         java.lang.String production,
                         org.jacaranda.verifier.JacarandaParser.module_scope scope)
Run a single parser test.


parseRewrite

public static void parseRewrite(java.lang.String source,
                                boolean expectPass,
                                java.lang.String rewritten,
                                java.lang.String production,
                                org.jacaranda.verifier.JacarandaParser.module_scope scope)
Run a single parser test involving rewriting.