class REGULAR_EXPRESSION_ITEM_PREVIOUS_GROUP_NO_CASE

Features exported to ANY

record the begin of a group

Direct parents

conformant parents

REGULAR_EXPRESSION_ITEM

Summary

creation features

exported features

Details

make (num: INTEGER)

require

  • natural_number: num >= 0

ensure

  • definition: number = num
  • natural_number: number >= 0

number: INTEGER

the number of the group

make (num: INTEGER)

require

  • natural_number: num >= 0

ensure

  • definition: number = num
  • natural_number: number >= 0

explore (matcher: BACKTRACKING_REGULAR_EXPRESSION)

That feature must update the state of 'explorer'.