DotParser dp = new DotParser(input, m_nodes, m_edges); graphID = dp.parse();  setAppropriateNodeSize(); if(m_le!=null) { m_le.setNodeSize(paddedNodeWidth, nodeHeight); jBtLayout.setEnabled(false); layoutGraph(); }
DotParser dp = new DotParser(input, m_nodes, m_edges); graphID = dp.parse();  setAppropriateNodeSize(); if(m_le!=null) { m_le.setNodeSize(paddedNodeWidth, nodeHeight); jBtLayout.setEnabled(false); layoutGraph();
    public void readDOT(Reader input) {	DotParser dp = new DotParser(input, m_nodes, m_edges);	graphID = dp.parse();	setAppropriateNodeSize();	if(m_le!=null) { 	    m_le.setNodeSize(paddedNodeWidth, nodeHeight);	    jBtLayout.setEnabled(false);	    layoutGraph();	}    }