+
Point of view
All features
class EXAMPLE5
Summary
top
Using the NUMBER_TOOLS parser.
Direct parents
Insert list: ANY
Overview
top
Creation features
{ANY}
Features
{}
make
effective procedure
{}
top
parsing_of (formula: STRING)
effective procedure
{}
top
print_error (error: PARSE_ERROR)
effective procedure
{}
top
require
  • error /= Void