blob: b9fd1dd9d85e240e731041a608afa9f6b30be58b [file] [log] [blame]
Guido van Rossume7b146f2000-02-04 15:28:42 +00001"""A lexical analyzer class for simple shell-like syntaxes."""
2
Tim Peters70c43782001-01-17 08:48:39 +00003# Module and documentation by Eric S. Raymond, 21 Dec 1998
Guido van Rossumeb4e11a2000-05-01 20:08:46 +00004# Input stacking and error message cleanup added by ESR, March 2000
Tim Peters70c43782001-01-17 08:48:39 +00005# push_source() and pop_source() made explicit by ESR, January 2001.
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +00006# Posix compliance, split(), string arguments, and
7# iterator interface by Gustavo Niemeyer, April 2003.
Guido van Rossum9c30c241998-12-22 05:19:29 +00008
Fred Drake52dc76c2000-07-03 09:56:23 +00009import os.path
Guido van Rossum73898c71999-05-03 18:14:16 +000010import sys
Raymond Hettinger756b3f32004-01-29 06:37:52 +000011from collections import deque
Guido van Rossum9c30c241998-12-22 05:19:29 +000012
Guido van Rossum68937b42007-05-18 00:51:22 +000013from io import StringIO
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000014
15__all__ = ["shlex", "split"]
Skip Montanaro0de65802001-02-15 22:15:14 +000016
Guido van Rossum9c30c241998-12-22 05:19:29 +000017class shlex:
Tim Peters70c43782001-01-17 08:48:39 +000018 "A lexical analyzer class for simple shell-like syntaxes."
Fred Drake24315232003-04-17 22:01:17 +000019 def __init__(self, instream=None, infile=None, posix=False):
Guido van Rossum3172c5d2007-10-16 18:12:55 +000020 if isinstance(instream, str):
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000021 instream = StringIO(instream)
Raymond Hettingerf13eb552002-06-02 00:40:05 +000022 if instream is not None:
Guido van Rossum9c30c241998-12-22 05:19:29 +000023 self.instream = instream
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000024 self.infile = infile
Guido van Rossum9c30c241998-12-22 05:19:29 +000025 else:
26 self.instream = sys.stdin
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000027 self.infile = None
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000028 self.posix = posix
29 if posix:
30 self.eof = None
31 else:
32 self.eof = ''
Guido van Rossum9c30c241998-12-22 05:19:29 +000033 self.commenters = '#'
Fred Drakedbbf76b2000-07-09 16:44:26 +000034 self.wordchars = ('abcdfeghijklmnopqrstuvwxyz'
35 'ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_')
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000036 if self.posix:
Antoine Pitroud72402e2010-10-27 18:52:48 +000037 self.wordchars += ('ßàáâãäåæçèéêëìíîïðñòóôõöøùúûüýþÿ'
38 'ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖØÙÚÛÜÝÞ')
Guido van Rossum9c30c241998-12-22 05:19:29 +000039 self.whitespace = ' \t\r\n'
Fred Drake24315232003-04-17 22:01:17 +000040 self.whitespace_split = False
Guido van Rossum9c30c241998-12-22 05:19:29 +000041 self.quotes = '\'"'
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000042 self.escape = '\\'
43 self.escapedquotes = '"'
Guido van Rossum9c30c241998-12-22 05:19:29 +000044 self.state = ' '
Raymond Hettinger756b3f32004-01-29 06:37:52 +000045 self.pushback = deque()
Guido van Rossum9c30c241998-12-22 05:19:29 +000046 self.lineno = 1
Petri Lehtinen7a051132013-02-23 22:07:39 +010047 self._lines_found = 0
Guido van Rossum9c30c241998-12-22 05:19:29 +000048 self.debug = 0
49 self.token = ''
Raymond Hettinger756b3f32004-01-29 06:37:52 +000050 self.filestack = deque()
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000051 self.source = None
52 if self.debug:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000053 print('shlex: reading from %s, line %d' \
54 % (self.instream, self.lineno))
Guido van Rossum9c30c241998-12-22 05:19:29 +000055
56 def push_token(self, tok):
57 "Push a token onto the stack popped by the get_token method"
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000058 if self.debug >= 1:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000059 print("shlex: pushing token " + repr(tok))
Raymond Hettinger756b3f32004-01-29 06:37:52 +000060 self.pushback.appendleft(tok)
Guido van Rossum9c30c241998-12-22 05:19:29 +000061
Eric S. Raymondbddbaf72001-01-16 15:19:13 +000062 def push_source(self, newstream, newfile=None):
63 "Push an input source onto the lexer's input source stack."
Guido van Rossum3172c5d2007-10-16 18:12:55 +000064 if isinstance(newstream, str):
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000065 newstream = StringIO(newstream)
Raymond Hettinger756b3f32004-01-29 06:37:52 +000066 self.filestack.appendleft((self.infile, self.instream, self.lineno))
Eric S. Raymondbddbaf72001-01-16 15:19:13 +000067 self.infile = newfile
68 self.instream = newstream
69 self.lineno = 1
70 if self.debug:
Raymond Hettingerf13eb552002-06-02 00:40:05 +000071 if newfile is not None:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000072 print('shlex: pushing to file %s' % (self.infile,))
Eric S. Raymondbddbaf72001-01-16 15:19:13 +000073 else:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000074 print('shlex: pushing to stream %s' % (self.instream,))
Eric S. Raymondbddbaf72001-01-16 15:19:13 +000075
76 def pop_source(self):
77 "Pop the input source stack."
78 self.instream.close()
Raymond Hettinger756b3f32004-01-29 06:37:52 +000079 (self.infile, self.instream, self.lineno) = self.filestack.popleft()
Eric S. Raymondbddbaf72001-01-16 15:19:13 +000080 if self.debug:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000081 print('shlex: popping to %s, line %d' \
82 % (self.instream, self.lineno))
Eric S. Raymondbddbaf72001-01-16 15:19:13 +000083 self.state = ' '
84
Guido van Rossum9c30c241998-12-22 05:19:29 +000085 def get_token(self):
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000086 "Get a token from the input stream (or from stack if it's nonempty)"
Guido van Rossum9c30c241998-12-22 05:19:29 +000087 if self.pushback:
Raymond Hettinger756b3f32004-01-29 06:37:52 +000088 tok = self.pushback.popleft()
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000089 if self.debug >= 1:
Guido van Rossumbe19ed72007-02-09 05:37:30 +000090 print("shlex: popping token " + repr(tok))
Guido van Rossum9c30c241998-12-22 05:19:29 +000091 return tok
Fred Drakedbbf76b2000-07-09 16:44:26 +000092 # No pushback. Get a token.
Guido van Rossumeb4e11a2000-05-01 20:08:46 +000093 raw = self.read_token()
94 # Handle inclusions
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +000095 if self.source is not None:
96 while raw == self.source:
97 spec = self.sourcehook(self.read_token())
98 if spec:
99 (newfile, newstream) = spec
100 self.push_source(newstream, newfile)
101 raw = self.get_token()
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000102 # Maybe we got EOF instead?
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000103 while raw == self.eof:
Fred Drake24315232003-04-17 22:01:17 +0000104 if not self.filestack:
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000105 return self.eof
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000106 else:
Eric S. Raymondbddbaf72001-01-16 15:19:13 +0000107 self.pop_source()
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000108 raw = self.get_token()
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000109 # Neither inclusion nor EOF
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000110 if self.debug >= 1:
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000111 if raw != self.eof:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000112 print("shlex: token=" + repr(raw))
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000113 else:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000114 print("shlex: token=EOF")
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000115 return raw
116
117 def read_token(self):
Petri Lehtinen7a051132013-02-23 22:07:39 +0100118 if self._lines_found:
119 self.lineno += self._lines_found
120 self._lines_found = 0
121
122 i = 0
Fred Drake24315232003-04-17 22:01:17 +0000123 quoted = False
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000124 escapedstate = ' '
Neal Norwitz10cf2182003-04-17 23:09:08 +0000125 while True:
Petri Lehtinen7a051132013-02-23 22:07:39 +0100126 i += 1
Andrew M. Kuchling49d27c82000-12-23 14:20:24 +0000127 nextchar = self.instream.read(1)
Guido van Rossum9c30c241998-12-22 05:19:29 +0000128 if nextchar == '\n':
Petri Lehtinen7a051132013-02-23 22:07:39 +0100129 # In case newline is the first character increment lineno
130 if i == 1:
131 self.lineno += 1
132 else:
133 self._lines_found += 1
134
Guido van Rossum9c30c241998-12-22 05:19:29 +0000135 if self.debug >= 3:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000136 print("shlex: in state", repr(self.state), \
137 "I see character:", repr(nextchar))
Fred Drakedbbf76b2000-07-09 16:44:26 +0000138 if self.state is None:
Eric S. Raymondbddbaf72001-01-16 15:19:13 +0000139 self.token = '' # past end of file
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000140 break
Guido van Rossum9c30c241998-12-22 05:19:29 +0000141 elif self.state == ' ':
142 if not nextchar:
Eric S. Raymondbddbaf72001-01-16 15:19:13 +0000143 self.state = None # end of file
Guido van Rossum9c30c241998-12-22 05:19:29 +0000144 break
145 elif nextchar in self.whitespace:
146 if self.debug >= 2:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000147 print("shlex: I see whitespace in whitespace state")
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000148 if self.token or (self.posix and quoted):
Fred Drakedbbf76b2000-07-09 16:44:26 +0000149 break # emit current token
Guido van Rossum9c30c241998-12-22 05:19:29 +0000150 else:
151 continue
152 elif nextchar in self.commenters:
153 self.instream.readline()
Petri Lehtinen7a051132013-02-23 22:07:39 +0100154 # Not considered a token so incrementing lineno directly
Guido van Rossum9c30c241998-12-22 05:19:29 +0000155 self.lineno = self.lineno + 1
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000156 elif self.posix and nextchar in self.escape:
157 escapedstate = 'a'
158 self.state = nextchar
Guido van Rossum9c30c241998-12-22 05:19:29 +0000159 elif nextchar in self.wordchars:
160 self.token = nextchar
161 self.state = 'a'
162 elif nextchar in self.quotes:
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000163 if not self.posix:
164 self.token = nextchar
Guido van Rossum9c30c241998-12-22 05:19:29 +0000165 self.state = nextchar
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000166 elif self.whitespace_split:
167 self.token = nextchar
168 self.state = 'a'
Guido van Rossum9c30c241998-12-22 05:19:29 +0000169 else:
170 self.token = nextchar
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000171 if self.token or (self.posix and quoted):
Fred Drakedbbf76b2000-07-09 16:44:26 +0000172 break # emit current token
Guido van Rossum9c30c241998-12-22 05:19:29 +0000173 else:
174 continue
175 elif self.state in self.quotes:
Fred Drake24315232003-04-17 22:01:17 +0000176 quoted = True
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000177 if not nextchar: # end of file
Andrew M. Kuchling9d56cd12001-01-09 03:01:15 +0000178 if self.debug >= 2:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000179 print("shlex: I see EOF in quotes state")
Andrew M. Kuchling9d56cd12001-01-09 03:01:15 +0000180 # XXX what error should be raised here?
Collin Winterce36ad82007-08-30 01:19:48 +0000181 raise ValueError("No closing quotation")
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000182 if nextchar == self.state:
183 if not self.posix:
184 self.token = self.token + nextchar
185 self.state = ' '
186 break
187 else:
188 self.state = 'a'
189 elif self.posix and nextchar in self.escape and \
190 self.state in self.escapedquotes:
191 escapedstate = self.state
192 self.state = nextchar
193 else:
194 self.token = self.token + nextchar
195 elif self.state in self.escape:
196 if not nextchar: # end of file
197 if self.debug >= 2:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000198 print("shlex: I see EOF in escape state")
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000199 # XXX what error should be raised here?
Collin Winterce36ad82007-08-30 01:19:48 +0000200 raise ValueError("No escaped character")
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000201 # In posix shells, only the quote itself or the escape
202 # character may be escaped within quotes.
203 if escapedstate in self.quotes and \
204 nextchar != self.state and nextchar != escapedstate:
205 self.token = self.token + self.state
206 self.token = self.token + nextchar
207 self.state = escapedstate
Guido van Rossum9c30c241998-12-22 05:19:29 +0000208 elif self.state == 'a':
209 if not nextchar:
Tim Peters70c43782001-01-17 08:48:39 +0000210 self.state = None # end of file
Guido van Rossum9c30c241998-12-22 05:19:29 +0000211 break
212 elif nextchar in self.whitespace:
213 if self.debug >= 2:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000214 print("shlex: I see whitespace in word state")
Guido van Rossum9c30c241998-12-22 05:19:29 +0000215 self.state = ' '
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000216 if self.token or (self.posix and quoted):
Fred Drakedbbf76b2000-07-09 16:44:26 +0000217 break # emit current token
Guido van Rossum9c30c241998-12-22 05:19:29 +0000218 else:
219 continue
220 elif nextchar in self.commenters:
221 self.instream.readline()
Petri Lehtinen7a051132013-02-23 22:07:39 +0100222 # Not considered a token so incrementing lineno directly
Guido van Rossum9c30c241998-12-22 05:19:29 +0000223 self.lineno = self.lineno + 1
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000224 if self.posix:
225 self.state = ' '
226 if self.token or (self.posix and quoted):
227 break # emit current token
228 else:
229 continue
230 elif self.posix and nextchar in self.quotes:
231 self.state = nextchar
232 elif self.posix and nextchar in self.escape:
233 escapedstate = 'a'
234 self.state = nextchar
235 elif nextchar in self.wordchars or nextchar in self.quotes \
236 or self.whitespace_split:
Guido van Rossum9c30c241998-12-22 05:19:29 +0000237 self.token = self.token + nextchar
238 else:
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000239 self.pushback.appendleft(nextchar)
Guido van Rossum9c30c241998-12-22 05:19:29 +0000240 if self.debug >= 2:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000241 print("shlex: I see punctuation in word state")
Guido van Rossumf247d751999-03-22 15:28:08 +0000242 self.state = ' '
Guido van Rossum9c30c241998-12-22 05:19:29 +0000243 if self.token:
Fred Drakedbbf76b2000-07-09 16:44:26 +0000244 break # emit current token
Guido van Rossum9c30c241998-12-22 05:19:29 +0000245 else:
246 continue
Guido van Rossum9c30c241998-12-22 05:19:29 +0000247 result = self.token
248 self.token = ''
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000249 if self.posix and not quoted and result == '':
250 result = None
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000251 if self.debug > 1:
252 if result:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000253 print("shlex: raw token=" + repr(result))
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000254 else:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000255 print("shlex: raw token=EOF")
Guido van Rossum9c30c241998-12-22 05:19:29 +0000256 return result
257
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000258 def sourcehook(self, newfile):
259 "Hook called on a filename to be sourced."
260 if newfile[0] == '"':
261 newfile = newfile[1:-1]
Fred Drake52dc76c2000-07-03 09:56:23 +0000262 # This implements cpp-like semantics for relative-path inclusion.
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000263 if isinstance(self.infile, str) and not os.path.isabs(newfile):
Fred Drake52dc76c2000-07-03 09:56:23 +0000264 newfile = os.path.join(os.path.dirname(self.infile), newfile)
Guido van Rossumeb4e11a2000-05-01 20:08:46 +0000265 return (newfile, open(newfile, "r"))
266
Guido van Rossum4b83ecb2000-05-01 20:14:12 +0000267 def error_leader(self, infile=None, lineno=None):
268 "Emit a C-compiler-like, Emacs-friendly error-message leader."
Raymond Hettingerf13eb552002-06-02 00:40:05 +0000269 if infile is None:
Guido van Rossum4b83ecb2000-05-01 20:14:12 +0000270 infile = self.infile
Raymond Hettingerf13eb552002-06-02 00:40:05 +0000271 if lineno is None:
Guido van Rossum4b83ecb2000-05-01 20:14:12 +0000272 lineno = self.lineno
273 return "\"%s\", line %d: " % (infile, lineno)
274
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000275 def __iter__(self):
276 return self
277
Georg Brandla18af4e2007-04-21 15:47:16 +0000278 def __next__(self):
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000279 token = self.get_token()
280 if token == self.eof:
281 raise StopIteration
282 return token
283
Guido van Rossume7ba4952007-06-06 23:52:48 +0000284def split(s, comments=False, posix=True):
285 lex = shlex(s, posix=posix)
Gustavo Niemeyer48f3dcc2003-04-20 01:57:03 +0000286 lex.whitespace_split = True
287 if not comments:
288 lex.commenters = ''
Gustavo Niemeyer68d8cef2003-04-17 21:31:33 +0000289 return list(lex)
Guido van Rossum9c30c241998-12-22 05:19:29 +0000290
Tim Peters70c43782001-01-17 08:48:39 +0000291if __name__ == '__main__':
Fred Drake52dc76c2000-07-03 09:56:23 +0000292 if len(sys.argv) == 1:
293 lexer = shlex()
294 else:
295 file = sys.argv[1]
296 lexer = shlex(open(file), file)
Guido van Rossum9c30c241998-12-22 05:19:29 +0000297 while 1:
298 tt = lexer.get_token()
Fred Drake52dc76c2000-07-03 09:56:23 +0000299 if tt:
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000300 print("Token: " + repr(tt))
Fred Drake52dc76c2000-07-03 09:56:23 +0000301 else:
Guido van Rossum9c30c241998-12-22 05:19:29 +0000302 break