def toxml(self, stylesheet="proviola.xsl"): frame_doc = Movie.toxml(self, stylesheet) # Entitites taken from Symbols.v in the SF notes. entity_map = { "nbsp": " ", "mdash": "—", "dArr": "⇓", "rArr": "⇒", "rarr": "→", "larr": "←", "harr": "↔", "forall": "∀", "exist": "∃", "exists": "∃", "and": "∧", "or": "∨", "Gamma": "Γ", } entities = "\n".join( ['<!ENTITY %s "%s">'%(key, entity_map[key]) for key in entity_map]) frame_doc.insert(1, Declaration("DOCTYPE movie [" + entities + "]")) scene_tree = Tag(frame_doc, "scenes") frame_doc.movie.append(scene_tree) for scene in self._scenes: scene_tree.append(scene.toxml(frame_doc)) return frame_doc
def toxml(self, stylesheet="proviola.xsl"): frame_doc = Movie.toxml(self, stylesheet) # Entitites taken from Symbols.v in the SF notes. entity_map = { "nbsp": " ", "mdash": "—", "dArr": "⇓", "rArr": "⇒", "rarr": "→", "larr": "←", "harr": "↔", "forall": "∀", "exist": "∃", "exists": "∃", "and": "∧", "or": "∨", "Gamma": "Γ", "quot": """, "acute": "´", } entities = "\n".join([ '<!ENTITY %s "%s">' % (key, entity_map[key]) for key in entity_map ]) frame_doc.insert(1, Declaration("DOCTYPE movie [" + entities + "]")) scene_tree = Tag(frame_doc, "scenes") frame_doc.movie.append(scene_tree) for scene in self._scenes: scene_tree.append(scene.toxml(frame_doc)) return frame_doc
def toxml(self, doc): frameElement = Tag(doc, TAG_FRAME) frameElement[TAG_ID] = self.getId() frameElement.append(self.createTextElement(doc, TAG_CMD, self.getCommand())) if self._response: frameElement.append(self.createTextElement(doc, TAG_RES, self.getResponse())) return frameElement
def toxml(self, document): """ Create an XML subtree out of this scene, as generated in document. """ element = Tag(document, "scene") for key, value in self._attributes: element[key] = value element["scenenumber"] = self._no element["class"] = self._type for sub in self._subscenes: element.append(sub.get_reference(document)) return element
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)
def toxml(self, doc): """ Convert this frame to XML. """ frame_xml = Frame.toxml(self, doc) tag = Tag(doc, TAG_COQDOC) if self._command_coqdoc: map(tag.append, self._command_coqdoc) frame_xml.append(tag) return frame_xml
def toxml(self, doc): frameElement = Tag(doc, TAG_FRAME) frameElement[TAG_ID] = self.getId() frameElement.append( self.createTextElement(doc, TAG_CMD, self.getCommand())) if self._response: frameElement.append( self.createTextElement(doc, TAG_RES, self.getResponse())) return frameElement
def toxml(self, stylesheet="proviola.xsl"): """ Marshall the movie to an XML document. """ doc = BeautifulStoneSoup() docType = ProcessingInstruction("xml version='1.0' encoding='utf-8'") doc.append(docType) styleSheetRef = ProcessingInstruction( 'xml-stylesheet type="text/xsl" href="%s"' % stylesheet) doc.append(styleSheetRef) movie = Tag(doc, "movie") doc.append(movie) film = Tag(doc, TAG_FILM) movie.append(film) for frame in self._frames: film.append(frame.toxml(doc)) return doc
def toxml(self, stylesheet="proviola.xsl"): """ Marshall the movie to an XML document. """ doc = BeautifulStoneSoup() docType = ProcessingInstruction("xml version='1.0' encoding='utf-8'") doc.append(docType) styleSheetRef = ProcessingInstruction( 'xml-stylesheet type="text/xsl" href="%s"'%stylesheet) doc.append(styleSheetRef) movie = Tag(doc, "movie") doc.append(movie) film = Tag(doc, TAG_FILM) movie.append(film) for frame in self._frames: film.append(frame.toxml(doc)) return doc
def createTextElement(self, doc, elementName, contents): """ Convenience method for creating text-containing nodes in doc """ contents = contents or "" element = Tag(doc, elementName) element.append(escape(contents)) return element
def get_reference(self, document): """ A Frame is referred to by its identifier. """ ref = Tag(document, "frame-reference") ref[TAG_ID] = self.getId() return ref