Skip to content
Snippets Groups Projects
Commit 85b35137 authored by Frederik Hennig's avatar Frederik Hennig
Browse files

renamed substitutir

parent 994bcc76
Branches
Tags
No related merge requests found
Pipeline #58486 failed
......@@ -20,7 +20,7 @@ class PsAstTransformer(ABC):
return node
class PsSymbolsSubstitutor(PsAstTransformer):
class PsVariablesSubstitutor(PsAstTransformer):
def __init__(self, subs_dict: Dict[PsTypedVariable, Expression]):
self._subs_dict = subs_dict
self._mapper = CachedSubstitutionMapper(lambda s: self._subs_dict.get(s, None))
......@@ -51,4 +51,4 @@ class PsSymbolsSubstitutor(PsAstTransformer):
def ast_subs(node: PsAstNode, subs_dict: dict):
return PsSymbolsSubstitutor(subs_dict).subs(node)
return PsVariablesSubstitutor(subs_dict).subs(node)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment