def display_httpd_message(message): if rich_output(): display( HTML('<pre style="background: NavajoWhite;">' + message + "</pre>")) else: print(terminal_escape(message))
def print_url(url): if rich_output(): display(HTML('<pre><a href="%s">%s</a></pre>' % (url, url))) else: print(terminal_escape(url))
if __name__ == "__main__": source = inspect.getsource(foo) print_content(source, '.py') import ast import astor if __package__ is None or __package__ == "": from bookutils import rich_output else: from .bookutils import rich_output if __name__ == "__main__": if rich_output(): from showast import show_ast else: def show_ast(tree): ast.dump(tree) if __name__ == "__main__": tree = ast.parse(source) if __name__ == "__main__": show_ast(tree) from ast import NodeTransformer, FunctionDef, fix_missing_locations
def set_grammar(self, new_grammar): self.grammar = new_grammar if self.disp_gui_exploration and rich_output(): display(fsm_diagram(self.grammar))