Python Coqdoc_Movie.Coqdoc_Movie Examples

Example #1

File: test_coqdoc_movie.py Project: yforster/proviola

  def setUp(self):
    """ Sets up fixture. """
    self._target = NamedTemporaryFile(suffix = ".xml", delete = False)
    s = BeautifulStoneSoup()
    self._a = Tag(s, "a")
    self._frame = Coqdoc_Frame(command_cd = [self._a], command = "foo",
                               response = None)

    self._coqdoc_movie = Coqdoc_Movie()
    self._coqdoc_movie.addFrame(self._frame)

Example #2

 def __init__(self):
     """ Setup: creates an empty movie. """
     CoqReader.__init__(self)
     self._movie = Coqdoc_Movie()
     self._prover = None
     self._coqdoc_tree = None