edu.rice.cs.cunit.threadCheck.tests
Class ThreadPredicateCheckTest

java.lang.Object
  TestCase
      edu.rice.cs.cunit.threadCheck.tests.ThreadPredicateCheckTest

public class ThreadPredicateCheckTest
extends TestCase

Unit test for thread checker annotations and the AddPredicateThreadCheckStrategy.

Author:

Mathias Ricken

Field Summary

(package private) java.io.File	_tempDir
(package private) java.lang.String	FS
(package private) java.lang.String	LS
(package private) java.lang.String	PS

Constructor Summary

ThreadPredicateCheckTest()

Method Summary

private java.lang.Process	runTestClass(java.lang.String className)
private java.lang.Process	runTestClass(java.lang.String className, java.io.OutputStream stdOutStream, java.io.OutputStream stdErrStream)
void	setUp()
protected void	tearDown() Tears down the fixture, for example, close a network connection.
void	testTCSample18()
void	testTCSample19()
void	testTCSample20()
void	testTCSample4()
void	testTCSample5()
void	testTCSample7()

Methods inherited from class java.lang.Object

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

Field Detail

_tempDir

java.io.File _tempDir

LS

final java.lang.String LS

FS

final java.lang.String FS

PS

final java.lang.String PS

Constructor Detail

ThreadPredicateCheckTest

public ThreadPredicateCheckTest()

Method Detail

setUp

public void setUp()
           throws java.lang.Exception

Throws:

java.lang.Exception

tearDown

protected void tearDown()
                 throws java.lang.Exception

Tears down the fixture, for example, close a network connection. This method is called after a test is executed.

Throws:

java.lang.Exception

testTCSample5

public void testTCSample5()
                   throws java.io.IOException

Throws:

java.io.IOException

testTCSample7

public void testTCSample7()
                   throws java.io.IOException

Throws:

java.io.IOException

testTCSample4

public void testTCSample4()
                   throws java.io.IOException

Throws:

java.io.IOException

runTestClass

private java.lang.Process runTestClass(java.lang.String className)
                                throws java.io.IOException

Throws:

java.io.IOException

runTestClass

private java.lang.Process runTestClass(java.lang.String className,
                                       java.io.OutputStream stdOutStream,
                                       java.io.OutputStream stdErrStream)
                                throws java.io.IOException

Throws:

java.io.IOException

testTCSample18

public void testTCSample18()
                    throws java.io.IOException

Throws:

java.io.IOException

testTCSample19

public void testTCSample19()
                    throws java.io.IOException

Throws:

java.io.IOException

testTCSample20

public void testTCSample20()
                    throws java.io.IOException

Throws:

java.io.IOException