aima.test.logictest.foltest
Class FOLLexerTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.foltest.FOLLexerTest

All Implemented Interfaces:

junit.framework.Test

public class FOLLexerTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

FOLLexerTest()

Method Summary

void	setUp()
void	testConnectors()
void	testFunctions()
void	testLexBasicExpression()
void	testMultiArgPredicate()
void	testPredicate()
void	testQuantifier()
void	testTermEquality()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLLexerTest

public FOLLexerTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testLexBasicExpression

public void testLexBasicExpression()

testConnectors

public void testConnectors()

testFunctions

public void testFunctions()

testPredicate

public void testPredicate()

testMultiArgPredicate

public void testMultiArgPredicate()

testQuantifier

public void testQuantifier()

testTermEquality

public void testTermEquality()