def __init__(self, do_diffs, dark_mode, gray_mode, topo_mode, dump_dot_only):
    super(DotDumpVisitor, self).__init__()
    self._do_diffs = do_diffs
    self._dark_mode = dark_mode
    self._gray_mode = gray_mode
    self._topo_mode = topo_mode
    self._dump_dot_only = dump_dot_only
    self._output = []
def __init__(self, do_diffs, dark_mode, gray_mode, topo_mode, dump_dot_only):
    super(DotDumpVisitor, self).__init__()
    self._do_diffs = do_diffs
    self._dark_mode = dark_mode
    self._gray_mode = gray_mode
    self._topo_mode = topo_mode
    self._dump_dot_only = dump_dot_only
    self._output = []