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

xml.parser.eiffel

Class XM_EIFFEL_TOKENS


Direct ancestors

YY_PARSER_TOKENS

Known direct descendants

XM_EIFFEL_PARSER_SKELETON, XM_EIFFEL_SCANNER_SKELETON

Features

Invariants

indexing

description

Parser token codes

generator

geyacc version 3.4

class

XM_EIFFEL_TOKENS

inherit

YY_PARSER_TOKENS

feature -- Access

token_name (a_token: INTEGER): STRING

-- Name of token a_token

-- (From YY_PARSER_TOKENS)

ensure
token_name_not_void: Result /= Void

feature -- Last values

feature -- Token codes

apos: INTEGER
attribute_entity: INTEGER
attribute_lt: INTEGER
cdata_end: INTEGER
cdata_start: INTEGER
chardata: INTEGER
chardata_utf8: INTEGER
comment_dashdash: INTEGER
comment_end: INTEGER
comment_start: INTEGER
content_entity: INTEGER
doctype_attlist: INTEGER
doctype_att_id: INTEGER
doctype_element: INTEGER
doctype_end: INTEGER
doctype_entity: INTEGER
doctype_fixed: INTEGER
doctype_group_or: INTEGER
doctype_ignore: INTEGER
doctype_implied: INTEGER
doctype_include: INTEGER
doctype_ndata: INTEGER
doctype_notation: INTEGER
doctype_pcdata: INTEGER
doctype_percent: INTEGER
doctype_public: INTEGER
doctype_required: INTEGER
doctype_start: INTEGER
doctype_system: INTEGER
entity_invalid: INTEGER
eq: INTEGER
input_invalid: INTEGER
name: INTEGER
name_utf8: INTEGER
nmtoken: INTEGER
nmtoken_utf8: INTEGER
pi_end: INTEGER
pi_reserved: INTEGER
pi_start: INTEGER
pi_target: INTEGER
pi_target_utf8: INTEGER
quot: INTEGER
space: INTEGER
tag_end: INTEGER
tag_end_empty: INTEGER
tag_name_atom: INTEGER
tag_name_colon: INTEGER
tag_name_first: INTEGER
tag_start: INTEGER
tag_start_end: INTEGER
value_end: INTEGER
value_start: INTEGER

invariant


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

end