public class GrammarPattern extends Pattern
Constructor and Description |
---|
GrammarPattern()
Creates a new grammar pattern.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o)
Returns equals.
|
java.lang.String |
generateId()
Generates a name.
|
Pattern |
getDefinition(java.lang.String name)
Gets a definition.
|
Pattern |
getStart()
Returns the start pattern.
|
java.lang.String |
getTagName()
Returns the Relax schema name.
|
void |
mergeInclude(GrammarPattern grammar)
Merges an include.
|
void |
setDefinition(java.lang.String name,
Pattern pattern)
Start definition.
|
void |
setStart(Pattern start)
Sets the start element
|
java.lang.String |
toString()
Debugging.
|
addChild, addNameChild, createItem, createNameItem, endElement, error, getElementName, getLocation, getParent, hasData, hasElement, setElementName, setFilename, setLine, setParent, toProduction
protected static final L10N L
public java.lang.String getTagName()
getTagName
in class Pattern
public Pattern getStart()
public void setStart(Pattern start) throws RelaxException
RelaxException
public java.lang.String generateId()
public void setDefinition(java.lang.String name, Pattern pattern)
public Pattern getDefinition(java.lang.String name)
public void mergeInclude(GrammarPattern grammar)
public boolean equals(java.lang.Object o)
public java.lang.String toString()
toString
in class java.lang.Object