コード例 #1
0
ファイル: connserv.py プロジェクト: minisin/Cockerel
 def do_parse(self, output):
     """Parse coqtop results and serialize"""
     logging.debug("Unformatted Output: %s" % output)
     output = ' '.join(output.splitlines())
     result = parser.parse(output)
     return result
コード例 #2
0
ファイル: connserv.py プロジェクト: dcolish/Cockerel
 def do_parse(self, output):
     """Parse coqtop results and serialize"""
     logging.debug("Unformatted Output: %s" % output)
     output = ' '.join(output.splitlines())
     result = parser.parse(output)
     return result
コード例 #3
0
def do_parse(s):
    s = ' '.join(s.splitlines())
    print s

    result = parser.parse(s)
    pp.pprint(result)
コード例 #4
0
ファイル: test.py プロジェクト: dcolish/Cockerel
def do_parse(s):
    s = ' '.join(s.splitlines())
    print s

    result = parser.parse(s)
    pp.pprint(result)