1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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,
function s_at = SR.s_at,
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
|
