amie.tests

Class KBTest

java.lang.Object

amie.tests.KBTest

public class KBTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
KBTest()

Method Summary

Modifier and Type	Method and Description
static void	case1(KB source)
static void	case2(KB source)
static void	case3(KB source)
static void	case4(KB source)
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

KBTest

public KBTest()

Method Detail

case3

public static void case3(KB source)

case1

public static void case1(KB source)

case2

public static void case2(KB source)

case4

public static void case4(KB source)

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException