|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjunit.framework.Assert
junit.framework.TestCase
env.wis.jtlv.regression.smv.legacy.ParsingTestCase
env.wis.jtlv.regression.smv.legacy.BmcMcpTC
public class BmcMcpTC
| Field Summary | |
|---|---|
static java.lang.String |
filename
|
| Constructor Summary | |
|---|---|
BmcMcpTC()
|
|
BmcMcpTC(boolean save_ref)
|
|
| Method Summary | |
|---|---|
void |
bmc_MCP()
|
| Methods inherited from class env.wis.jtlv.regression.smv.legacy.ParsingTestCase |
|---|
doParsingTest, setUp, tearDown |
| Methods inherited from class junit.framework.TestCase |
|---|
countTestCases, getName, run, run, runBare, 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, failNotEquals, failNotSame, failSame, format |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.String filename
| Constructor Detail |
|---|
public BmcMcpTC()
public BmcMcpTC(boolean save_ref)
| Method Detail |
|---|
public void bmc_MCP()
throws java.io.IOException
java.io.IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||