2003-06-09 21:31:01 -04:00
|
|
|
require "rexml/child"
|
|
|
|
module REXML
|
|
|
|
module DTD
|
|
|
|
class NotationDecl < Child
|
|
|
|
START = "<!NOTATION"
|
|
|
|
START_RE = /^\s*#{START}/um
|
|
|
|
PUBLIC = /^\s*#{START}\s+(\w[\w-]*)\s+(PUBLIC)\s+((["']).*?\4)\s*>/um
|
|
|
|
SYSTEM = /^\s*#{START}\s+(\w[\w-]*)\s+(SYSTEM)\s+((["']).*?\4)\s*>/um
|
|
|
|
def initialize src
|
|
|
|
super()
|
|
|
|
if src.match( PUBLIC )
|
|
|
|
md = src.match( PUBLIC, true )
|
|
|
|
elsif src.match( SYSTEM )
|
|
|
|
md = src.match( SYSTEM, true )
|
|
|
|
else
|
|
|
|
raise ParseException.new( "error parsing notation: no matching pattern", src )
|
|
|
|
end
|
|
|
|
@name = md[1]
|
|
|
|
@middle = md[2]
|
|
|
|
@rest = md[3]
|
|
|
|
end
|
|
|
|
|
|
|
|
def to_s
|
|
|
|
"<!NOTATION #@name #@middle #@rest>"
|
|
|
|
end
|
|
|
|
|
|
|
|
def write( output, indent )
|
2004-02-13 17:40:14 -05:00
|
|
|
indent( output, indent )
|
2003-06-09 21:31:01 -04:00
|
|
|
output << to_s
|
|
|
|
end
|
|
|
|
|
|
|
|
def NotationDecl.parse_source source, listener
|
|
|
|
md = source.match( PATTERN_RE, true )
|
2003-10-16 13:47:19 -04:00
|
|
|
thing = md[0].squeeze(" \t\n\r")
|
2003-06-09 21:31:01 -04:00
|
|
|
listener.send inspect.downcase, thing
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|