| Construct a NameModifier from a pattern of the form xxx%xxx.
The pattern must consist of characters chosen from the
set [A-Za-z0-9%$_]. In addition, the pattern must contain
exactly one % character. Finally, if % is not the first char in
the pattern, the pattern must not start with a number.
The semantics of makeName are very simply: just replace the
% character with the base in the pattern and return the result.
|