File: stringOps.maude

package info (click to toggle)
maude 3.5.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,480 kB
  • sloc: cpp: 133,192; makefile: 2,180; yacc: 1,984; sh: 1,373; lex: 886
file content (69 lines) | stat: -rw-r--r-- 1,339 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
set show timing off .
set show advisories off .

select STRING-OPS .

red isControl("\n") .
red isControl("a") .

red isPrintable("a") .
red isPrintable("\n") .

red isWhiteSpace("\n") .
red isWhiteSpace("2") .

red isBlank("\t") .
red isBlank("\n") .

red isGraphic("a") .
red isGraphic(" ") .

red isPunctuation(";") .
red isPunctuation("a") .

red isAlphanumeric("a") .
red isAlphanumeric("3") .
red isAlphanumeric("!") .
red isAlphanumeric("\n") .
red isAlphanumeric("word") .

red isAlphabetic("a") .
red isAlphabetic("3") .
red isAlphabetic("!") .

red isUppercase("a") .
red isUppercase("A") .
red isUppercase("4") .

red isLowercase("a") .
red isLowercase("A") .
red isLowercase("4") .

red isDigit("A") .
red isDigit("4") .

red isHexadecimalDigit("A") .
red isHexadecimalDigit("4") .
red isHexadecimalDigit("G") .

red startsWith("Foo foo", "Foo") .
red startsWith("Foo foo", "Bar") .
red startsWith("Foo foo", "BarBarBar") .

red endsWith("Foo foo", "foo") .
red endsWith("Foo foo", "Bar") .
red endsWith("Foo foo", "BarBarBar") .

red trimStart(" \nFoo\n ") .
red trimStart("BarFoo\n ") .
red trimStart("\t\t \f\r  \n ") .

red trimEnd(" \nFoo\n ") .
red trimEnd(" \nFooBar") .
red trimEnd("\t\t \f\r  \n ") .

red trim(" \nFoo\n ") .
red trim("Foo\n ") .
red trim(" \nFoo") .
red trim("FooBar") .
red trim("\t\t \f\r  \n ") .