Overview  Package   Class  Use  Deprecated  Index
Home >> All >> ch >> ethz >> prose >> [ filter overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

ch.ethz.prose.filter
Class DeclarationSTest  

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          ch.ethz.prose.filter.DeclarationSTest

All Implemented Interfaces:

junit.framework.Test

---

public class DeclarationSTest

extends junit.framework.TestCase

JUnit testcase for class Within.

Version:

$Revision: 1.1.1.1 $

---

Nested Class Summary
(package private) static class	DeclarationSTest.ASeccondBody
(package private) static class	DeclarationSTest.ASimpleBody
static class	DeclarationSTest.ASimpleMethodBody
(package private) static class	DeclarationSTest.BadFooBar
(package private) static class	DeclarationSTest.FooBar
static class	DeclarationSTest.NiceFooBar

 

Field Summary
(package private)  ch.ethz.prose.engine.MethodEntryRequest	aSeccondBodyRequest
(package private)  ch.ethz.prose.engine.MethodEntryRequest	aSimpleBodyRequest
(package private)  ch.ethz.prose.engine.MethodEntryRequest	aSimpleMethodBodyRequest
(package private)  ch.ethz.prose.engine.MethodEntryRequest	badFooBarRequest
(package private)  ch.ethz.prose.engine.MethodEntryRequest	fooBarRequest
(package private)  ch.ethz.prose.engine.MethodEntryRequest	niceFooBarRequest

 

Fields inherited from class junit.framework.TestCase

 

Constructor Summary

DeclarationSTest(java.lang.String name)           Construct test with given name.

 

Method Summary
protected  void	setUp()           Set up fixture.
static junit.framework.Test	suite()           Test suite.
protected  void	tearDown()           Tears down the fixture, for example, close a network connection.
void	testExecutionSameType()
void	testExecutionSExtending()
void	testExecutionSinpackage()
void	testExecutionSNamed()
void	testExecutionSUSER_AND_SYSTEM()

 

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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

fooBarRequest

ch.ethz.prose.engine.MethodEntryRequest fooBarRequest

---

niceFooBarRequest

ch.ethz.prose.engine.MethodEntryRequest niceFooBarRequest

---

badFooBarRequest

ch.ethz.prose.engine.MethodEntryRequest badFooBarRequest

---

aSimpleMethodBodyRequest

ch.ethz.prose.engine.MethodEntryRequest aSimpleMethodBodyRequest

---

aSimpleBodyRequest

ch.ethz.prose.engine.MethodEntryRequest aSimpleBodyRequest

---

aSeccondBodyRequest

ch.ethz.prose.engine.MethodEntryRequest aSeccondBodyRequest

Constructor Detail

DeclarationSTest

public DeclarationSTest(java.lang.String name)

Construct test with given name.

Method Detail

setUp

protected void setUp()
              throws java.lang.Exception

Set up fixture.

---

tearDown

protected void tearDown()

Description copied from class: junit.framework.TestCase

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

---

testExecutionSNamed

public void testExecutionSNamed()

---

testExecutionSUSER_AND_SYSTEM

public void testExecutionSUSER_AND_SYSTEM()

---

testExecutionSExtending

public void testExecutionSExtending()

---

testExecutionSameType

public void testExecutionSameType()
                           throws java.lang.Throwable

---

testExecutionSinpackage

public void testExecutionSinpackage()

---

suite

public static junit.framework.Test suite()

Test suite.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> ch >> ethz >> prose >> [ filter overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---