Gobo Eiffel XML Library
Copyright (c) 2005, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 19:45:03 $
$Revision: 1.2 $
-- Next is null processor.
-- (From XM_DTD_CALLBACKS_FILTER)
-- Set receiver of forwarded events.
-- (From XM_DTD_CALLBACKS_SOURCE)
-- Is xml:id incorrectly declared to be other than ID type?
-- List of ID attributes other than xml:id
-- Is this attribute declared with type ID?
-- Receiver for forwarded events
-- (From XM_DTD_CALLBACKS_FILTER)
-- Set receiver of forwarded events.
-- (From XM_DTD_CALLBACKS_SOURCE)
-- Attribute declaration, one event per attribute.
-- (From XM_DTD_CALLBACKS)
-- An attribute has been declared of type ID.
-- An invalid xml:id declaration has another type has occurred
-- End of DTD.
-- (From XM_DTD_CALLBACKS)
-- PI.
-- (From XM_DTD_CALLBACKS)
-- (From XM_DTD_CALLBACKS)
-- Notation declaration.
-- (From XM_DTD_CALLBACKS)
xml:id DTD validator