90 lines
1.7 KiB
Java
90 lines
1.7 KiB
Java
/**
|
|
*/
|
|
package petrinet.tests;
|
|
|
|
import junit.framework.TestCase;
|
|
|
|
import junit.textui.TestRunner;
|
|
|
|
import petrinet.Network;
|
|
import petrinet.PetrinetFactory;
|
|
|
|
/**
|
|
* <!-- begin-user-doc -->
|
|
* A test case for the model object '<em><b>Network</b></em>'.
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
public class NetworkTest extends TestCase {
|
|
|
|
/**
|
|
* The fixture for this Network test case.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
protected Network fixture = null;
|
|
|
|
/**
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
public static void main(String[] args) {
|
|
TestRunner.run(NetworkTest.class);
|
|
}
|
|
|
|
/**
|
|
* Constructs a new Network test case with the given name.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
public NetworkTest(String name) {
|
|
super(name);
|
|
}
|
|
|
|
/**
|
|
* Sets the fixture for this Network test case.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
protected void setFixture(Network fixture) {
|
|
this.fixture = fixture;
|
|
}
|
|
|
|
/**
|
|
* Returns the fixture for this Network test case.
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @generated
|
|
*/
|
|
protected Network getFixture() {
|
|
return fixture;
|
|
}
|
|
|
|
/**
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @see junit.framework.TestCase#setUp()
|
|
* @generated
|
|
*/
|
|
@Override
|
|
protected void setUp() throws Exception {
|
|
setFixture(PetrinetFactory.eINSTANCE.createNetwork());
|
|
}
|
|
|
|
/**
|
|
* <!-- begin-user-doc -->
|
|
* <!-- end-user-doc -->
|
|
* @see junit.framework.TestCase#tearDown()
|
|
* @generated
|
|
*/
|
|
@Override
|
|
protected void tearDown() throws Exception {
|
|
setFixture(null);
|
|
}
|
|
|
|
} //NetworkTest
|