+
Point of view
All features
class REGULAR_EXPRESSION_ITEM_NOT_THEN_ANY
require
-
value_not_void: value /= Void
ensure
-
definition: node = value
-
node_not_void: node /= Void
require
-
value_not_void: value /= Void
ensure
-
definition: node = value
-
node_not_void: node /= Void
require
-
name_not_void: name /= Void
require
ensure
-
good_result: Result /= Void
require
-
name_not_void: name /= Void
require
ensure
-
good_result: Result /= Void
require
-
name_not_void: name /= Void
require
-
name_not_void: name /= Void