public void Open()
 {
     if( MoveNextEntry( "graph" ) )
     {
         Header = new DotGraphHeader();
         Header.Scale = myReader.ReadInt();
         Header.Width = myReader.ReadDouble();
         Header.Height = myReader.ReadDouble();
     }
     else
     {
         throw new InvalidOperationException( "First line should start with 'graph'" );
     }
 }
예제 #2
0
 public void Open()
 {
     if (MoveNextEntry("graph"))
     {
         Header        = new DotGraphHeader();
         Header.Scale  = myReader.ReadInt();
         Header.Width  = myReader.ReadDouble();
         Header.Height = myReader.ReadDouble();
     }
     else
     {
         throw new InvalidOperationException("First line should start with 'graph'");
     }
 }