Skip to content

Commit

Permalink
Rename write_sub_string to write_substring (#1139)
Browse files Browse the repository at this point in the history
* Rename write_sub_string to write_substring

* Rename write_substring to write_sub_string, and mark it as deprecated.

* Revert "Rename write_substring to write_sub_string, and mark it as deprecated."

This reverts commit 8c85a09.

* add back write_sub_string and mark it deprecated

---------

Co-authored-by: Wen Yuxiang <[email protected]>
  • Loading branch information
LuoTat and hackwaly authored Oct 18, 2024
1 parent 70d8d2a commit 622edb9
Show file tree
Hide file tree
Showing 12 changed files with 51 additions and 18 deletions.
13 changes: 12 additions & 1 deletion buffer/buffer.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ pub fn write_bytes(self : Buffer, value : Bytes) -> Unit {
}

/// Write a sub-string into buffer.
pub fn write_sub_string(
pub fn write_substring(
self : Buffer,
value : String,
start : Int,
Expand All @@ -92,6 +92,17 @@ pub fn write_sub_string(
self.len += len * 2
}

/// Write a sub-string into buffer.
/// @alert deprecated "Use `Buffer::write_substring` instead"
pub fn write_sub_string(
self : Buffer,
value : String,
start : Int,
len : Int
) -> Unit {
self.write_substring(value, start, len)
}

/// Write a char into buffer.
pub fn write_char(self : Buffer, value : Char) -> Unit {
self.grow_if_necessary(self.len + 4)
Expand Down
3 changes: 2 additions & 1 deletion buffer/buffer.mbti
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@ impl Buffer {
write_char(Self, Char) -> Unit
write_object(Self, Show) -> Unit
write_string(Self, String) -> Unit
write_sub_string(Self, String, Int, Int) -> Unit
write_sub_string(Self, String, Int, Int) -> Unit //deprecated
write_substring(Self, String, Int, Int) -> Unit
}

// Type aliases
Expand Down
12 changes: 6 additions & 6 deletions buffer/buffer_test.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -32,9 +32,9 @@ test "grow_if_necessary method" {
assert_true!(buf.to_bytes().length() >= 60)
}

test "write_sub_string method" {
test "write_substring method" {
let buf = @buffer.new(size_hint=10)
buf.write_sub_string("Hello, World!", 7, 5)
buf.write_substring("Hello, World!", 7, 5)
inspect!(buf, content="World")
}

Expand Down Expand Up @@ -66,9 +66,9 @@ test "grow_if_necessary method" {
assert_true!(buf.to_bytes().length() >= 60)
}

test "write_sub_string method" {
test "write_substring method" {
let buf = @buffer.new(size_hint=10)
buf.write_sub_string("Hello, World!", 7, 5)
buf.write_substring("Hello, World!", 7, 5)
inspect!(buf, content="World")
}

Expand Down Expand Up @@ -106,9 +106,9 @@ test "grow_if_necessary method" {
assert_true!(buf.to_bytes().length() >= 60)
}

test "write_sub_string method" {
test "write_substring method" {
let buf = @buffer.new(size_hint=10)
buf.write_sub_string("Hello, World!", 7, 5)
buf.write_substring("Hello, World!", 7, 5)
inspect!(buf, content="World")
}

Expand Down
13 changes: 12 additions & 1 deletion builtin/buffer.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ pub fn write_bytes(self : Buffer, value : Bytes) -> Unit {
}

/// Write a sub-string into buffer.
pub fn write_sub_string(
pub fn write_substring(
self : Buffer,
value : String,
start : Int,
Expand All @@ -93,6 +93,17 @@ pub fn write_sub_string(
self.len += len * 2
}

/// Write a sub-string into buffer.
/// @alert deprecated "Use `Buffer::write_substring` instead"
pub fn write_sub_string(
self : Buffer,
value : String,
start : Int,
len : Int
) -> Unit {
self.write_substring(value, start, len)
}

/// Write a char into buffer.
pub fn write_char(self : Buffer, value : Char) -> Unit {
self.grow_if_necessary(self.len + 4)
Expand Down
8 changes: 6 additions & 2 deletions builtin/builtin.mbti
Original file line number Diff line number Diff line change
Expand Up @@ -175,7 +175,8 @@ impl Buffer {
write_char(Self, Char) -> Unit
write_object(Self, Show) -> Unit
write_string(Self, String) -> Unit
write_sub_string(Self, String, Int, Int) -> Unit
write_sub_string(Self, String, Int, Int) -> Unit //deprecated
write_substring(Self, String, Int, Int) -> Unit
}

pub type! Failure String
Expand Down Expand Up @@ -350,7 +351,7 @@ impl StringBuilder {
write_char(Self, Char) -> Unit
write_object[T : Show](Self, T) -> Unit
write_string(Self, String) -> Unit
write_sub_string(Self, String, Int, Int) -> Unit
write_substring(Self, String, Int, Int) -> Unit
}

pub type UnsafeMaybeUninit
Expand Down Expand Up @@ -723,6 +724,7 @@ pub trait Hash {

pub trait Logger {
write_string(Self, String) -> Unit
write_substring(Self, String, Int, Int) -> Unit
write_sub_string(Self, String, Int, Int) -> Unit
write_char(Self, Char) -> Unit
}
Expand Down Expand Up @@ -765,6 +767,8 @@ impl Hash for Tuple(6)

impl Hash for Tuple(7)

impl Logger::write_sub_string

impl Show for Unit

impl Show for Bool
Expand Down
2 changes: 1 addition & 1 deletion builtin/show.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ pub impl Show for String with output(self, logger) {
let mut segment_start = 0
fn flush_segment(i : Int) {
if i > segment_start {
logger.write_sub_string(self, segment_start, i - segment_start)
logger.write_substring(self, segment_start, i - segment_start)
}
segment_start = i + 1
}
Expand Down
2 changes: 1 addition & 1 deletion builtin/stringbuilder_buffer.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ pub fn StringBuilder::write_char(self : StringBuilder, ch : Char) -> Unit {
self.len += inc
}

pub fn StringBuilder::write_sub_string(
pub fn StringBuilder::write_substring(
self : StringBuilder,
str : String,
start : Int,
Expand Down
2 changes: 1 addition & 1 deletion builtin/stringbuilder_concat.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ pub fn StringBuilder::write_char(self : StringBuilder, ch : Char) -> Unit {
self.val += Char::to_string(ch)
}

pub fn StringBuilder::write_sub_string(
pub fn StringBuilder::write_substring(
self : StringBuilder,
str : String,
start : Int,
Expand Down
2 changes: 1 addition & 1 deletion builtin/stringbuilder_test.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ test "stringbuilder" {
let buf = StringBuilder::new()
buf.write_string("hello")
buf.write_char(' ')
buf.write_sub_string("world", 0, 3)
buf.write_substring("world", 0, 3)
inspect!(buf.to_string(), content="hello wor")
}

Expand Down
6 changes: 6 additions & 0 deletions builtin/traits.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -47,10 +47,16 @@ pub trait Default {
/// Trait for a logger, where debug logs can be written into
pub trait Logger {
write_string(Self, String) -> Unit
write_substring(Self, String, Int, Int) -> Unit
/// @alert deprecated "use `Logger::write_substring` instead"
write_sub_string(Self, String, Int, Int) -> Unit
write_char(Self, Char) -> Unit
}

impl Logger with write_sub_string(self, value, start, len) {
self.write_substring(value, start, len)
}

/// Trait for types that can be converted to `String`
pub trait Show {
// `output` is used for composition of aggregate structure.
Expand Down
4 changes: 2 additions & 2 deletions coverage/coverage.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -102,14 +102,14 @@ pub fn end() -> Unit {
let mut start = 0
for j = 0; j < str.length(); j = j + 1 {
if str[j] == '\n' {
line_buf.write_sub_string(str, start, j)
line_buf.write_substring(str, start, j)
println(line_buf.to_string())
line_buf.reset()
start = j + 1
}
}
if start < str.length() {
line_buf.write_sub_string(str, start, str.length())
line_buf.write_substring(str, start, str.length())
}
}
let trailing_line = line_buf.to_string()
Expand Down
2 changes: 1 addition & 1 deletion json/lex_string.mbt
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ fn lex_string(ctx : ParseContext) -> String!ParseError {
let mut start = ctx.offset
fn flush(end : Int) {
if start > 0 && end > start {
buf.write_sub_string(ctx.input, start, end - start)
buf.write_substring(ctx.input, start, end - start)
}
}

Expand Down

0 comments on commit 622edb9

Please sign in to comment.