Class NfaGraphFormatter.Canvas

  • Enclosing class:
    NfaGraphFormatter

    protected static class NfaGraphFormatter.Canvas
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.List<java.lang.StringBuffer> document  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected Canvas()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void set​(int line, int column, java.lang.String string)  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • document

        protected java.util.List<java.lang.StringBuffer> document
    • Constructor Detail

      • Canvas

        protected Canvas()
    • Method Detail

      • set

        public void set​(int line,
                        int column,
                        java.lang.String string)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object