cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz
Class GraphvizException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.GraphvizException

All Implemented Interfaces:

Serializable

public class GraphvizException
extends Exception

Used to signal error during processing output from Graphviz.

See Also:

Serialized Form

Constructor Summary

GraphvizException(String message)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GraphvizException

public GraphvizException(String message)