char_stream -> chars_to_stream

mthom#2968 (comment)

Author: james.j.tolton@toltontechnology.ai

src/lib/charsio.pl

@@ -15,9 +15,9 @@
                     read_term_from_chars/3,
                     write_term_to_chars/3,
                     chars_base64/3,
-                    char_stream/1,
-                    char_stream/2,
-                    char_stream/3,
+                    chars_to_stream/1,
+                    chars_to_stream/2,
+                    chars_to_stream/3,
                     put_chars/2]).
 
 :- use_module(library(dcgs)).

src/tests/charsio.pl

@@ -8,7 +8,7 @@
 
 
 test("can create string char stream",
-        (   char_stream(Stream),
+        (   chars_to_stream(Stream),
             put_char(Stream, a),
             get_char(Stream, C),
             C=a
@@ -17,7 +17,7 @@
 
 test("can spell simple word with char stream",
      (
-      char_stream(Stream),
+      chars_to_stream(Stream),
       put_char(Stream, c),
       put_char(Stream, a),
       put_char(Stream, t),
@@ -27,7 +27,7 @@
 
 test("can read from and write to char stream",
      (
-      char_stream(Stream),
+      chars_to_stream(Stream),
       put_char(Stream, c),
       put_char(Stream, a),
       get_char(Stream, _C),
@@ -42,7 +42,7 @@
      (
       Phrase="can convert string to char stream",
       length(Phrase, N),
-      char_stream(Phrase, Stream),
+      chars_to_stream(Phrase, Stream),
       get_n_chars(Stream, N, Chars),
       Phrase=Chars
      )
@@ -52,7 +52,7 @@
      (
       Phrase="can convert string to char stream",
       length(Phrase, N),
-      char_stream(Phrase, Stream, []),
+      chars_to_stream(Phrase, Stream, []),
       get_n_chars(Stream, N, Chars),
       Phrase=Chars
      )).