Class providing a command line utility to copy files
listed in file "list" in directory args[0] to
the directory of the file args[1], by default
without clobbering existing files.
Copy() -
Constructor for class uk.ac.bham.gloss.Copy
This is the main executed method: copies files
listed in file "list" in directory src to
the directory of the file dest, with silent and clobber
flags.
Class provided to deal with XML parsing errors and transformer reasonably
helpfully, giving line and column number of file when a warning or
error occurs.
Exports the value of the parameter "name" from "pc" to
the parent ME, and continues recursively exporting to
other ancestors; the last ancestor exported to is
the first found in the same namespace, or the root if
no such ancestor is found.
Searches for a GLOSS distribuition directory in the following
locations (in order)
$GLOSS
$HOME/gloss
$HOME/.gloss
/usr/local/share/gloss
/usr/local/lib/gloss
/usr/share/gloss
/usr/lib/gloss
else uses null (i.e., use URLs rather than local files).
Internal method that collects character data in child
TEXT, CDATA and other descendents nodes of "node" and
appends it to the StringBuffer buff without any escaping.
Internal private method that gets a string matching a regex
at the beginning of unread input (inbuff, at inindx)
returning it (or returning null if no such match).
Default form of getToken in which the "disregardComments" and
"disregardWhitespace" parameters are true provided UC is not
one of the acceptable types, and false otherwise.
Returns an attribute for an XR element: this will be the string
value of the attribute, unescaped, and any xr:attribute node used
to provide it will be removed.
A glosser for this system is an binary object that
represents a modular vocabulary, ie, it is able to
read tokens from a token stream (a Tokenizer object)
and create an XML document.
A glosser for this system is an binary object that
represents a modular vocabulary, ie, it is able to
read tokens from a token stream (a Tokenizer object)
and create an XML document.
hexre matches an (arb precision) signed hex integer, almost according to
OpenMath syntax, except that a leading 0 is required (after any - sign)
and before the x.
checks and transforms the document at node;
ns_pars contain a list of prefix=NSURI pairs
that have been declared on ancestor elements and
may be assumed and do not need to be re-declared.
parses a parameter or mode name into:
outp[0] = namespace (null if absent)
outp[1] = name
where key is "{namespace}name" or "name"
and namespace has balanced braces,
and, in the second case, "name"
does not start with "{".
Main method that prints a node, with ns_pars listing a
list of prefixes and their namespaces that are in scope
and therefore do not have to be printed.
This class extends EntityResolver and provides a filter
to determine which XML input files are local and
from the GLOSS distribution and which are non-local.
Sets "execute token mode" which is a special mode in
which all children="..." and children-XXX="..." attributes
are ignored and a single token is executed then control
is returned.