Class XMLElement.Terminal

java.lang.Object
java_cup.runtime.XMLElement
java_cup.runtime.XMLElement.Terminal
Enclosing class:
XMLElement

public static class XMLElement.Terminal extends XMLElement