comparison src/luan/modules/String.luan @ 1716:b82767112d8e

add String.regex
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 24 Jul 2022 23:43:03 -0600
parents ad44e849c60c
children c637a2a1023d
comparison
equal deleted inserted replaced
1715:ad44e849c60c 1716:b82767112d8e
1 require "java" 1 require "java"
2 local StringLuan = require "java:luan.modules.StringLuan" 2 local StringLuan = require "java:luan.modules.StringLuan"
3 local Pattern = require "java:java.util.regex.Pattern" 3 local Pattern = require "java:java.util.regex.Pattern"
4 local Boot = require "luan:Boot.luan"
4 5
5 local String = {} 6 local String = {}
6 7
7 String.char = StringLuan.char_ 8 String.char = StringLuan.char_
9 String.contains = StringLuan.contains
8 String.digest_message = StringLuan.digest_message 10 String.digest_message = StringLuan.digest_message
9 String.encode = StringLuan.encode 11 String.encode = StringLuan.encode
12 String.ends_with = StringLuan.ends_with
10 String.find = StringLuan.find 13 String.find = StringLuan.find
11 String.format = StringLuan.format 14 String.format = StringLuan.format
12 String.gmatch = StringLuan.gmatch 15 String.gmatch = StringLuan.gmatch
13 String.gsub = StringLuan.gsub 16 String.gsub = StringLuan.gsub
14 String.lower = StringLuan.lower 17 String.lower = StringLuan.lower
15 String.match = StringLuan.match 18 String.match = StringLuan.match
16 String.matches = StringLuan.matches 19 String.matches = StringLuan.matches
17 String.regex_compile = Pattern.compile 20 String.regex = Boot.regex
18 String.regex_quote = Pattern.quote 21 String.regex_quote = Pattern.quote
19 String.rep = StringLuan.rep 22 String.rep = StringLuan.rep
20 String.reverse = StringLuan.reverse 23 String.reverse = StringLuan.reverse
21 String.split = StringLuan.split 24 String.split = StringLuan.split
25 String.starts_with = StringLuan.starts_with
22 String.sub = StringLuan.sub 26 String.sub = StringLuan.sub
23 String.to_binary = StringLuan.to_binary 27 String.to_binary = StringLuan.to_binary
24 String.to_number = StringLuan.to_number 28 String.to_number = StringLuan.to_number
25 String.trim = StringLuan.trim 29 String.trim = StringLuan.trim
26 String.unicode = StringLuan.unicode 30 String.unicode = StringLuan.unicode