From bf8889f4a45911b56af07d17b8abe97b7bb583cd Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 24 Oct 2014 18:54:37 +0200
Subject: [PATCH] Extract string literals in degenerate cases
---
src/main/scala/leon/frontends/scalac/ASTExtractors.scala | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index 0ffd0fc70..559dc93a0 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -154,9 +154,11 @@ trait ASTExtractors {
object ExStringLiteral {
- def unapply(tree: Apply): Option[String] = tree match {
+ def unapply(tree: Tree): Option[String] = tree match {
case Apply(ExSelected("leon", "lang", "string", "package", "strToStr"), (str: Literal) :: Nil) =>
Some(str.value.stringValue)
+ case Literal(c @ Constant(i)) if c.tpe == StringClass.tpe =>
+ Some(c.stringValue)
case _ =>
None
}
--
GitLab