2000-12-14 18:29:58 -04:00
|
|
|
"""An attempt at an unweave script.
|
|
|
|
Jack Jansen, jack@oratrix.com, 13-Dec-00
|
|
|
|
"""
|
|
|
|
import re
|
|
|
|
import sys
|
|
|
|
import macfs
|
|
|
|
import os
|
2000-12-14 19:35:01 -04:00
|
|
|
import macostools
|
2000-12-14 18:29:58 -04:00
|
|
|
|
|
|
|
BEGINDEFINITION=re.compile("^<<(?P<name>.*)>>=\s*")
|
2000-12-14 19:35:01 -04:00
|
|
|
USEDEFINITION=re.compile("^(?P<pre>.*)<<(?P<name>.*)>>(?P<post>[^=].*)")
|
2000-12-14 18:29:58 -04:00
|
|
|
ENDDEFINITION=re.compile("^@")
|
|
|
|
|
|
|
|
class Processor:
|
|
|
|
def __init__(self, filename):
|
|
|
|
self.items = {}
|
|
|
|
self.filename = filename
|
|
|
|
self.fp = open(filename)
|
|
|
|
self.lineno = 0
|
|
|
|
self.resolving = {}
|
|
|
|
self.resolved = {}
|
|
|
|
self.pushback = None
|
|
|
|
|
|
|
|
def _readline(self):
|
|
|
|
"""Read a line. Allow for pushback"""
|
|
|
|
if self.pushback:
|
|
|
|
rv = self.pushback
|
|
|
|
self.pushback = None
|
|
|
|
return rv
|
|
|
|
self.lineno = self.lineno + 1
|
2000-12-14 19:35:01 -04:00
|
|
|
return self.lineno, self.fp.readline()
|
2000-12-14 18:29:58 -04:00
|
|
|
|
2000-12-14 19:35:01 -04:00
|
|
|
def _linedirective(self, lineno):
|
|
|
|
"""Return a #line cpp directive for this file position"""
|
|
|
|
return '#line %d "%s"\n'%(lineno-3, os.path.split(self.filename)[1])
|
2000-12-14 18:29:58 -04:00
|
|
|
|
|
|
|
def _readitem(self):
|
|
|
|
"""Read the definition of an item. Insert #line where needed. """
|
2000-12-14 19:35:01 -04:00
|
|
|
rv = []
|
2000-12-14 18:29:58 -04:00
|
|
|
while 1:
|
2000-12-14 19:35:01 -04:00
|
|
|
lineno, line = self._readline()
|
2000-12-14 18:29:58 -04:00
|
|
|
if not line:
|
|
|
|
break
|
|
|
|
if ENDDEFINITION.search(line):
|
|
|
|
break
|
|
|
|
if BEGINDEFINITION.match(line):
|
2000-12-14 19:35:01 -04:00
|
|
|
self.pushback = lineno, line
|
2000-12-14 18:29:58 -04:00
|
|
|
break
|
|
|
|
mo = USEDEFINITION.match(line)
|
|
|
|
if mo:
|
|
|
|
pre = mo.group('pre')
|
|
|
|
if pre:
|
2000-12-14 19:35:01 -04:00
|
|
|
rv.append((lineno, pre+'\n'))
|
|
|
|
rv.append((lineno, line))
|
2000-12-14 18:29:58 -04:00
|
|
|
# For simplicity we add #line directives now, if
|
|
|
|
# needed.
|
|
|
|
if mo:
|
2000-12-14 19:35:01 -04:00
|
|
|
post = mo.group('post')
|
|
|
|
if post and post != '\n':
|
|
|
|
rv.append((lineno, post))
|
2000-12-14 18:29:58 -04:00
|
|
|
return rv
|
|
|
|
|
|
|
|
def _define(self, name, value):
|
|
|
|
"""Define an item, or append to an existing definition"""
|
|
|
|
if self.items.has_key(name):
|
|
|
|
self.items[name] = self.items[name] + value
|
|
|
|
else:
|
|
|
|
self.items[name] = value
|
|
|
|
|
|
|
|
def read(self):
|
|
|
|
"""Read the source file and store all definitions"""
|
|
|
|
while 1:
|
2000-12-14 19:35:01 -04:00
|
|
|
lineno, line = self._readline()
|
2000-12-14 18:29:58 -04:00
|
|
|
if not line: break
|
|
|
|
mo = BEGINDEFINITION.search(line)
|
|
|
|
if mo:
|
|
|
|
name = mo.group('name')
|
|
|
|
value = self._readitem()
|
|
|
|
self._define(name, value)
|
|
|
|
else:
|
|
|
|
pass # We could output the TeX code but we don't bother.
|
|
|
|
|
|
|
|
def resolve(self):
|
|
|
|
"""Resolve all references"""
|
|
|
|
for name in self.items.keys():
|
|
|
|
self._resolve_one(name)
|
|
|
|
|
|
|
|
def _resolve_one(self, name):
|
|
|
|
"""Resolve references in one definition, recursively"""
|
|
|
|
# First check for unknown macros and recursive calls
|
|
|
|
if not self.items.has_key(name):
|
|
|
|
print "Undefined macro:", name
|
|
|
|
return ['<<%s>>'%name]
|
|
|
|
if self.resolving.has_key(name):
|
|
|
|
print "Recursive macro:", name
|
|
|
|
return ['<<%s>>'%name]
|
|
|
|
# Then check that we haven't handled this one before
|
|
|
|
if self.resolved.has_key(name):
|
|
|
|
return self.items[name]
|
|
|
|
# No rest for the wicked: we have work to do.
|
|
|
|
self.resolving[name] = 1
|
|
|
|
result = []
|
2000-12-14 19:35:01 -04:00
|
|
|
for lineno, line in self.items[name]:
|
2000-12-14 18:29:58 -04:00
|
|
|
mo = USEDEFINITION.search(line)
|
|
|
|
if mo:
|
|
|
|
# We replace the complete line. Is this correct?
|
|
|
|
macro = mo.group('name')
|
|
|
|
replacement = self._resolve_one(macro)
|
|
|
|
result = result + replacement
|
|
|
|
else:
|
2000-12-14 19:35:01 -04:00
|
|
|
result.append((lineno, line))
|
2000-12-14 18:29:58 -04:00
|
|
|
self.items[name] = result
|
|
|
|
self.resolved[name] = 1
|
|
|
|
del self.resolving[name]
|
|
|
|
return result
|
|
|
|
|
|
|
|
def save(self, dir, pattern):
|
|
|
|
"""Save macros that match pattern to folder dir"""
|
|
|
|
# Compile the pattern, if needed
|
|
|
|
if type(pattern) == type(''):
|
|
|
|
pattern = re.compile(pattern)
|
|
|
|
# If the directory is relative it is relative to the sourcefile
|
|
|
|
if not os.path.isabs(dir):
|
|
|
|
sourcedir = os.path.split(self.filename)[0]
|
|
|
|
dir = os.path.join(sourcedir, dir)
|
|
|
|
for name in self.items.keys():
|
|
|
|
if pattern.search(name):
|
|
|
|
pathname = os.path.join(dir, name)
|
2000-12-14 19:35:01 -04:00
|
|
|
data = self._addlinedirectives(self.items[name])
|
2000-12-14 18:29:58 -04:00
|
|
|
self._dosave(pathname, data)
|
|
|
|
|
2000-12-14 19:35:01 -04:00
|
|
|
def _addlinedirectives(self, data):
|
|
|
|
curlineno = -100
|
|
|
|
rv = []
|
|
|
|
for lineno, line in data:
|
|
|
|
curlineno = curlineno + 1
|
|
|
|
if line and line != '\n' and lineno != curlineno:
|
|
|
|
rv.append(self._linedirective(lineno))
|
|
|
|
curlineno = lineno
|
|
|
|
rv.append(line)
|
|
|
|
return rv
|
2000-12-14 18:29:58 -04:00
|
|
|
|
|
|
|
def _dosave(self, pathname, data):
|
|
|
|
"""Save data to pathname, unless it is identical to what is there"""
|
|
|
|
if os.path.exists(pathname):
|
|
|
|
olddata = open(pathname).readlines()
|
|
|
|
if olddata == data:
|
|
|
|
return
|
2000-12-14 19:35:01 -04:00
|
|
|
macostools.mkdirs(os.path.split(pathname)[0])
|
2000-12-14 18:29:58 -04:00
|
|
|
fp = open(pathname, "w").writelines(data)
|
|
|
|
|
2000-12-14 19:35:01 -04:00
|
|
|
def process(file, config):
|
2000-12-14 18:29:58 -04:00
|
|
|
pr = Processor(file)
|
|
|
|
pr.read()
|
|
|
|
pr.resolve()
|
2000-12-14 19:35:01 -04:00
|
|
|
for pattern, folder in config:
|
|
|
|
pr.save(folder, pattern)
|
|
|
|
|
|
|
|
def readconfig():
|
|
|
|
"""Read a configuration file, if it doesn't exist create it."""
|
|
|
|
configname = sys.argv[0] + '.config'
|
|
|
|
if not os.path.exists(configname):
|
|
|
|
confstr = """config = [
|
|
|
|
("^.*\.cp$", ":unweave-src"),
|
|
|
|
("^.*\.h$", ":unweave-include"),
|
|
|
|
]"""
|
|
|
|
open(configname, "w").write(confstr)
|
|
|
|
print "Created config file", configname
|
|
|
|
## print "Please check and adapt (if needed)"
|
|
|
|
## sys.exit(0)
|
|
|
|
namespace = {}
|
|
|
|
execfile(configname, namespace)
|
|
|
|
return namespace['config']
|
2000-12-14 18:29:58 -04:00
|
|
|
|
|
|
|
def main():
|
2000-12-14 19:35:01 -04:00
|
|
|
config = readconfig()
|
2000-12-14 18:29:58 -04:00
|
|
|
if len(sys.argv) > 1:
|
2000-12-14 19:35:01 -04:00
|
|
|
for file in sys.argv[1:]:
|
|
|
|
if file[-3:] == '.nw':
|
|
|
|
print "Processing", file
|
|
|
|
process(file, config)
|
|
|
|
else:
|
|
|
|
print "Skipping", file
|
2000-12-14 18:29:58 -04:00
|
|
|
else:
|
|
|
|
fss, ok = macfs.PromptGetFile("Select .nw source file", "TEXT")
|
|
|
|
if not ok:
|
|
|
|
sys.exit(0)
|
|
|
|
process(fss.as_pathname())
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
main()
|