From bdc1e12d82eef0a24f157cb86dcae5e9d967f45f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 3 Jun 2012 20:04:27 -0400
Subject: [PATCH] Add Stringifier.map_if().
---
pymbolic/mapper/stringifier.py | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/pymbolic/mapper/stringifier.py b/pymbolic/mapper/stringifier.py
index 554ec80..1311d21 100644
--- a/pymbolic/mapper/stringifier.py
+++ b/pymbolic/mapper/stringifier.py
@@ -195,6 +195,12 @@ class StringifyMapper(pymbolic.mapper.RecursiveMapper):
return self.format("%s(%s)",
type_name, self.rec(expr.child, PREC_NONE))
+ def map_if(self, expr, enclosing_prec):
+ return "If(%s, %s, %s)" % (
+ self.rec(expr.condition, PREC_NONE),
+ self.rec(expr.then, PREC_NONE),
+ self.rec(expr.else_, PREC_NONE))
+
def map_if_positive(self, expr, enclosing_prec):
return "If(%s > 0, %s, %s)" % (
self.rec(expr.criterion, PREC_NONE),
--
GitLab