Class Pxp_dtd.dtd_notation


class dtd_notation : string -> Pxp_core_types.ext_id -> Pxp_core_types.rep_encoding -> object .. end

method name : string
Creation: new dtd_notation a_name an_external_ID init_encoding creates a new dtd_notation object with the given name and the given external ID.
method ext_id : Pxp_core_types.ext_id
method encoding : Pxp_core_types.rep_encoding
method write : Pxp_core_types.output_stream -> Pxp_core_types.encoding -> unit
write_compact_as_latin1 os enc: Writes the <!NOTATION ... > declaration to 'os' as 'enc'-encoded string.