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

xml.position

Class XM_DEFAULT_POSITION


Direct ancestors

XM_POSITION, XM_STREAM_POSITION

Creation

Features

Invariants

indexing

description

Positions in an XML document which has been parsed from a stream

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:49:00 $

revision

$Revision: 1.14 $

class

XM_DEFAULT_POSITION

inherit

XM_POSITION
XM_STREAM_POSITION

create

make (a_source: like source_name; a_byte_index, a_column, a_row: INTEGER)

-- Create a new position.

require
a_source_not_void: a_source /= Void
a_byte_index_positive: a_byte_index >= 0
a_column_positive: a_column >= 0
a_row_positive: a_row >= 0
ensure
source_set: source_name = a_source
byte_index_set: byte_index = a_byte_index
column_set: column = a_column
row_set: row = a_row

feature -- Access

byte_index: INTEGER

-- Byte position of token in file

-- (From XM_POSITION)

column: INTEGER

-- Column of token in file

-- (From XM_POSITION)

row: INTEGER

-- Row of token in file

-- (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