Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

xml.general

Class XM_FORMAL_PUBLIC_IDENTIFIER_ROUTINES


Known direct descendants

XM_CATALOG, XM_CATALOG_MANAGER

Features

Invariants

indexing

description

Rountines for manipulating formal public identifies

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/09/12 05:43:09 $

revision

$Revision: 1.1 $

class

XM_FORMAL_PUBLIC_IDENTIFIER_ROUTINES

feature -- Conversion

normalized_fpi (an_fpi: STRING): STRING

-- Normalized version of an_fpi.

require
public_identifier_is_ascii: an_fpi /= Void
urn_to_fpi (a_publicid_urn: STRING) : STRING

-- Unwrapped urn:publicid: URN

require
public_id_urn: a_publicid_urn /= Void and then a_publicid_urn.substring_index (

urn:publicid:

, 1) = 1
ensure
fpi_not_void: result /= Void

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end