TestPplite

java.lang.Object

apron.TestPplite

public class TestPplite extends Object

Test ad-hoc PPLite functionality in Java binding

Run with: java -ea -esa apron.TestPplite

Constructor Summary

Constructors

Constructor

Description

TestPplite()
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 String

safe_toString(Pplite man, Abstract0 a)

static void

testDomain(Manager man)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- TestPplite
  
  public TestPplite()
Method Details
- testDomain
  
  public static void testDomain(Manager man) throws ApronException
  
  Throws:
  
  ApronException
- safe_toString
  
  public static String safe_toString(Pplite man, Abstract0 a) 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