stdlib/strings: Moved Buffer to FlatBuffer, Buffer is now abstract.

[nit.git] / src / debugger.nit

diff --git a/src/debugger.nit b/src/debugger.nit
index 02276be..65725a8 100644 (file)
--- a/src/debugger.nit
+++ b/src/debugger.nit
@@ -480,7 +480,7 @@ class Debugger
                else if command == "nit" then
                        printn "$~> "
                        command = gets
-                       var nit_buf = new Buffer
+                       var nit_buf = new FlatBuffer
                        while not command == ":q" do
                                nit_buf.append(command)
                                nit_buf.append("\n")
@@ -821,7 +821,7 @@ class Debugger
        fun get_identifiers_in_current_instruction(instruction: AbstractString): Array[String]
        do
                var result_array = new Array[String]
-               var instruction_buffer = new Buffer
+               var instruction_buffer = new FlatBuffer
 
                var trigger_char_escape = false
                var trigger_string_escape = false
@@ -868,7 +868,7 @@ class Debugger
        #
        fun get_function_arguments(function: AbstractString): String
        do
-               var buf = new Buffer
+               var buf = new FlatBuffer
                var trigger_copy = false
 
                for i in function.chars do
@@ -904,7 +904,7 @@ class Debugger
        fun get_real_variable_name(name: String): String
        do
                var explode_string = name.split_with(".")
-               var final_string = new Buffer
+               var final_string = new FlatBuffer
                for i in explode_string do
                        var alias_resolved = get_variable_name_by_alias(i)
                        if alias_resolved != null then
@@ -1152,7 +1152,7 @@ class Debugger
        # Returns an array containing their content
        fun remove_braces(braces: String): nullable Array[String]
        do
-               var buffer = new Buffer
+               var buffer = new FlatBuffer
 
                var result_array = new Array[String]