visofreachabilitygraph.java

petrinets小程序

import java.awt.Canvas;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.Image;


public class visOfReachabilityGraph extends Canvas{

	private Dimension ViewDim;
	private pn PNet;
	private Image BackBuf;
	
	public visOfReachabilityGraph(Dimension dim){
		PNet = run.Ed.PNet;
		ViewDim = new Dimension(dim);
		resize(dim);
		
		
		this.setSize(400, 450);
	}
	
	public void paint(Graphics g) {
//		super.paint(g);
		if (BackBuf == null)
            BackBuf = createImage(ViewDim.width, ViewDim.height);
		Graphics gBB = BackBuf.getGraphics();
        gBB.setColor(getBackground());
        gBB.fillRect(0, 0, ViewDim.width, ViewDim.height);
        gBB.setColor(Color.black);
        

        
        g.drawImage(BackBuf, 0, 0, ViewDim.width, ViewDim.height, null);
    }
}