apron

Class Test

java.lang.Object

apron.Test

public class Test
extends java.lang.Object

Simple test for the Java Apron binding.

Run with: java -ea -esa apron.Test

Constructor Summary

Constructors

Constructor and Description
Test()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Test

public Test()

Method Detail

testSerialize

public static java.lang.Object testSerialize(java.lang.Object o)

testDomain

public static void testDomain(Manager man)
                       throws ApronException

Throws:

ApronException

main

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

Calling main performs a few API tests.

Throws:

ApronException

java.lang.CloneNotSupportedException

mainx

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

Throws:

ApronException

java.lang.CloneNotSupportedException