2014-11-03 21:27:07 +01:00
|
|
|
# vim: ft=python fileencoding=utf-8 sts=4 sw=4 et:
|
|
|
|
|
|
|
|
# Copyright 2014 Florian Bruhin (The Compiler) <mail@qutebrowser.org>
|
|
|
|
#
|
|
|
|
# This file is part of qutebrowser.
|
|
|
|
#
|
|
|
|
# qutebrowser is free software: you can redistribute it and/or modify
|
|
|
|
# it under the terms of the GNU General Public License as published by
|
|
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
|
|
# (at your option) any later version.
|
|
|
|
#
|
|
|
|
# qutebrowser is distributed in the hope that it will be useful,
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
# GNU General Public License for more details.
|
|
|
|
#
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
# along with qutebrowser. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
"""Our own fork of shlex.split with some added and removed features."""
|
|
|
|
|
|
|
|
from collections import deque
|
|
|
|
|
|
|
|
from io import StringIO
|
|
|
|
|
|
|
|
|
|
|
|
class ShellLexer:
|
2014-11-03 21:43:34 +01:00
|
|
|
|
|
|
|
"""A lexical analyzer class for simple shell-like syntaxes.
|
|
|
|
|
|
|
|
Based on Python's shlex, but cleaned up, removed some features, and added
|
|
|
|
some features useful for qutebrowser.
|
|
|
|
|
|
|
|
Attributes:
|
|
|
|
FIXME
|
|
|
|
"""
|
|
|
|
|
|
|
|
def __init__(self, s):
|
|
|
|
self.instream = StringIO(s)
|
2014-11-03 21:35:47 +01:00
|
|
|
self.eof = None
|
2014-11-03 21:27:07 +01:00
|
|
|
self.wordchars = ('abcdfeghijklmnopqrstuvwxyz'
|
|
|
|
'ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_')
|
2014-11-03 21:35:47 +01:00
|
|
|
self.wordchars += ('ßàáâãäåæçèéêëìíîïðñòóôõöøùúûüýþÿ'
|
|
|
|
'ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖØÙÚÛÜÝÞ')
|
2014-11-03 21:27:07 +01:00
|
|
|
self.whitespace = ' \t\r\n'
|
|
|
|
self.whitespace_split = False
|
|
|
|
self.quotes = '\'"'
|
|
|
|
self.escape = '\\'
|
|
|
|
self.escapedquotes = '"'
|
|
|
|
self.state = ' '
|
|
|
|
self.pushback = deque()
|
|
|
|
self.debug = 0
|
|
|
|
self.token = ''
|
|
|
|
if self.debug:
|
2014-11-03 21:37:36 +01:00
|
|
|
print('shlex: reading from %s' % (self.instream))
|
2014-11-03 21:27:07 +01:00
|
|
|
|
|
|
|
def get_token(self):
|
|
|
|
"Get a token from the input stream (or from stack if it's nonempty)"
|
|
|
|
if self.pushback:
|
|
|
|
tok = self.pushback.popleft()
|
|
|
|
if self.debug >= 1:
|
|
|
|
print("shlex: popping token " + repr(tok))
|
|
|
|
return tok
|
|
|
|
# No pushback. Get a token.
|
|
|
|
raw = self.read_token()
|
|
|
|
# Maybe we got EOF instead?
|
2014-11-03 21:30:39 +01:00
|
|
|
if raw == self.eof:
|
|
|
|
return self.eof
|
2014-11-03 21:27:07 +01:00
|
|
|
# Neither inclusion nor EOF
|
|
|
|
if self.debug >= 1:
|
|
|
|
if raw != self.eof:
|
|
|
|
print("shlex: token=" + repr(raw))
|
|
|
|
else:
|
|
|
|
print("shlex: token=EOF")
|
|
|
|
return raw
|
|
|
|
|
|
|
|
def read_token(self):
|
2014-11-03 21:43:34 +01:00
|
|
|
"""Read a raw token from the input stream."""
|
2014-11-03 21:27:07 +01:00
|
|
|
quoted = False
|
|
|
|
escapedstate = ' '
|
|
|
|
while True:
|
|
|
|
nextchar = self.instream.read(1)
|
|
|
|
if self.debug >= 3:
|
2014-11-03 21:43:34 +01:00
|
|
|
print("shlex: in state", repr(self.state), "I see character:",
|
|
|
|
repr(nextchar))
|
2014-11-03 21:27:07 +01:00
|
|
|
if self.state is None:
|
|
|
|
self.token = '' # past end of file
|
|
|
|
break
|
|
|
|
elif self.state == ' ':
|
|
|
|
if not nextchar:
|
|
|
|
self.state = None # end of file
|
|
|
|
break
|
|
|
|
elif nextchar in self.whitespace:
|
|
|
|
if self.debug >= 2:
|
|
|
|
print("shlex: I see whitespace in whitespace state")
|
2014-11-03 21:35:47 +01:00
|
|
|
if self.token or quoted:
|
2014-11-03 21:27:07 +01:00
|
|
|
break # emit current token
|
|
|
|
else:
|
|
|
|
continue
|
2014-11-03 21:35:47 +01:00
|
|
|
elif nextchar in self.escape:
|
2014-11-03 21:27:07 +01:00
|
|
|
escapedstate = 'a'
|
|
|
|
self.state = nextchar
|
|
|
|
elif nextchar in self.wordchars:
|
|
|
|
self.token = nextchar
|
|
|
|
self.state = 'a'
|
|
|
|
elif nextchar in self.quotes:
|
|
|
|
self.state = nextchar
|
|
|
|
elif self.whitespace_split:
|
|
|
|
self.token = nextchar
|
|
|
|
self.state = 'a'
|
|
|
|
else:
|
|
|
|
self.token = nextchar
|
2014-11-03 21:35:47 +01:00
|
|
|
if self.token or quoted:
|
2014-11-03 21:27:07 +01:00
|
|
|
break # emit current token
|
|
|
|
else:
|
|
|
|
continue
|
|
|
|
elif self.state in self.quotes:
|
|
|
|
quoted = True
|
|
|
|
if not nextchar: # end of file
|
|
|
|
if self.debug >= 2:
|
|
|
|
print("shlex: I see EOF in quotes state")
|
|
|
|
# XXX what error should be raised here?
|
|
|
|
raise ValueError("No closing quotation")
|
|
|
|
if nextchar == self.state:
|
2014-11-03 21:35:47 +01:00
|
|
|
self.state = 'a'
|
|
|
|
elif (nextchar in self.escape and
|
|
|
|
self.state in self.escapedquotes):
|
2014-11-03 21:27:07 +01:00
|
|
|
escapedstate = self.state
|
|
|
|
self.state = nextchar
|
|
|
|
else:
|
|
|
|
self.token = self.token + nextchar
|
|
|
|
elif self.state in self.escape:
|
|
|
|
if not nextchar: # end of file
|
|
|
|
if self.debug >= 2:
|
|
|
|
print("shlex: I see EOF in escape state")
|
|
|
|
# XXX what error should be raised here?
|
|
|
|
raise ValueError("No escaped character")
|
|
|
|
# In posix shells, only the quote itself or the escape
|
|
|
|
# character may be escaped within quotes.
|
|
|
|
if escapedstate in self.quotes and \
|
|
|
|
nextchar != self.state and nextchar != escapedstate:
|
|
|
|
self.token = self.token + self.state
|
|
|
|
self.token = self.token + nextchar
|
|
|
|
self.state = escapedstate
|
|
|
|
elif self.state == 'a':
|
|
|
|
if not nextchar:
|
|
|
|
self.state = None # end of file
|
|
|
|
break
|
|
|
|
elif nextchar in self.whitespace:
|
|
|
|
if self.debug >= 2:
|
|
|
|
print("shlex: I see whitespace in word state")
|
|
|
|
self.state = ' '
|
2014-11-03 21:35:47 +01:00
|
|
|
if self.token or quoted:
|
2014-11-03 21:27:07 +01:00
|
|
|
break # emit current token
|
|
|
|
else:
|
|
|
|
continue
|
2014-11-03 21:35:47 +01:00
|
|
|
elif nextchar in self.quotes:
|
2014-11-03 21:27:07 +01:00
|
|
|
self.state = nextchar
|
2014-11-03 21:35:47 +01:00
|
|
|
elif nextchar in self.escape:
|
2014-11-03 21:27:07 +01:00
|
|
|
escapedstate = 'a'
|
|
|
|
self.state = nextchar
|
2014-11-03 21:43:34 +01:00
|
|
|
elif (nextchar in self.wordchars or nextchar in self.quotes or
|
|
|
|
self.whitespace_split):
|
2014-11-03 21:27:07 +01:00
|
|
|
self.token = self.token + nextchar
|
|
|
|
else:
|
|
|
|
self.pushback.appendleft(nextchar)
|
|
|
|
if self.debug >= 2:
|
|
|
|
print("shlex: I see punctuation in word state")
|
|
|
|
self.state = ' '
|
|
|
|
if self.token:
|
|
|
|
break # emit current token
|
|
|
|
else:
|
|
|
|
continue
|
|
|
|
result = self.token
|
|
|
|
self.token = ''
|
2014-11-03 21:35:47 +01:00
|
|
|
if not quoted and result == '':
|
2014-11-03 21:27:07 +01:00
|
|
|
result = None
|
|
|
|
if self.debug > 1:
|
|
|
|
if result:
|
|
|
|
print("shlex: raw token=" + repr(result))
|
|
|
|
else:
|
|
|
|
print("shlex: raw token=EOF")
|
|
|
|
return result
|
|
|
|
|
|
|
|
def __iter__(self):
|
|
|
|
return self
|
|
|
|
|
|
|
|
def __next__(self):
|
|
|
|
token = self.get_token()
|
|
|
|
if token == self.eof:
|
|
|
|
raise StopIteration
|
|
|
|
return token
|
|
|
|
|
|
|
|
|
|
|
|
def _get_lexer(s):
|
|
|
|
"""Get an shlex lexer for split."""
|
|
|
|
if s is None:
|
|
|
|
raise TypeError("Refusing to create a lexer with s=None!")
|
2014-11-03 21:35:47 +01:00
|
|
|
lexer = ShellLexer(s)
|
2014-11-03 21:27:07 +01:00
|
|
|
lexer.whitespace_split = True
|
|
|
|
return lexer
|
|
|
|
|
|
|
|
|
|
|
|
def split(s):
|
|
|
|
r"""Split a string via shlex safely (don't bail out on unbalanced quotes).
|
|
|
|
|
|
|
|
We split while the user is typing (for completion), and as
|
|
|
|
soon as ", ' or \ is typed, the string is invalid for shlex,
|
|
|
|
because it encounters EOF while in quote/escape state.
|
|
|
|
|
|
|
|
Here we fix this error temporarily so shlex doesn't blow up,
|
|
|
|
and then retry splitting again.
|
|
|
|
|
|
|
|
Since shlex raises ValueError in both cases we unfortunately
|
|
|
|
have to parse the exception string...
|
|
|
|
|
|
|
|
We try 3 times so multiple errors can be fixed.
|
|
|
|
"""
|
|
|
|
orig_s = s
|
|
|
|
for i in range(3):
|
|
|
|
lexer = _get_lexer(s)
|
|
|
|
try:
|
|
|
|
tokens = list(lexer)
|
|
|
|
except ValueError as e:
|
|
|
|
if str(e) not in ("No closing quotation", "No escaped character"):
|
|
|
|
raise
|
|
|
|
# eggs "bacon ham -> eggs "bacon ham"
|
|
|
|
# eggs\ -> eggs\\
|
|
|
|
if lexer.state not in lexer.escape + lexer.quotes:
|
|
|
|
raise AssertionError(
|
|
|
|
"Lexer state is >{}< while parsing >{}< (attempted fixup: "
|
|
|
|
">{}<)".format(lexer.state, orig_s, s))
|
|
|
|
s += lexer.state
|
|
|
|
else:
|
|
|
|
return tokens
|
|
|
|
# We should never arrive here.
|
|
|
|
raise AssertionError(
|
|
|
|
"Gave up splitting >{}< after {} tries. Attempted fixup: >{}<.".format(
|
|
|
|
orig_s, i, s)) # pylint: disable=undefined-loop-variable
|