﻿class System.Text.StringBuilder
	java StringBuilder
	python io.StringIO import io
	js service StringBuilder
	php service StringBuilder
	rust service StringBuilder

.ctor()
	java =
	python =
	js =
	php =
	rust StringBuilder::null()

.ctor(int)
	java new {*}()
	python io.StringIO()
	js new {*}()
	rust StringBuilder::null()

.ctor(string)
	java =
	python Utils.newStringIO({0})
	js =
	php =
	rust StringBuilder::from_string({0&})

property get int Length
	java {!}.length()
	python {!}.tell()
	js {!}.length
	php {!}->Length()
	rust {!}.len()

property set int Length
	java {!}.setLength({0})
	python Utils.setLengthStringIO({!}, {0})
	js {!}.length = {0}
	php {!}->SetLength({0})
	rust {!}.set_len({0})

indexer get char [int]
	java {!}.charAt({0})
	python Utils.getCharAtStringIO({!}, {0})
	js {!}.charAt({0})
	php {!}->CharAt({0})
	rust {!}.get({0})
indexer set char [int]  
	java {!}.setCharAt({0}, {1})
	python Utils.setCharAtStringIO({!}, {0}, {1})
	js {!}.setCharAt({0}, {1})
	php {!}->SetCharAt({0}, {1})
	rust {!}.set({0}, {1})

method StringBuilder AppendFormat(string, *)  changelength
	java .format append
	python .format append
	js .format append
	php .format Append
	rust .format append

method StringBuilder Append(char, int)  changelength
	java Utils.append({!}, {0}, {1})
	 
method StringBuilder Append(?)  changelength
	java =append
	python print({0}, end="", file={!})
	js =append
	php =Append
	rust .format append

method StringBuilder Insert(int, ?)  changelength
	java =insert
	python Utils.insertStringIO({!}, {0}, {1})
	js =insert
	php =Insert
	rust .format insert

method StringBuilder Remove(int, int)  changelength
	java {!}.delete({0}, {0} + {1})
	python Utils.removeStringIO({!}, {0}, {1})
	js =remove
	php =Remove
	rust =remove

method StringBuilder Replace(string, string)  changelength
	java Utils.replace({!}, {0}, {1})
	python Utils.replaceStringIO({!}, {0}, {1})
	php =Replace
	js =replace

method StringBuilder Replace(char, char)   modify
	java Utils.replace({!}, {0}, {1})
	python Utils.replaceStringIO({!}, {0}, {1})
	php =Replace
	js =replace
	rust =replace_char