Plasma GitLab Archive
Projects Blog Knowledge

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
Powered by Caml