about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-02-19 14:06:54 -0800
committerKartik K. Agaram <vc@akkartik.com>2016-02-19 14:06:54 -0800
commit2cdf4a049f282d07273d2ce83853ee315be6b361 (patch)
tree9a858d02fe69ca7dd9d8a52070a2bfca9ed3b73d
parente9eb8be06417b17bda9ad2a95a14e58793a4b28f (diff)
downloadmu-2cdf4a049f282d07273d2ce83853ee315be6b361.tar.gz
2688
-rw-r--r--010vm.cc22
1 files changed, 11 insertions, 11 deletions
diff --git a/010vm.cc b/010vm.cc
index 89409108..0d244090 100644
--- a/010vm.cc
+++ b/010vm.cc
@@ -492,19 +492,19 @@ string debug_string(const string_tree* property) {
     // abbreviate a single-node tree to just its contents
     out << '"' << property->value << '"';
   else
-    dump_property_tree(property, out);
+    dump_debug(property, out);
   return out.str();
 }
 
-void dump_property_tree(const string_tree* property, ostream& out) {
+void dump_debug(const string_tree* property, ostream& out) {
   out << "<";
   if (property->left)
-    dump_property_tree(property->left, out);
+    dump_debug(property->left, out);
   else
     out << '"' << property->value << '"';
   out << " : ";
   if (property->right)
-    dump_property_tree(property->right, out);
+    dump_debug(property->right, out);
   else
     out << "<>";
   out << ">";
@@ -515,27 +515,27 @@ string debug_string(const type_tree* type) {
   if (!type) return "NULLNULLNULL";  // should never happen
   ostringstream out;
   if (!type->left && !type->right)
-    dump_type_name(type->value, out);
+    dump(type->value, out);
   else
-    dump_types_tree(type, out);
+    dump_debug(type, out);
   return out.str();
 }
 
-void dump_types_tree(const type_tree* type, ostream& out) {
+void dump_debug(const type_tree* type, ostream& out) {
   out << "<";
   if (type->left)
-    dump_types_tree(type->left, out);
+    dump_debug(type->left, out);
   else
-    dump_type_name(type->value, out);
+    dump(type->value, out);
   out << " : ";
   if (type->right)
-    dump_types_tree(type->right, out);
+    dump_debug(type->right, out);
   else
     out << "<>";
   out << ">";
 }
 
-void dump_type_name(type_ordinal type, ostream& out) {
+void dump(type_ordinal type, ostream& out) {
   if (contains_key(Type, type))
     out << get(Type, type).name;
   else