The Meta-Environment API

nl.cwi.sen1.visbase.rstorecontainer.datatypes
Class ATermParseExceptionTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by nl.cwi.sen1.visbase.rstorecontainer.datatypes.ATermParseExceptionTest
All Implemented Interfaces:
junit.framework.Test

public class ATermParseExceptionTest
extends junit.framework.TestCase

Used to test the ATermParseExceptionTest code

Author:
Ricardo Lindooren

Field Summary
private static java.lang.String MESSAGE
           
private static java.lang.String MESSAGE2
           
 
Constructor Summary
ATermParseExceptionTest()
           
 
Method Summary
 void testATermParseException()
           
 void testATermParseExceptionString()
           
 void testATermParseExceptionStringThrowable()
           
 void testATermParseExceptionThrowable()
           
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, 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
 

Field Detail

MESSAGE

private static final java.lang.String MESSAGE
See Also:
Constant Field Values

MESSAGE2

private static final java.lang.String MESSAGE2
See Also:
Constant Field Values
Constructor Detail

ATermParseExceptionTest

public ATermParseExceptionTest()
Method Detail

testATermParseException

public void testATermParseException()

testATermParseExceptionString

public void testATermParseExceptionString()

testATermParseExceptionStringThrowable

public void testATermParseExceptionStringThrowable()

testATermParseExceptionThrowable

public void testATermParseExceptionThrowable()

The Meta-Environment API