+
Point of view
All features
expanded class BACKTRACKING_REGULAR_EXPRESSION_PATTERN
- Direct parents
- Insert list: ANY
require
-
top_not_void: top /= Void
-
valid_group_count: grpcnt >= 0
-
valid_subnames: subnames.for_all(_inline_agent42(grpcnt, , ))
ensure
frozen
effective function
{}