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

xml.position

Class XM_POSITION


Direct ancestors

KL_IMPORTED_STRING_ROUTINES

Known direct descendants

XM_DEFAULT_POSITION, XM_STREAM_POSITION

Features

Invariants

indexing

description

Abstract definition of positions in XML documents

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/02/14 01:39:21 $

revision

$Revision: 1.12 $

deferred class

XM_POSITION

feature -- Access

byte_index: INTEGER

-- Byte index of token in stream

column: INTEGER

-- Column of token in stream

row: INTEGER

-- Row of token in stream

source_name: STRING

-- Name of source.

feature -- Output

out: STRING

-- Textual representation

-- (From ANY)

feature -- Obsolete

source: XM_SOURCE

-- Source from where position is taken

obsolete

Use source_name

invariant

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