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

xml.event

Class XM_NAMESPACE_RESOLVER_CONTEXT


Direct ancestors

UC_UNICODE_FACTORY, XM_UNICODE_STRUCTURE_FACTORY, KL_IMPORTED_STRING_ROUTINES

Creation

Features

Invariants

indexing

description

Context for namespace resolver

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:45:03 $

revision

$Revision: 1.11 $

class

XM_NAMESPACE_RESOLVER_CONTEXT

create

make

-- Create a new context.

feature -- Access

resolve (a_prefix: STRING): STRING

-- Resolve a prefix.

require
a_prefix_not_void: a_prefix /= Void
ensure
resoled_not_void: Result /= Void
resolve_default: STRING

-- Resolve default namespace.

ensure
resoled_not_void: Result /= Void

feature -- Status report

has (a_prefix: STRING): BOOLEAN

-- Is this prefix known?

require
a_prefix_not_void: a_prefix /= Void
is_context_empty: BOOLEAN

-- Is context stack empty?

ensure
definition: Result = context.is_empty
shallow_has (a_prefix: STRING): BOOLEAN

-- Is this prefix known at the current level?
-- (for duplicate declaration checks)

require
a_prefix_not_void: a_prefix /= Void

feature -- Element change

add (a_namespace: STRING; a_prefix: STRING)

-- Add namespace to context.

require
a_namespace_not_void: a_namespace /= Void
a_prefix_not_void: a_prefix /= Void
not_has: not shallow_has (a_prefix)
context_not_empty: not is_context_empty
add_default (a_namespace: STRING)

-- Add default namespace to context.

require
a_namespace_not_void: a_namespace /= Void
context_not_empty: not is_context_empty

feature -- Stack

pop

-- Pop element context.

push

-- Push element context.

invariant

context_not_void: context /= Void

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

end