visofreachabilitytree.java

petrinets小程序

import java.awt.*;
import java.util.Vector;


public class visOfReachabilityTree extends Canvas{
	
	
	
	protected boolean runVictualRun;
	
	private Dimension ViewDim;
	private pn PNet;
	private pn PNetN;
	private Image BackBuf;
	
	private ReachabilityTreeNode rootNode;
	
	private int row, vol;
	
	
	public visOfReachabilityTree(pn PN, Dimension dim){
//		this.PNet = new pn(PN);
//	    this.PNetN = new pn(PN);
		runVictualRun = false; 
		
		ViewDim = new Dimension(dim);
		resize(dim);
		
		
		this.setSize(780, 450);
	}

	public void update(pn PN, Graphics 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);
        
        this.drawLine(gBB);
        
        g.drawImage(BackBuf, 0, 0, ViewDim.width, ViewDim.height, null);
    }
	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);
        
        this.PNet = new pn(run.Ed.PNet);
//        ReachabilityTreeNode node = new ReachabilityTreeNode(PNet);
 

//        this.drawNode(node, gBB);
        this.drawNodes(rootNode, gBB, PNet);
        
        g.drawImage(BackBuf, 0, 0, ViewDim.width, ViewDim.height, null);
    }

//
//
//
//
//	
//
	public void drawLine(Graphics g){
		g.drawLine(20, 20, 500, 400);
	}
	
	
	public void drawNodes(ReachabilityTreeNode node, Graphics g, pn PN){
		node = new ReachabilityTreeNode(PN);
		Vector v = new Vector();
		v = node.creatTree(node, PN);
		
		ReachabilityTreeNode nod;
		
		String str;
		
		for(int i = 0; i < v.size(); i--){
			nod = (ReachabilityTreeNode)v.elementAt(i);
			str = nod.toString(nod);
			g.drawString(str, 130*nod.getVolth() + 30, 60*nod.getLevel() + 30);
		}
	}
	
	
	public void drawNode(ReachabilityTreeNode node, Graphics g){
		String str;
		str = node.toString(node);
		g.drawString(str, 100, 100);
	}
	

}