DM-16867: Move expr_parser from pipe_supertask to daf_butler

python/lsst/daf/butler/exprParser/__init__.py

@@ -0,0 +1,3 @@
+from .exprTree import *
+from .parserLex import *
+from .parserYacc import *

python/lsst/daf/butler/exprParser/exprTree.py

@@ -0,0 +1,243 @@
+# This file is part of daf_butler.
+#
+# Developed for the LSST Data Management System.
+# This product includes software developed by the LSST Project
+# (https://www.lsst.org).
+# See the COPYRIGHT file at the top-level directory of this distribution
+# for details of code ownership.
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <https://www.gnu.org/licenses/>.
+
+"""Module which defines classes for intermediate representation of the
+expression tree produced by parser.
+
+The purpose of the intermediate representation is to be able to generate
+same expression as a part of SQL statement with the minimal changes. We
+will need to be able to replace identifiers in original expression with
+database-specific identifiers but everything else will probably be sent
+to database directly.
+"""
+
+from __future__ import absolute_import, division, print_function
+
+__all__ = ['Node', 'BinaryOp', 'Identifier', 'IsIn', 'NumericLiteral',
+           'Parens', 'StringLiteral', 'UnaryOp']
+
+# -------------------------------
+#  Imports of standard modules --
+# -------------------------------
+
+# -----------------------------
+#  Imports for other modules --
+# -----------------------------
+
+# ----------------------------------
+#  Local non-exported definitions --
+# ----------------------------------
+
+# ------------------------
+#  Exported definitions --
+# ------------------------
+
+
+class Node:
+    """Base class of IR node in expression tree.
+
+    The purpose of this class is to simplify visiting of the
+    all nodes in a tree. It has a list of sub-nodes of this
+    node so that visiting code can navigate whole tree without
+    knowing exct types of each node.
+
+    Attributes
+    ----------
+    children : tuple of :py:class:`Node`
+        Possibly empty list of sub-nodes.
+    """
+    def __init__(self, children=None):
+        self.children = tuple(children or ())
+
+    def visitDepthFirst(self, callable, *args):
+        """Visit all nodes in a tree in  depth-first manner.
+
+        Parameters
+        ----------
+        callable : object
+            Callable object which will be called for each node in a tree
+            with node as first argument plus all arguments in `args`
+        args :
+            Extra arguments to pass to callable
+        """
+        for child in self.children:
+            child.visitDepthFirst(callable, *args)
+        callable(self, *args)
+
+    def visitBreadthFirst(self, callable, *args):
+        """Visit all nodes in a tree in  breadth-first manner.
+
+        Parameters
+        ----------
+        callable : object
+            Callable object which will be called for each node in a tree
+            with node as first argument plus all arguments in `args`
+        args :
+            Extra arguments to pass to callable
+        """
+        callable(self, *args)
+        for child in self.children:
+            child.visitBreadthFirst(callable, *args)
+
+
+class BinaryOp(Node):
+    """Node representing binary operator.
+
+    This class is used for representing all binary operators including
+    arithmetic and boolean operations.
+
+    Attributes
+    ----------
+    lhs : Node
+        Left-hand side of the operation
+    rhs : Node
+        Right-hand side of the operation
+    op : str
+        Operator name, e.g. '+', 'OR'
+    """
+    def __init__(self, lhs, op, rhs):
+        Node.__init__(self, (lhs, rhs))
+        self.lhs = lhs
+        self.op = op
+        self.rhs = rhs
+
+    def __str__(self):
+        return "{lhs} {op} {rhs}".format(**vars(self))
+
+
+class UnaryOp(Node):
+    """Node representing unary operator.
+
+    This class is used for representing all unary operators including
+    arithmetic and boolean operations.
+
+    Attributes
+    ----------
+    op : str
+        Operator name, e.g. '+', 'NOT'
+    operand : Node
+        Operand.
+    """
+    def __init__(self, op, operand):
+        Node.__init__(self, (operand,))
+        self.op = op
+        self.operand = operand
+
+    def __str__(self):
+        return "{op} {operand}".format(**vars(self))
+
+
+class StringLiteral(Node):
+    """Node representing string literal.
+
+    Attributes
+    ----------
+    value : str
+        Literal value.
+    """
+    def __init__(self, value):
+        Node.__init__(self)
+        self.value = value
+
+    def __str__(self):
+        return "'{value}'".format(**vars(self))
+
+
+class NumericLiteral(Node):
+    """Node representing string literal.
+
+    We do not convert literals to numbers, their text representation
+    is stored literally.
+
+    Attributes
+    ----------
+    value : str
+        Literal value.
+    """
+    def __init__(self, value):
+        Node.__init__(self)
+        self.value = value
+
+    def __str__(self):
+        return "{value}".format(**vars(self))
+
+
+class Identifier(Node):
+    """Node representing identifier.
+
+    Value of the identifier is its name, it may contain zero or one dot
+    character.
+
+    Attributes
+    ----------
+    name : str
+        Identifier name.
+    """
+    def __init__(self, name):
+        Node.__init__(self)
+        self.name = name
+
+    def __str__(self):
+        return "{name}".format(**vars(self))
+
+
+class IsIn(Node):
+    """Node representing IN or NOT IN expression.
+
+    Attributes
+    ----------
+    lhs : Node
+        Left-hand side of the operation
+    values : list of Node
+        List of values on the right side.
+    not_in : bool
+        If `True` then it is NOT IN expression, otherwise it is IN expression.
+    """
+    def __init__(self, lhs, values, not_in=False):
+        Node.__init__(self, (lhs,) + tuple(values))
+        self.lhs = lhs
+        self.values = values
+        self.not_in = not_in
+
+    def __str__(self):
+        values = ", ".join(str(x) for x in self.values)
+        not_in = ""
+        if self.not_in:
+            not_in = "NOT "
+        return "{lhs} {not_in}IN ({values})".format(lhs=self.lhs,
+                                                    not_in=not_in,
+                                                    values=values)
+
+
+class Parens(Node):
+    """Node representing parenthesized expression.
+
+    Attributes
+    ----------
+    expr : Node
+        Expression inside parentheses.
+    """
+    def __init__(self, expr):
+        Node.__init__(self, (expr,))
+        self.expr = expr
+
+    def __str__(self):
+        return "({expr})".format(**vars(self))