import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
private void launchDisplay() {
	this.viewer = this.graph.display();
	this.viewer.disableAutoLayout();

	this.ggraph = this.viewer.getGraphicGraph();

	View view = this.viewer.getDefaultView();

	ViewerPipe fromViewer = this.viewer.newViewerPipe();
	ViewerEventListener viewerListener =
			new ViewerEventListener(fromViewer, this.displayedGraph);
	view.setMouseManager(viewerListener);
	view.addMouseWheelListener(viewerListener);
	fromViewer.addViewerListener(viewerListener);
	fromViewer.addSink(this.graph);
}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
public void addViewTransition(Command command, io.supermonkey.crawler.device.View oldView, io.supermonkey.crawler.device.View newView) {

		org.graphstream.graph.Node oldNode = getOrCreateNode(oldView);
		org.graphstream.graph.Node newNode = getOrCreateNode(newView);

		oldNode.setAttribute("ui.label", oldView.getId().getShortName());
		newNode.setAttribute("ui.label", newView.getId().getShortName());

		for(Node node : graph.getEachNode()) {
			node.removeAttribute("ui.class");
		}
		newNode.addAttribute("ui.class", "current");

		String edgeLabel = toString(command);
		Edge edge = getOrCreateEdge(toEdgeId(edgeLabel, oldNode, newNode), oldNode, newNode);
		if(edge.isLoop()) {
			edge.addAttribute("ui.class", "loop");
		}
		//edge.setAttribute("ui.label", edgeLabel);
	}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
/**
 * Konstruktor
 * Erstellt die Anzeige
 */
public GraphView(FacePath fp) {
	this.fp = fp;
	this.initialize();
	if (fs == null) {
		this.fs = fp.getFS();
	}
	Viewer viewer = new Viewer(fs.getGraph(), Viewer.ThreadingModel.GRAPH_IN_ANOTHER_THREAD);
	fs.getFbNetwork().setGraphViewer(viewer);
	View view = viewer.addDefaultView(false);
	
	GridBagConstraints gbc_view = new GridBagConstraints();
	gbc_view.fill = GridBagConstraints.BOTH;
	gbc_view.insets = new Insets(10, 30, 5, 30);
	gbc_view.gridx = 0;
	gbc_view.gridy = 0;
	resultPanel.add(view, gbc_view);
}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
private static io.supermonkey.crawler.device.View.Id createId(final String name) {
	return new io.supermonkey.crawler.device.View.Id() {
		@Override
		public String getQualifiedName() {
			return name;
		}

		@Override
		public String getShortName() {
			return name;
		}
	};
}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
private static io.supermonkey.crawler.device.View createView(io.supermonkey.crawler.device.View.Id viewId) {
	Element element = new Element(new HashMap<String, String>(), Element.Type.UNKNOWN, false, false);
	List<io.supermonkey.crawler.hierarchy.Node> childs = Collections.emptyList();
	io.supermonkey.crawler.hierarchy.Node elements = new io.supermonkey.crawler.hierarchy.Node(element, childs);

	return new io.supermonkey.crawler.device.View(viewId, elements);
}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
private Node getOrCreateNode(io.supermonkey.crawler.device.View view) {
	if(graph.getNode(view.getId().getQualifiedName()) != null) {
		return graph.getNode(view.getId().getQualifiedName());
	} else {
		return graph.addNode(view.getId().getQualifiedName());
	}
}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
/**
 * Constructor
 * @param vpipe - Viewer Pipe of the graph UI
 * @param vw - View of the current graph in swing
 * @param g - graph object for the current graph in use
 */
public NodeClickListener(ViewerPipe vpipe, View vw, Graph g) {
	this.loop=true;
	this.vpipe = vpipe;
	this.vw = vw;
	this.graph = g;
	// Keep piping back while grph is out to hook mouse clicks
	this.vw.addMouseListener(this);

}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
public void addViewScreenshot(io.supermonkey.crawler.device.View view, BufferedImage image) {
	addScreenshotThumbnail(image, view.getId().getShortName());
}
 

import org.graphstream.ui.swingViewer.View; //导入依赖的package包/类
/**
 * Create the graph viewer inside the view.
 *
 * @param graph
 *            The graph to show.
 */
private void createGraphViewer(VPMGraph graph) {

    // setting to enable an improved graph renderer
    // java.lang.System.setProperty("org.graphstream.ui.renderer",
    // "org.graphstream.ui.j2dviewer.J2DGraphRenderer");

    this.vpmGraph = graph;

    setTitleToolTip("Graph: " + graph.getId());

    // create the graph viewer
    CustomEdgeLabelAttributeProxy proxy = new CustomEdgeLabelAttributeProxy(vpmGraph,
            RelationshipEdge.RELATIONSHIP_LABEL);
    Viewer v = new Viewer(proxy);

    SpringBox layout = new SpringBox(false, new Random(0));
    v.enableAutoLayout(layout);
    v.setCloseFramePolicy(CloseFramePolicy.HIDE_ONLY);
    View view = v.addDefaultView(false);
    view.setFocusTraversalKeysEnabled(true);

    Panel panel = new Panel(new BorderLayout()) {

        private static final long serialVersionUID = 1L;

        public void update(java.awt.Graphics g) {
            /* Do not erase the background */
            paint(g);
        }
    };
    JRootPane root = new JRootPane();
    panel.add(root);

    root.getContentPane().add(view);

    frame.add(panel);
    frame.setVisible(true);

    setFocus();
}