47 lines
813 B
Java
47 lines
813 B
Java
|
/**
|
||
|
|
*/
|
||
|
|
package petrinet.tests;
|
||
|
|
|
||
|
|
import junit.framework.Test;
|
||
|
|
import junit.framework.TestSuite;
|
||
|
|
|
||
|
|
import junit.textui.TestRunner;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* A test suite for the '<em><b>Petrinet</b></em>' model.
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public class PetrinetAllTests extends TestSuite {
|
||
|
|
|
||
|
|
/**
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public static void main(String[] args) {
|
||
|
|
TestRunner.run(suite());
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public static Test suite() {
|
||
|
|
TestSuite suite = new PetrinetAllTests("Petrinet Tests");
|
||
|
|
return suite;
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public PetrinetAllTests(String name) {
|
||
|
|
super(name);
|
||
|
|
}
|
||
|
|
|
||
|
|
} //PetrinetAllTests
|