testfusionplace.java

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

package org.rakiura.cpn;

/**/
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

/**
 *  Tests fusion place.
 * 
 *<br><br>
 * TestFusionPlace.java<br>
 * Created: Fri Apr 12 18:18:45 2002<br>
 *
 * @author  <a href="[e-mail]">Mariusz Nowostawski</a>
 * @version $Revision: 1.3 $ $Date: 2002/04/24 02:24:08 $
 */
public class TestFusionPlace extends TestCase {

  private Place placeA, placeB, placeC;


  public TestFusionPlace(String name) {
    super(name);
  }

  protected void setUp() {
    this.placeA = new Place();
    this.placeB = new Place();
    this.placeC = new Place();
  }

  public void testEmpty() {
    setUp();
    final FusionPlace fp = new FusionPlace();
    fp.addPlace(placeA);
    fp.addPlace(placeB);
    fp.addPlace(placeC);
    
    assert(fp.getTokens().size() == 0);

    placeA.addToken(new Integer(2));
    assert(fp.getTokens().size() == 1);
    assert(placeA.getTokens().size() == 1);
    assert(placeB.getTokens().size() == 1);
    assert(placeC.getTokens().size() == 1);
    
    placeA.removeToken(placeA.getTokens().getAny());
    assert(fp.getTokens().size() == 0);
    assert(placeA.getTokens().size() == 0);
    assert(placeB.getTokens().size() == 0);
    assert(placeC.getTokens().size() == 0);

    placeB.addToken(new Integer(20));
    placeC.addToken(new Integer(30));
    assert(fp.getTokens().size() == 2);
    assert(placeA.getTokens().size() == 2);
    assert(placeB.getTokens().size() == 2);
    assert(placeC.getTokens().size() == 2);
  }


  public void testFull1() {
    setUp();
    placeA.addToken(new Integer(10));
    placeB.addToken(new Integer(20));

    final FusionPlace fp = new FusionPlace();
    fp.addPlace(placeA);
    fp.addPlace(placeB);
    fp.addPlace(placeC);

    assert(fp.getTokens().size() == 1);
    assert(placeA.getTokens().size() == 1);
    assert(placeB.getTokens().size() == 1);
    assert(placeC.getTokens().size() == 1);    
  }


  public void testFull2() {
    setUp();
    Integer t = new Integer(10);

    placeB.addToken(t);
    placeC.addToken(t);
    
    final FusionPlace fp = new FusionPlace();
    fp.addPlace(placeA);
    fp.addPlace(placeB);
    fp.addPlace(placeC);

    assert(fp.getTokens().size() == 0);
    assert(placeA.getTokens().size() == 0);
    assert(placeB.getTokens().size() == 0);
    assert(placeC.getTokens().size() == 0);    
  }


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


} // TestFusionPlace
//////////////////// end of file ////////////////////