Class Pxp_dtd.dtd_notation

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

A single notation declaration that can be added to the DTD object. Notation declarations are created by

new dtd_notation a_name an_external_ID init_encoding

This creates a new dtd_notation object with the given name and the given external ID.

method name : string

method ext_id : Pxp_core_types.I.ext_id

method encoding : Pxp_core_types.I.rep_encoding

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge