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();
  }
}

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 ( ) ; } }
dot reader < br > reads a graph description in dot format from a string
