changeset 1718:5603ee8e2a71

rename String.rep to String.repeated
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 25 Jul 2022 11:32:05 -0600
parents c637a2a1023d
children 2f3a8f16f583
files conv.txt src/luan/modules/String.luan src/luan/modules/StringLuan.java website/src/manual.html.luan
diffstat 4 files changed, 7 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/conv.txt	Mon Jul 25 11:16:53 2022 -0600
+++ b/conv.txt	Mon Jul 25 11:32:05 2022 -0600
@@ -1,3 +1,5 @@
+String.rep -> String.repeated
+
 String.find
 String.gmatch
 String.gsub
--- a/src/luan/modules/String.luan	Mon Jul 25 11:16:53 2022 -0600
+++ b/src/luan/modules/String.luan	Mon Jul 25 11:32:05 2022 -0600
@@ -19,7 +19,8 @@
 String.matches = StringLuan.matches
 String.regex = Boot.regex
 String.regex_quote = Pattern.quote
-String.rep = StringLuan.rep
+String.rep = StringLuan.repeated  -- remove
+String.repeated = StringLuan.repeated
 String.replace = StringLuan.replace
 String.reverse = StringLuan.reverse
 String.split = StringLuan.split
--- a/src/luan/modules/StringLuan.java	Mon Jul 25 11:16:53 2022 -0600
+++ b/src/luan/modules/StringLuan.java	Mon Jul 25 11:32:05 2022 -0600
@@ -73,7 +73,7 @@
 		return new StringBuilder(s).reverse().toString();
 	}
 
-	public static String rep(String s,int n,String sep) {
+	public static String repeated(String s,int n,String sep) {
 		if( n < 1 )
 			return "";
 		StringBuilder buf = new StringBuilder(s);
--- a/website/src/manual.html.luan	Mon Jul 25 11:16:53 2022 -0600
+++ b/website/src/manual.html.luan	Mon Jul 25 11:32:05 2022 -0600
@@ -2674,8 +2674,8 @@
 <%
 						end
 					}
-					["String.rep"] = {
-						title = "<code>String.rep (s, n [, sep])</code>"
+					["String.repeated"] = {
+						title = "<code>String.repeated (s, n [, sep])</code>"
 						content = function()
 %>
 <p>