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

xml.position

Class XM_STREAM_POSITION


Direct ancestors

XM_POSITION

Known direct descendants

XM_DEFAULT_POSITION

Features

Invariants

indexing

description

Abstract definition of positions in XML documents which have been parsed from streams

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/06/15 03:33:32 $

revision

$Revision: 1.15 $

deferred class

XM_STREAM_POSITION

obsolete

Use XM_POSITION directly

inherit

XM_POSITION

feature -- Access

byte_index: INTEGER

-- Byte index of token in stream

-- (From XM_POSITION)

column: INTEGER

-- Column of token in stream

-- (From XM_POSITION)

row: INTEGER

-- Row of token in stream

-- (From XM_POSITION)

source_name: STRING

-- Name of source.

-- (From XM_POSITION)

feature -- Output

out: STRING

-- Textual representation

-- (From ANY)

feature -- Obsolete

source: XM_SOURCE

-- Source from where position is taken

-- (From XM_POSITION)

obsolete

Use source_name

invariant

-- From XM_POSITION
source_name_not_void: source_name /= Void
byte_index_positive: byte_index >= 0
column_positive: column >= 0
row_positive: row >= 0

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

end