2019-10-04 16:30:58 +02:00
|
|
|
module StringCheck
|
|
|
|
|
|
|
|
|
|
use string.StringRealization as SR
|
|
|
|
|
|
|
|
|
|
clone string.String
|
|
|
|
|
with
|
|
|
|
|
function concat = SR.concat,
|
|
|
|
|
function length = SR.length,
|
|
|
|
|
predicate lt = SR.lt,
|
|
|
|
|
predicate le = SR.le,
|
2020-01-14 10:53:02 +01:00
|
|
|
function s_at = SR.s_at,
|
2019-10-04 16:30:58 +02:00
|
|
|
function substring = SR.substring,
|
|
|
|
|
predicate prefixof = SR.prefixof,
|
|
|
|
|
predicate suffixof = SR.suffixof,
|
|
|
|
|
predicate contains = SR.contains,
|
|
|
|
|
function indexof = SR.indexof,
|
|
|
|
|
function replace = SR.replace,
|
|
|
|
|
function replaceall = SR.replaceall,
|
|
|
|
|
(*predicate is_digit = SR.is_digit,*)
|
|
|
|
|
function to_int = SR.to_int,
|
|
|
|
|
function from_int = SR.from_int
|
|
|
|
|
|
|
|
|
|
end
|
