+
Point of view
All features
expanded class BACKTRACKING_REGULAR_EXPRESSION_PATTERN
Summary
top
Class for backtracking (compiled) regular expressions pattern.
Direct parents
Insert list: ANY
Overview
top
group_count: INTEGER_32
writable attribute
{ANY}
top
The count of groups of the regular expression.
is_valid: BOOLEAN
effective function
{ANY}
top
Is the current pattern valid?
writable attribute
{BACKTRACKING_REGULAR_EXPRESSION}
top
The root item.
writable attribute
{BACKTRACKING_REGULAR_EXPRESSION}
top
effective procedure
{BACKTRACKING_REGULAR_EXPRESSION_BUILDER}
top
Initializing
require
  • top_not_void: top /= Void
  • valid_group_count: grpcnt >= 0
  • valid_subnames: subnames.for_all(_inline_agent42(grpcnt, , ))
ensure
_inline_agent42 (c: INTEGER_32, i: INTEGER_32, s: FIXED_STRING): BOOLEAN
frozen
effective function
{}
top