Module opshin.rewrite.rewrite_empty_lists

Expand source code
import re
from copy import copy
from typing import Optional
from enum import Enum

from ..util import CompilingNodeTransformer
from ..typed_ast import *

"""
Replaces empty lists with UPLC constants of empty lists
"""


class RewriteEmptyLists(CompilingNodeTransformer):
    step = "Rewrite empty lists to uplc empty lists"

    def visit_List(self, node: TypedList):
        if node.elts:
            return node
        return RawPlutoExpr(typ=node.typ, expr=empty_list(node.typ.typ.typ))

    def visit_Constant(self, node: TypedConstant):
        if node.value != []:
            return node
        return RawPlutoExpr(typ=node.typ, expr=empty_list(node.typ.typ.typ))

Classes

class RewriteEmptyLists

A :class:NodeVisitor subclass that walks the abstract syntax tree and allows modification of nodes.

The NodeTransformer will walk the AST and use the return value of the visitor methods to replace or remove the old node. If the return value of the visitor method is None, the node will be removed from its location, otherwise it is replaced with the return value. The return value may be the original node in which case no replacement takes place.

Here is an example transformer that rewrites all occurrences of name lookups (foo) to data['foo']::

class RewriteName(NodeTransformer):

   def visit_Name(self, node):
       return Subscript(
           value=Name(id='data', ctx=Load()),
           slice=Constant(value=node.id),
           ctx=node.ctx
       )

Keep in mind that if the node you're operating on has child nodes you must either transform the child nodes yourself or call the :meth:generic_visit method for the node first.

For nodes that were part of a collection of statements (that applies to all statement nodes), the visitor may also return a list of nodes rather than just a single node.

Usually you use the transformer like this::

node = YourTransformer().visit(node)

Expand source code
class RewriteEmptyLists(CompilingNodeTransformer):
    step = "Rewrite empty lists to uplc empty lists"

    def visit_List(self, node: TypedList):
        if node.elts:
            return node
        return RawPlutoExpr(typ=node.typ, expr=empty_list(node.typ.typ.typ))

    def visit_Constant(self, node: TypedConstant):
        if node.value != []:
            return node
        return RawPlutoExpr(typ=node.typ, expr=empty_list(node.typ.typ.typ))

Ancestors

Class variables

var step

Methods

def visit(self, node)

Inherited from: CompilingNodeTransformer.visit

Visit a node.

def visit_Constant(self, node: TypedConstant)
Expand source code
def visit_Constant(self, node: TypedConstant):
    if node.value != []:
        return node
    return RawPlutoExpr(typ=node.typ, expr=empty_list(node.typ.typ.typ))
def visit_List(self, node: TypedList)
Expand source code
def visit_List(self, node: TypedList):
    if node.elts:
        return node
    return RawPlutoExpr(typ=node.typ, expr=empty_list(node.typ.typ.typ))