From 2cbde59c3d5e49894dcb5a169829837c79a4f508 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Mon, 24 Oct 2016 14:24:47 +0200
Subject: [PATCH] Better id.asString
---
src/main/scala/inox/ast/Identifier.scala | 4 ++++
src/main/scala/inox/ast/Printers.scala | 3 +--
2 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/inox/ast/Identifier.scala b/src/main/scala/inox/ast/Identifier.scala
index 5ca58353d..b9eb9abdd 100644
--- a/src/main/scala/inox/ast/Identifier.scala
+++ b/src/main/scala/inox/ast/Identifier.scala
@@ -39,6 +39,10 @@ class Identifier (
(that.name, that.id, that.globalId)
)
}
+
+ def asString(implicit opts: Trees#PrinterOptions): String = {
+ if (opts.printUniqueIds) uniqueName else toString
+ }
}
object FreshIdentifier {
diff --git a/src/main/scala/inox/ast/Printers.scala b/src/main/scala/inox/ast/Printers.scala
index 14a811659..bd013e591 100644
--- a/src/main/scala/inox/ast/Printers.scala
+++ b/src/main/scala/inox/ast/Printers.scala
@@ -518,8 +518,7 @@ trait Printers {
def asString(obj: Any)(implicit opts: PrinterOptions): String = obj match {
case tree: Tree => prettyPrint(tree, opts)
- case id: Identifier => if (opts.printUniqueIds) id.uniqueName else id.toString
+ case id: Identifier => id.asString
case _ => obj.toString
}
-
}
--
GitLab