将简单表达式转换为jsonlogic格式

Question

使用Python，我需要将表达式转换为 jsonlogic 格式。诸如布尔表达的表达，如果其他 /三元表达式等。

如何实现这一目标？

ps我看到我们有一个js-to-json-logic 库在JavaScript中相同。找不到其等效的Python库。

示例1：

输入：

((var001 == "Y"))?1:((var001 == "N"))?0:false

输出：

{
"if": [
  {
    "==": [
      {
        "var": "var001"
      },
      "Y"
    ]
  },
  1,
  {
    "if": [
      {
        "==": [
          {
            "var": "var001"
          },
          "N"
        ]
      },
      0,
      false
    ]
  }
]
}

---

示例2：

输入：

CustomFunc(var123, "%Y-%d", (var123 == "N" ? 0 : 123))

注意：输入可以是自定义函数（具有n个参数）的组合，并且这些参数中的任何一个都可以是单个属性或进一步表达式的组合。

输出：

{
  "CustomFunc": [
    {
      "var": "var123"
    },
    "%Y-%d",
    {
    "if": [
        {
        "==": [
                {
                    "var": "var123"
                },
                "N"
            ]
        },
        0,
        123
    ]
    }
  ]
}

---

示例3：

输入：

9 + 2 - 6 * 4

按Opertor优先级和括号的输出

Answer 1

Pyparsing的InfixNotation方法将允许定义一元，二进制和三元运算符（例如您的expr？true_value：false_value operations）。该代码将解析您的表达式：

import pyparsing as pp
ppc = pp.common

bool_constant = pp.oneOf("true false")
integer = ppc.integer()
ident = ppc.identifier()
qs = pp.quotedString()

operand = qs | integer | bool_constant | ident

comparison_operator = pp.oneOf("< > >= <=")
eq_operator = pp.oneOf("== !=")

expr = pp.infixNotation(operand,
                        [
                            (comparison_operator, 2, pp.opAssoc.LEFT),
                            (eq_operator, 2, pp.opAssoc.LEFT),
                            (('?', ':'), 3, pp.opAssoc.LEFT),
                        ])

expr.runTests("""\
                ((var001 == "Y"))?1:((var001 == "N"))?0:false
                """
              )

让解析器是战斗的前半部分。 这个答案情况是评估结果，但是对于您来说，您可能想执行这些类别的AS_JSONLOGIC（）方法，以散发JSONLOGIC格式的等效表格。

编辑：

好的，只向您展示解析器可能没有什么帮助。因此，这是带有添加类的解析器及其各自的AS_JSONLOGIC（）方法。

import pyparsing as pp
ppc = pp.common

bool_constant = pp.oneOf("true false")
integer = ppc.integer()
ident = ppc.identifier()
qs = pp.quotedString()

class Node:
    def __init__(self, tokens):
        self._tokens = tokens
        self.assign_vars()

    def assign_vars(self):
        pass

    def as_jsonlogic(self) -> str:
        raise NotImplementedError()

class Verbatim(Node):
    def as_jsonlogic(self) -> str:
        return str(self._tokens[0])

class Identifier(Node):
    def as_jsonlogic(self) -> str:
        return f'{{ "var": "{self._tokens[0]}" }}'

class Comparison(Node):
    def assign_vars(self):
        self.oper1, self.operator, self.oper2 = self._tokens[0]

    def as_jsonlogic(self) -> str:
        return f'{{ "{self.operator}" : [ {self.oper1.as_jsonlogic()}, {self.oper2.as_jsonlogic()} ]  }}'

class Ternary(Node):
    def assign_vars(self):
        self.condition, _, self.true_value, _, self.false_value = self._tokens[0]

    def as_jsonlogic(self) -> str:
        return f'{{ "if" : [ {self.condition.as_jsonlogic()}, {self.true_value.as_jsonlogic()}, {self.false_value.as_jsonlogic()} ]  }}'

# add the classes a parse actions, so that each expression gets converted to a Node subclass instance
qs.add_parse_action(Verbatim)
integer.add_parse_action(Verbatim)
bool_constant.add_parse_action(Verbatim)
ident.add_parse_action(Identifier)

operand = qs | integer | bool_constant | ident

comparison_operator = pp.oneOf("< > >= <=")
eq_operator = pp.oneOf("== !=")

# add parse actions to each level of the infixNotation    
expr = pp.infixNotation(operand,
                        [
                            (comparison_operator, 2, pp.opAssoc.LEFT, Comparison),
                            (eq_operator, 2, pp.opAssoc.LEFT, Comparison),
                            (('?', ':'), 3, pp.opAssoc.RIGHT, Ternary),
                        ])

# use runTests to run some tests, with a post_parse function
# to call as_jsonlogic() on the parsed result
expr.runTests("""\
    "Y"
    false
    100
    var001
    (var001 == 100)
    ((var001 == "Y"))?1:((var001 == "N"))?0:false
    """, post_parse=lambda s, r: r[0].as_jsonlogic())

印刷品：

"Y"
"Y"

false
false

100
100

var001
{ "var": "var001" }

(var001 == 100)
{ "==" : [ { "var": "var001" }, 100 ]  }

((var001 == "Y"))?1:((var001 == "N"))?0:false
{ "if" : [ { "==" : [ { "var": "var001" }, "Y" ]  }, 1, { "if" : [ { "==" : [ { "var": "var001" }, "N" ]  }, 0, false ]  } ]  }

我将漂亮的凹痕留给您。