+
Point of view
All features
class PARSE_ERROR
Summary
top
Direct parents
Insert list: ANY
Overview
top
Creation features
{ANY}
Features
{ANY}
{PARSE_ERROR}
{}
index: INTEGER_32
writable attribute
{ANY}
top
message: STRING
writable attribute
{ANY}
top
next: PARSE_ERROR
writable attribute
{ANY}
top
set_next (a_next: PARSE_ERROR)
effective procedure
{PARSE_ERROR}
top
require
  • a_next /= Void
  • a_next /= Current
ensure
last: PARSE_ERROR
effective function
{PARSE_ERROR}
top
ensure
  • Result /= Void
make (a_index: INTEGER_32, a_message: STRING, a_previous: PARSE_ERROR)
effective procedure
{}
top
require
  • a_message /= Void
ensure
  • index = a_index
  • message = a_message
  • a_previous /= Void implies a_previous.last = Current