tuffy.test
Class ParsingLoadingTest

java.lang.Object
  tuffy.test.ParsingLoadingTest

public class ParsingLoadingTest
extends java.lang.Object

Testing class for parsing and loading.

Field Summary

private static Predicate	p1
private static Predicate	p2
private static Type	type

Constructor Summary

ParsingLoadingTest()

Method Summary

static void	setUp()
void	testLoadEvidences() Test the parsing function of evidence.
void	testProgramQueryParser() Test the parsing function of program and query.

Methods inherited from class java.lang.Object

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

Field Detail

p1

private static Predicate p1

p2

private static Predicate p2

type

private static Type type

Constructor Detail

ParsingLoadingTest

public ParsingLoadingTest()

Method Detail

setUp

public static final void setUp()

testProgramQueryParser

public void testProgramQueryParser()

Test the parsing function of program and query.

testLoadEvidences

public final void testLoadEvidences()
                             throws java.lang.Exception

Test the parsing function of evidence.

Throws:

java.lang.Exception