package  at.ac.tuwien.infosys.www.pixy;

import  java.util. * ;
public   class  Coor 
... {
    private int x;
    private int y;
    private List<Coor> coors;
    public Coor(int x, int y)
    ...{
        this.coors = new LinkedList<Coor>();
        this.x = x;
        this.y = y;
    }
    public int getX()
    ...{
        return this.x;
    }
    public int getY()
    ...{
        return this.y;
    }
    public List<Coor> getCoors()
    ...{
        return this.coors;
    }
    public void addCoor(Coor coor)
    ...{
        this.coors.add(coor);
    }
    public boolean equals(Coor coor)
    ...{
        if (coor.getX()==this.x && coor.getY()==y)
        ...{
            return true;
        }
        return false;
    }
    public boolean contains(Coor c)
    ...{
        for (Coor coor : this.coors)
        ...{
            if (coor.getX()==c.getX() && coor.getY()==c.getY())
            ...{
                return true;
            }
        }
        return false;
    }
}

package  at.ac.tuwien.infosys.www.pixy;
import  at.ac.tuwien.infosys.www.pixy.conversion.Cfg;
import  at.ac.tuwien.infosys.www.pixy.conversion.nodes. * ;

import  java.util. * ;
import  java.awt. * ;
import  java.awt.event. * ;
import  javax.swing. * ;
/** */ /**
 *
 * @author Administrator
 */
public   class  DrawPanel  extends  JPanel
... {
    private java.util.List<CfgNode> cfgList;
    private java.util.List<Coor> coorList;
    
    /** *//** Creates a new instance of OvalJPanel */
    public DrawPanel(java.util.List<CfgNode> cfgList, java.util.List<Coor> coorList) 
    ...{
        this.cfgList = cfgList;
        this.coorList = coorList;
    }
    //在面板上绘制图形
    public void paintComponent(Graphics g)
    ...{
        
        
        for (int i=0 ;i<this.cfgList.size() ;i++ )
        ...{
            CfgNode cfgNode = this.cfgList.get(i);
            Coor coor = this.coorList.get(i);
            int x = coor.getX();
            int y = coor.getY();
            g.setColor(Color.red);
            g.drawOval(x-50, y-15, 100, 30);
            g.setColor(Color.blue);
            g.drawString(cfgNode.toString(), x-30, y-5);
            g.drawString("Loc :" + String.valueOf(cfgNode.getOrigLineno()), x, y+10);
            java.util.List<Coor> coors = coor.getCoors();
            for (Coor c : coors)
            ...{
                int cx = c.getX();
                int cy = c.getY();
                g.setColor(Color.black);
                if (c.equals(coor))
                ...{
                    g.setColor(Color.yellow);
                }
                g.drawLine(x, y+15, cx, cy-15);
                
            }
        }
    }
}

package  at.ac.tuwien.infosys.www.pixy;
import  at.ac.tuwien.infosys.www.pixy.conversion.Cfg;
import  at.ac.tuwien.infosys.www.pixy.conversion.nodes. * ;

import  java.awt. * ;
import  java.awt.event. * ;
import  javax.swing. * ;
import  java.util. * ;
/** */ /**
 *
 * @author Administrator
 */
public   class  Draw  ... {
    
    //声明框架
    private JFrame frame = new JFrame("Control Flow Graph");
    //声明书签面板
    private DrawPanel draw;
    private Cfg cfg;
    private Map<CfgNode, Coor> map;
    private java.util.List<CfgNode> cfgList;
    private java.util.List<Coor> coorList;
    private int startX = 50;
    private int startY = 30;

    /** *//** Creates a new instance of TabbedJFrame */
    public Draw(Cfg cfg) ...{
        //this.map = new TreeMap<CfgNode, Coor>();
        this.cfgList = new LinkedList<CfgNode>();
        this.coorList = new LinkedList<Coor>();
        this.cfg = cfg;
    }
    public void show()
    ...{
        frame.add(new JScrollPane(new DrawPanel(this.cfgList, this.coorList)), BorderLayout.CENTER);
        frame.setSize(1000, 1000);
        frame.setLocation(50, 50);
        frame.setVisible(true);
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
    }
    /** *//**
     * 将Cfg转换为cfgList和coorList.
     */
    public void convert()
    ...{
        CfgNode node = this.cfg.getHead();
        int size = this.cfg.size();
        Coor coor = new Coor(startX, startY);

        this.cfgList.add(node);
        this.coorList.add(coor);
        System.out.println(size);
        java.util.List<CfgNode> noded = new LinkedList<CfgNode>();
        
        for (int i=0 ;i<size ;i++ )
        ...{
            int n = i;
            if (noded.contains(node))
            ...{
                n = -1;
                for (CfgNode cfgNode : this.cfgList )
                ...{
                    n++;
                    if (noded.contains(cfgNode))
                    ...{
                        continue;
                    }
                    node = cfgNode;
                    break;
                }
            }

            noded.add(node);//为了上边的if判断好做，故在此向noded中添加
            java.util.List<CfgNode> list = node.getSuccessors();
            int len = list.size();
            if (len == 0)
            ...{
                continue;
            }

            int k = 0;
            
            coor = this.coorList.get(this.cfgList.indexOf(node));
            startY = coor.getY() + 60;
            for (CfgNode cfgNode : list)
            ...{
                startX = coor.getX() + k*250;
                k++;
                if (this.cfgList.contains(cfgNode))
                ...{
                    Coor c = (Coor)this.coorList.get(this.cfgList.indexOf(cfgNode));
                    if (!coor.contains(c))
                    ...{
                        coor.addCoor(c);
                    }
                    continue;
                }
                coor.addCoor(new Coor(startX, startY));
                this.cfgList.add(cfgNode);
                this.coorList.add(new Coor(startX, startY));
            }
            node = list.get(0);//这里取到的CfgNode可能已经分析过了，通过上边的if判断可以从cfgList中另外取一个。
        }
    }
    public void setStartX(int x)
    ...{
        this.startX = x;
    }
    public void setStartY(int y)
    ...{
        this.startY = y;
    }
    public int getStartX()
    ...{
        return this.startX;
    }
    public int getStartY()
    ...{
        return this.startY;
    }
    public void dump()
    ...{
        System.out.println("------------------");
        for (int i=0 ; i<this.cfgList.size(); i++)
        ...{
            CfgNode cfgNode = this.cfgList.get(i);
            Coor coor = this.coorList.get(i);
            System.out.println(cfgNode.toString() + "  "/**//* + cfgNode.toString()*/ +"  " + coor.getX() + " " + coor.getY() + "  " + coor.getCoors().size());
        }
        System.out.println("------------------");
    }
    
    public void dumpMap()
    ...{
        java.util.List<CfgNode> list = this.cfg.dfPreOrder();
        System.out.println("******************");
        for (CfgNode node : list)
        ...{
            System.out.println("    " + node.toString() + " " + node.getSuccessors().size());
        }
        System.out.println("******************");
    }
    public static void main(String [] args)
    ...{
    //    new Draw();
    }
    
}