ValuePattern parseValue(Element node)
throws GrammarException
{
checkName(node, "value");
ValuePattern value = new ValuePattern();
DatatypeLibrary dl =
getDatatypeLibrary(node.getAttribute("datatypeLibrary"));
String type = node.getAttribute("type");
try
{
value.type = dl.createDatatype(type);
value.datatypeLibrary = dl;
}
catch (DatatypeException e)
{
GrammarException e2 = new GrammarException(type);