-redef class RopeBuffer
- redef fun internal_to_dot: String
- do
- var s = "n{object_id} [label = {length}];\n"
- s += "n{object_id} -> n{str.object_id} [label = \"str\"];\n"
- s += str.internal_to_dot
- s += "n{object_id} -> n{ns.object_id} [label = \"ns\"];\n"
- s += "n{ns.object_id}[label = \"NativeString\", content=\"{ns.to_s_with_length(rpos)}\"];\n"
- return s
- end
-end
-