mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-07 06:24:27 +08:00
Fix some stuff in a diff profile test script.
This commit is contained in:
@@ -9,15 +9,15 @@ Usage:
|
|||||||
Options:
|
Options:
|
||||||
-h --help Show this screen.
|
-h --help Show this screen.
|
||||||
-d --debug Enable Jedi internal debugging.
|
-d --debug Enable Jedi internal debugging.
|
||||||
-s <sort> Sort the profile results, e.g. cum, name [default: time].
|
-s <sort> Sort the profile results, e.g. cumtime, name [default: time].
|
||||||
"""
|
"""
|
||||||
|
|
||||||
import cProfile
|
import cProfile
|
||||||
|
|
||||||
from docopt import docopt
|
from docopt import docopt
|
||||||
from jedi.parser import load_grammar
|
from jedi.parser.python import load_grammar
|
||||||
from jedi.parser.diff import DiffParser
|
from jedi.parser.diff import DiffParser
|
||||||
from jedi.parser import ParserWithRecovery
|
from jedi.parser.python import ParserWithRecovery
|
||||||
from jedi._compatibility import u
|
from jedi._compatibility import u
|
||||||
from jedi.common import splitlines
|
from jedi.common import splitlines
|
||||||
import jedi
|
import jedi
|
||||||
@@ -29,7 +29,9 @@ def run(parser, lines):
|
|||||||
|
|
||||||
|
|
||||||
def main(args):
|
def main(args):
|
||||||
jedi.set_debug_function(notices=args['--debug'])
|
if args['--debug']:
|
||||||
|
jedi.set_debug_function(notices=True)
|
||||||
|
|
||||||
with open(args['<file>']) as f:
|
with open(args['<file>']) as f:
|
||||||
code = f.read()
|
code = f.read()
|
||||||
grammar = load_grammar()
|
grammar = load_grammar()
|
||||||
|
|||||||
Reference in New Issue
Block a user