2000-02-04 23:28:42 +08:00
|
|
|
"""A lexical analyzer class for simple shell-like syntaxes."""
|
|
|
|
|
2001-01-17 16:48:39 +08:00
|
|
|
# Module and documentation by Eric S. Raymond, 21 Dec 1998
|
2000-05-02 04:08:46 +08:00
|
|
|
# Input stacking and error message cleanup added by ESR, March 2000
|
2001-01-17 16:48:39 +08:00
|
|
|
# push_source() and pop_source() made explicit by ESR, January 2001.
|
1998-12-22 13:19:29 +08:00
|
|
|
|
2000-07-03 17:56:23 +08:00
|
|
|
import os.path
|
1999-05-04 02:14:16 +08:00
|
|
|
import sys
|
1998-12-22 13:19:29 +08:00
|
|
|
|
2001-02-16 06:15:14 +08:00
|
|
|
__all__ = ["shlex"]
|
|
|
|
|
1998-12-22 13:19:29 +08:00
|
|
|
class shlex:
|
2001-01-17 16:48:39 +08:00
|
|
|
"A lexical analyzer class for simple shell-like syntaxes."
|
2000-05-02 04:08:46 +08:00
|
|
|
def __init__(self, instream=None, infile=None):
|
2002-06-02 08:40:05 +08:00
|
|
|
if instream is not None:
|
1998-12-22 13:19:29 +08:00
|
|
|
self.instream = instream
|
2000-05-02 04:08:46 +08:00
|
|
|
self.infile = infile
|
1998-12-22 13:19:29 +08:00
|
|
|
else:
|
|
|
|
self.instream = sys.stdin
|
2000-05-02 04:08:46 +08:00
|
|
|
self.infile = None
|
1998-12-22 13:19:29 +08:00
|
|
|
self.commenters = '#'
|
2000-07-10 00:44:26 +08:00
|
|
|
self.wordchars = ('abcdfeghijklmnopqrstuvwxyz'
|
|
|
|
'ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_')
|
1998-12-22 13:19:29 +08:00
|
|
|
self.whitespace = ' \t\r\n'
|
|
|
|
self.quotes = '\'"'
|
|
|
|
self.state = ' '
|
2000-12-23 22:20:24 +08:00
|
|
|
self.pushback = []
|
1998-12-22 13:19:29 +08:00
|
|
|
self.lineno = 1
|
|
|
|
self.debug = 0
|
|
|
|
self.token = ''
|
2000-07-10 00:44:26 +08:00
|
|
|
self.filestack = []
|
2000-05-02 04:08:46 +08:00
|
|
|
self.source = None
|
|
|
|
if self.debug:
|
2000-07-03 17:56:23 +08:00
|
|
|
print 'shlex: reading from %s, line %d' \
|
|
|
|
% (self.instream, self.lineno)
|
1998-12-22 13:19:29 +08:00
|
|
|
|
|
|
|
def push_token(self, tok):
|
|
|
|
"Push a token onto the stack popped by the get_token method"
|
2000-05-02 04:08:46 +08:00
|
|
|
if self.debug >= 1:
|
|
|
|
print "shlex: pushing token " + `tok`
|
2000-12-23 22:20:24 +08:00
|
|
|
self.pushback = [tok] + self.pushback
|
1998-12-22 13:19:29 +08:00
|
|
|
|
2001-01-16 23:19:13 +08:00
|
|
|
def push_source(self, newstream, newfile=None):
|
|
|
|
"Push an input source onto the lexer's input source stack."
|
|
|
|
self.filestack.insert(0, (self.infile, self.instream, self.lineno))
|
|
|
|
self.infile = newfile
|
|
|
|
self.instream = newstream
|
|
|
|
self.lineno = 1
|
|
|
|
if self.debug:
|
2002-06-02 08:40:05 +08:00
|
|
|
if newfile is not None:
|
2001-01-16 23:19:13 +08:00
|
|
|
print 'shlex: pushing to file %s' % (self.infile,)
|
|
|
|
else:
|
|
|
|
print 'shlex: pushing to stream %s' % (self.instream,)
|
|
|
|
|
|
|
|
def pop_source(self):
|
|
|
|
"Pop the input source stack."
|
|
|
|
self.instream.close()
|
|
|
|
(self.infile, self.instream, self.lineno) = self.filestack[0]
|
|
|
|
self.filestack = self.filestack[1:]
|
|
|
|
if self.debug:
|
|
|
|
print 'shlex: popping to %s, line %d' \
|
|
|
|
% (self.instream, self.lineno)
|
|
|
|
self.state = ' '
|
|
|
|
|
1998-12-22 13:19:29 +08:00
|
|
|
def get_token(self):
|
2000-05-02 04:08:46 +08:00
|
|
|
"Get a token from the input stream (or from stack if it's nonempty)"
|
1998-12-22 13:19:29 +08:00
|
|
|
if self.pushback:
|
|
|
|
tok = self.pushback[0]
|
|
|
|
self.pushback = self.pushback[1:]
|
2000-05-02 04:08:46 +08:00
|
|
|
if self.debug >= 1:
|
|
|
|
print "shlex: popping token " + `tok`
|
1998-12-22 13:19:29 +08:00
|
|
|
return tok
|
2000-07-10 00:44:26 +08:00
|
|
|
# No pushback. Get a token.
|
2000-05-02 04:08:46 +08:00
|
|
|
raw = self.read_token()
|
|
|
|
# Handle inclusions
|
|
|
|
while raw == self.source:
|
2001-01-16 23:19:13 +08:00
|
|
|
spec = self.sourcehook(self.read_token())
|
|
|
|
if spec:
|
|
|
|
(newfile, newstream) = spec
|
|
|
|
self.push_source(newstream, newfile)
|
2000-05-02 04:08:46 +08:00
|
|
|
raw = self.get_token()
|
|
|
|
# Maybe we got EOF instead?
|
|
|
|
while raw == "":
|
|
|
|
if len(self.filestack) == 0:
|
|
|
|
return ""
|
|
|
|
else:
|
2001-01-16 23:19:13 +08:00
|
|
|
self.pop_source()
|
2000-05-02 04:08:46 +08:00
|
|
|
raw = self.get_token()
|
|
|
|
# Neither inclusion nor EOF
|
|
|
|
if self.debug >= 1:
|
|
|
|
if raw:
|
|
|
|
print "shlex: token=" + `raw`
|
|
|
|
else:
|
|
|
|
print "shlex: token=EOF"
|
|
|
|
return raw
|
|
|
|
|
|
|
|
def read_token(self):
|
|
|
|
"Read a token from the input stream (no pushback or inclusions)"
|
1998-12-22 13:19:29 +08:00
|
|
|
while 1:
|
2000-12-23 22:20:24 +08:00
|
|
|
nextchar = self.instream.read(1)
|
1998-12-22 13:19:29 +08:00
|
|
|
if nextchar == '\n':
|
|
|
|
self.lineno = self.lineno + 1
|
|
|
|
if self.debug >= 3:
|
2000-07-03 17:56:23 +08:00
|
|
|
print "shlex: in state", repr(self.state), \
|
2001-01-17 16:48:39 +08:00
|
|
|
"I see character:", repr(nextchar)
|
2000-07-10 00:44:26 +08:00
|
|
|
if self.state is None:
|
2001-01-16 23:19:13 +08:00
|
|
|
self.token = '' # past end of file
|
2000-05-02 04:08:46 +08:00
|
|
|
break
|
1998-12-22 13:19:29 +08:00
|
|
|
elif self.state == ' ':
|
|
|
|
if not nextchar:
|
2001-01-16 23:19:13 +08:00
|
|
|
self.state = None # end of file
|
1998-12-22 13:19:29 +08:00
|
|
|
break
|
|
|
|
elif nextchar in self.whitespace:
|
|
|
|
if self.debug >= 2:
|
2000-05-02 04:08:46 +08:00
|
|
|
print "shlex: I see whitespace in whitespace state"
|
1998-12-22 13:19:29 +08:00
|
|
|
if self.token:
|
2000-07-10 00:44:26 +08:00
|
|
|
break # emit current token
|
1998-12-22 13:19:29 +08:00
|
|
|
else:
|
|
|
|
continue
|
|
|
|
elif nextchar in self.commenters:
|
|
|
|
self.instream.readline()
|
|
|
|
self.lineno = self.lineno + 1
|
|
|
|
elif nextchar in self.wordchars:
|
|
|
|
self.token = nextchar
|
|
|
|
self.state = 'a'
|
|
|
|
elif nextchar in self.quotes:
|
|
|
|
self.token = nextchar
|
|
|
|
self.state = nextchar
|
|
|
|
else:
|
|
|
|
self.token = nextchar
|
|
|
|
if self.token:
|
2000-07-10 00:44:26 +08:00
|
|
|
break # emit current token
|
1998-12-22 13:19:29 +08:00
|
|
|
else:
|
|
|
|
continue
|
|
|
|
elif self.state in self.quotes:
|
|
|
|
self.token = self.token + nextchar
|
|
|
|
if nextchar == self.state:
|
|
|
|
self.state = ' '
|
|
|
|
break
|
2001-01-17 16:48:39 +08:00
|
|
|
elif not nextchar: # end of file
|
2001-01-09 11:01:15 +08:00
|
|
|
if self.debug >= 2:
|
|
|
|
print "shlex: I see EOF in quotes state"
|
|
|
|
# XXX what error should be raised here?
|
|
|
|
raise ValueError, "No closing quotation"
|
1998-12-22 13:19:29 +08:00
|
|
|
elif self.state == 'a':
|
|
|
|
if not nextchar:
|
2001-01-17 16:48:39 +08:00
|
|
|
self.state = None # end of file
|
1998-12-22 13:19:29 +08:00
|
|
|
break
|
|
|
|
elif nextchar in self.whitespace:
|
|
|
|
if self.debug >= 2:
|
2000-05-02 04:08:46 +08:00
|
|
|
print "shlex: I see whitespace in word state"
|
1998-12-22 13:19:29 +08:00
|
|
|
self.state = ' '
|
|
|
|
if self.token:
|
2000-07-10 00:44:26 +08:00
|
|
|
break # emit current token
|
1998-12-22 13:19:29 +08:00
|
|
|
else:
|
|
|
|
continue
|
|
|
|
elif nextchar in self.commenters:
|
|
|
|
self.instream.readline()
|
|
|
|
self.lineno = self.lineno + 1
|
|
|
|
elif nextchar in self.wordchars or nextchar in self.quotes:
|
|
|
|
self.token = self.token + nextchar
|
|
|
|
else:
|
|
|
|
self.pushback = [nextchar] + self.pushback
|
|
|
|
if self.debug >= 2:
|
2000-05-02 04:08:46 +08:00
|
|
|
print "shlex: I see punctuation in word state"
|
1999-03-22 23:28:08 +08:00
|
|
|
self.state = ' '
|
1998-12-22 13:19:29 +08:00
|
|
|
if self.token:
|
2000-07-10 00:44:26 +08:00
|
|
|
break # emit current token
|
1998-12-22 13:19:29 +08:00
|
|
|
else:
|
|
|
|
continue
|
|
|
|
result = self.token
|
|
|
|
self.token = ''
|
2000-05-02 04:08:46 +08:00
|
|
|
if self.debug > 1:
|
|
|
|
if result:
|
|
|
|
print "shlex: raw token=" + `result`
|
|
|
|
else:
|
|
|
|
print "shlex: raw token=EOF"
|
1998-12-22 13:19:29 +08:00
|
|
|
return result
|
|
|
|
|
2000-05-02 04:08:46 +08:00
|
|
|
def sourcehook(self, newfile):
|
|
|
|
"Hook called on a filename to be sourced."
|
|
|
|
if newfile[0] == '"':
|
|
|
|
newfile = newfile[1:-1]
|
2000-07-03 17:56:23 +08:00
|
|
|
# This implements cpp-like semantics for relative-path inclusion.
|
|
|
|
if type(self.infile) == type("") and not os.path.isabs(newfile):
|
|
|
|
newfile = os.path.join(os.path.dirname(self.infile), newfile)
|
2000-05-02 04:08:46 +08:00
|
|
|
return (newfile, open(newfile, "r"))
|
|
|
|
|
2000-05-02 04:14:12 +08:00
|
|
|
def error_leader(self, infile=None, lineno=None):
|
|
|
|
"Emit a C-compiler-like, Emacs-friendly error-message leader."
|
2002-06-02 08:40:05 +08:00
|
|
|
if infile is None:
|
2000-05-02 04:14:12 +08:00
|
|
|
infile = self.infile
|
2002-06-02 08:40:05 +08:00
|
|
|
if lineno is None:
|
2000-05-02 04:14:12 +08:00
|
|
|
lineno = self.lineno
|
|
|
|
return "\"%s\", line %d: " % (infile, lineno)
|
|
|
|
|
1998-12-22 13:19:29 +08:00
|
|
|
|
2001-01-17 16:48:39 +08:00
|
|
|
if __name__ == '__main__':
|
2000-07-03 17:56:23 +08:00
|
|
|
if len(sys.argv) == 1:
|
|
|
|
lexer = shlex()
|
|
|
|
else:
|
|
|
|
file = sys.argv[1]
|
|
|
|
lexer = shlex(open(file), file)
|
1998-12-22 13:19:29 +08:00
|
|
|
while 1:
|
|
|
|
tt = lexer.get_token()
|
2000-07-03 17:56:23 +08:00
|
|
|
if tt:
|
|
|
|
print "Token: " + repr(tt)
|
|
|
|
else:
|
1998-12-22 13:19:29 +08:00
|
|
|
break
|