testbasicnet.java

Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架

package org.rakiura.cpn;

/**/
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;
import java.util.List;


/**
 * Test utility for BasicNet class test suite.
 * 
 *<br>
 * TestBasicNet.java<br>
 * <br>
 * Created: Fri Oct 29 17:42:14 1999<br>
 *
 * @author Mariusz Nowostawski
 * @version $Revision: 1.6 $
 */
public class TestBasicNet extends TestCase {

  Net net;
  Place p1, p2;
  Transition t1;
  InputArc a1;
  OutputArc a2;


  /**/
  public TestBasicNet(String name) {
    super(name);
  }
  
  /** Setup. */
  protected void setUp(){
    net = new BasicNet();    
    final Multiset m1 = new Multiset();
    m1.add(new Integer(1));
    p1 = new Place(new Multiset(m1));
    p2 = new Place();
    t1 = new Transition();
    a1 = new InputArc(p1, t1);
    a1.setExpression(a1.new Expression() {
        public void evaluate() {
          var(1);
        }
      });
    a2 = new OutputArc(t1, p2);
    a2.setExpression(a2.new Expression() {
        public Multiset evaluate() {
          return new Multiset(getMultiset().getAny());
        }
      });
    
    Marking mark = new Marking();
    mark.put(p1, new Multiset(m1));
    mark.put(p2, new Multiset(m1));
    assert(t1.isEnabled());
    assertEquals("Test of the a1 place initial size", 1, a1.place().getTokens().size());
    assertEquals("Test of the a2 place initial size", 0, a2.place().getTokens().size());

    net.add(p1).add(p2).add(t1);
  }
  
  /**
   */
  public void testNodesOperations(){
    final List list1 = net.transitions();
    assertEquals("Test of allTransitions()", 1, list1.size());
    final List list2 = net.places();
    assertEquals("Test of allPlaces()", 2, list2.size());

    assertSame("Test1 of forID", p1, net.forID(p1.getID()));
    assertSame("Test1 of forName", p1, net.forName(p1.getName()));

    assertSame("Test2 of forID", p2, net.forID(p2.getID()));
    assertSame("Test2 of forName", p2, net.forName(p2.getName()));

    assertSame("Test3 of forID", t1, net.forID(t1.getID()));
    assertSame("Test3 of forName", t1, net.forName(t1.getName()));    
  }

  

  /**
   * Test suite. */ 
  public static Test suite() { 
    return new TestSuite(TestBasicNet.class); 
  }

} // TestBasicNet
//////////////////// end of file ////////////////////