generator.ml: new type, "Pathname"
authorJim Meyering <meyering@redhat.com>
Tue, 11 Aug 2009 10:16:51 +0000 (12:16 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 13 Aug 2009 12:45:34 +0000 (14:45 +0200)
commit79b5084f70cb67c37dd7cbe60821a78981fd8d59
treeb00f23b27fcefa211e641d465ca3acdc665228bc
parent752147a1da4b1c2381ecba301627427c82b8d8a4
generator.ml: new type, "Pathname"

* src/generator.ml: Emit NEED_ROOT and ABS_PATH into generated
stubs.c, rather than requiring they be added manually at the start
of each and every do_* function that operates on a "path" parameter.
Update grammar: Pathname is just a String, with the above exception.
Do not update augeas "path" parameters, since they are not file names,
but rather ":"-separated search paths.  Except aug_init, for which
"path" *is* a file name.
src/generator.ml