Package apron

Class Test

java.lang.Object

apron.Test

public class Test
extends Object

Simple test for the Java Apron binding.

Run with: java -ea -esa apron.Test

Constructor Summary

Constructors

Constructor	Description
Test()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Calling main performs a few API tests.
static void	mainx(String[] args)
static void	testDomain(Manager man)
static Object	testSerialize(Object o)

Methods inherited from class java.lang.Object

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

Constructor Details

Test

public Test()

Method Details

testSerialize

public static Object testSerialize(Object o)

testDomain

public static void testDomain(Manager man)
                       throws ApronException

Throws:

ApronException

main

public static void main(String[] args)
                 throws ApronException,
CloneNotSupportedException

Calling main performs a few API tests.

Throws:

ApronException

CloneNotSupportedException

mainx

public static void mainx(String[] args)
                  throws ApronException,
CloneNotSupportedException

Throws:

ApronException

CloneNotSupportedException