blob: fb759da42ad1a2b79a30f9d5df5f63b3014fa1a4 [file] [log] [blame]
Tim Peters6cd6a822001-08-17 22:11:27 +00001r"""Utilities to compile possibly incomplete Python source code.
Guido van Rossumc41c1a91998-10-22 21:56:15 +00002
Tim Peters6cd6a822001-08-17 22:11:27 +00003This module provides two interfaces, broadly similar to the builtin
Walter Dörwald4df30682003-11-20 13:38:01 +00004function compile(), which take program text, a filename and a 'mode'
Tim Peters6cd6a822001-08-17 22:11:27 +00005and:
Skip Montanaroe99d5ea2001-01-20 19:54:20 +00006
Walter Dörwald4df30682003-11-20 13:38:01 +00007- Return code object if the command is complete and valid
8- Return None if the command is incomplete
9- Raise SyntaxError, ValueError or OverflowError if the command is a
Tim Peters6cd6a822001-08-17 22:11:27 +000010 syntax error (OverflowError and ValueError can be produced by
11 malformed literals).
Guido van Rossumc41c1a91998-10-22 21:56:15 +000012
Tim Peters6cd6a822001-08-17 22:11:27 +000013Approach:
Guido van Rossumc41c1a91998-10-22 21:56:15 +000014
Tim Peters6cd6a822001-08-17 22:11:27 +000015First, check if the source consists entirely of blank lines and
16comments; if so, replace it with 'pass', because the built-in
17parser doesn't always do the right thing for these.
Guido van Rossumc41c1a91998-10-22 21:56:15 +000018
Tim Peters6cd6a822001-08-17 22:11:27 +000019Compile three times: as is, with \n, and with \n\n appended. If it
20compiles as is, it's complete. If it compiles with one \n appended,
21we expect more. If it doesn't compile either way, we compare the
22error we get when compiling with \n or \n\n appended. If the errors
23are the same, the code is broken. But if the errors are different, we
24expect more. Not intuitive; not even guaranteed to hold in future
25releases; but this matches the compiler's behavior from Python 1.4
26through 2.2, at least.
Guido van Rossumc41c1a91998-10-22 21:56:15 +000027
Tim Peters6cd6a822001-08-17 22:11:27 +000028Caveat:
Guido van Rossumc41c1a91998-10-22 21:56:15 +000029
Tim Peters6cd6a822001-08-17 22:11:27 +000030It is possible (but not likely) that the parser stops parsing with a
31successful outcome before reaching the end of the source; in this
32case, trailing symbols may be ignored instead of causing an error.
33For example, a backslash followed by two newlines may be followed by
34arbitrary garbage. This will be fixed once the API for the parser is
35better.
Guido van Rossumc41c1a91998-10-22 21:56:15 +000036
Tim Peters6cd6a822001-08-17 22:11:27 +000037The two interfaces are:
Guido van Rossumc41c1a91998-10-22 21:56:15 +000038
Tim Peters6cd6a822001-08-17 22:11:27 +000039compile_command(source, filename, symbol):
Guido van Rossumc41c1a91998-10-22 21:56:15 +000040
Tim Peters6cd6a822001-08-17 22:11:27 +000041 Compiles a single command in the manner described above.
Guido van Rossumc41c1a91998-10-22 21:56:15 +000042
Tim Peters6cd6a822001-08-17 22:11:27 +000043CommandCompiler():
Guido van Rossumc41c1a91998-10-22 21:56:15 +000044
Tim Peters6cd6a822001-08-17 22:11:27 +000045 Instances of this class have __call__ methods identical in
46 signature to compile_command; the difference is that if the
47 instance compiles program text containing a __future__ statement,
48 the instance 'remembers' and compiles all subsequent program texts
49 with the statement in force.
Guido van Rossumc41c1a91998-10-22 21:56:15 +000050
Tim Peters6cd6a822001-08-17 22:11:27 +000051The module also provides another class:
52
53Compile():
54
55 Instances of this class act like the built-in function compile,
56 but with 'memory' in the sense described above.
57"""
58
59import __future__
60
61_features = [getattr(__future__, fname)
62 for fname in __future__.all_feature_names]
63
64__all__ = ["compile_command", "Compile", "CommandCompiler"]
65
Guido van Rossum4b499dd32003-02-13 22:07:59 +000066PyCF_DONT_IMPLY_DEDENT = 0x200 # Matches pythonrun.h
67
Tim Peters6cd6a822001-08-17 22:11:27 +000068def _maybe_compile(compiler, source, filename, symbol):
Guido van Rossumc41c1a91998-10-22 21:56:15 +000069 # Check for source consisting of only blank lines and comments
Eric S. Raymond6b71e742001-02-09 08:56:30 +000070 for line in source.split("\n"):
71 line = line.strip()
Guido van Rossumc41c1a91998-10-22 21:56:15 +000072 if line and line[0] != '#':
73 break # Leave it alone
74 else:
Guido van Rossum993bc3a2003-05-16 01:24:30 +000075 if symbol != "eval":
76 source = "pass" # Replace it with a 'pass' statement
Guido van Rossumc41c1a91998-10-22 21:56:15 +000077
78 err = err1 = err2 = None
79 code = code1 = code2 = None
80
81 try:
Tim Peters6cd6a822001-08-17 22:11:27 +000082 code = compiler(source, filename, symbol)
Guido van Rossumb940e112007-01-10 16:19:56 +000083 except SyntaxError as err:
Guido van Rossumc41c1a91998-10-22 21:56:15 +000084 pass
85
86 try:
Tim Peters6cd6a822001-08-17 22:11:27 +000087 code1 = compiler(source + "\n", filename, symbol)
Guido van Rossumb940e112007-01-10 16:19:56 +000088 except SyntaxError as e:
89 err1 = e
Guido van Rossumc41c1a91998-10-22 21:56:15 +000090
91 try:
Tim Peters6cd6a822001-08-17 22:11:27 +000092 code2 = compiler(source + "\n\n", filename, symbol)
Guido van Rossumb940e112007-01-10 16:19:56 +000093 except SyntaxError as e:
94 err2 = e
Guido van Rossumc41c1a91998-10-22 21:56:15 +000095
96 if code:
97 return code
Thomas Wouters477c8d52006-05-27 19:21:47 +000098 if not code1 and repr(err1) == repr(err2):
Benjamin Peterson9ab0f5a2009-10-18 00:32:49 +000099 raise err1
Tim Peters6cd6a822001-08-17 22:11:27 +0000100
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000101def _compile(source, filename, symbol):
102 return compile(source, filename, symbol, PyCF_DONT_IMPLY_DEDENT)
103
Tim Peters6cd6a822001-08-17 22:11:27 +0000104def compile_command(source, filename="<input>", symbol="single"):
105 r"""Compile a command and determine whether it is incomplete.
106
107 Arguments:
108
109 source -- the source string; may contain \n characters
110 filename -- optional filename from which source was read; default
111 "<input>"
112 symbol -- optional grammar start symbol; "single" (default) or "eval"
113
114 Return value / exceptions raised:
115
116 - Return a code object if the command is complete and valid
117 - Return None if the command is incomplete
118 - Raise SyntaxError, ValueError or OverflowError if the command is a
119 syntax error (OverflowError and ValueError can be produced by
120 malformed literals).
121 """
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000122 return _maybe_compile(_compile, source, filename, symbol)
Tim Peters6cd6a822001-08-17 22:11:27 +0000123
124class Compile:
125 """Instances of this class behave much like the built-in compile
126 function, but if one is used to compile text containing a future
127 statement, it "remembers" and compiles all subsequent program texts
128 with the statement in force."""
129 def __init__(self):
Guido van Rossum4b499dd32003-02-13 22:07:59 +0000130 self.flags = PyCF_DONT_IMPLY_DEDENT
Tim Peters6cd6a822001-08-17 22:11:27 +0000131
132 def __call__(self, source, filename, symbol):
133 codeob = compile(source, filename, symbol, self.flags, 1)
134 for feature in _features:
135 if codeob.co_flags & feature.compiler_flag:
136 self.flags |= feature.compiler_flag
137 return codeob
138
139class CommandCompiler:
140 """Instances of this class have __call__ methods identical in
141 signature to compile_command; the difference is that if the
142 instance compiles program text containing a __future__ statement,
143 the instance 'remembers' and compiles all subsequent program texts
144 with the statement in force."""
145
146 def __init__(self,):
147 self.compiler = Compile()
148
149 def __call__(self, source, filename="<input>", symbol="single"):
150 r"""Compile a command and determine whether it is incomplete.
151
152 Arguments:
153
154 source -- the source string; may contain \n characters
155 filename -- optional filename from which source was read;
156 default "<input>"
157 symbol -- optional grammar start symbol; "single" (default) or
158 "eval"
159
160 Return value / exceptions raised:
161
162 - Return a code object if the command is complete and valid
163 - Return None if the command is incomplete
164 - Raise SyntaxError, ValueError or OverflowError if the command is a
165 syntax error (OverflowError and ValueError can be produced by
166 malformed literals).
167 """
168 return _maybe_compile(self.compiler, source, filename, symbol)