@@ -73,7 +73,7 @@ def is_bound(self) -> bool:
7373 return True
7474
7575 @abstractmethod
76- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr : ...
76+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr : ...
7777
7878 @abstractmethod
7979 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]: ...
@@ -100,7 +100,7 @@ def is_bound(self) -> bool:
100100 else :
101101 return True
102102
103- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
103+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
104104 pb = edgir .ValueExpr ()
105105 pb .ref .CopyFrom (ref_map [expr ])
106106 return pb
@@ -128,7 +128,7 @@ def __init__(self, value: bool):
128128 super ().__init__ ()
129129 self .value = value
130130
131- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
131+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
132132 pb = edgir .ValueExpr ()
133133 pb .literal .boolean .val = self .value
134134 return pb
@@ -141,7 +141,7 @@ def __repr__(self) -> str:
141141 def __init__ (self , value : int ):
142142 self .value = value
143143
144- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
144+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
145145 pb = edgir .ValueExpr ()
146146 pb .literal .integer .val = self .value
147147 return pb
@@ -154,7 +154,7 @@ def __repr__(self) -> str:
154154 def __init__ (self , value : Union [float , int ]):
155155 self .value : float = float (value )
156156
157- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
157+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
158158 pb = edgir .ValueExpr ()
159159 pb .literal .floating .val = self .value
160160 return pb
@@ -167,7 +167,7 @@ def __repr__(self) -> str:
167167 def __init__ (self , value : Range ):
168168 self .value = value
169169
170- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
170+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
171171 pb = edgir .ValueExpr ()
172172 pb .literal .range .minimum .floating .val = self .value .lower
173173 pb .literal .range .maximum .floating .val = self .value .upper
@@ -182,7 +182,7 @@ def __init__(self, value: str):
182182 super ().__init__ ()
183183 self .value = value
184184
185- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
185+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
186186 pb = edgir .ValueExpr ()
187187 pb .literal .text .val = self .value
188188 return pb
@@ -196,7 +196,7 @@ def __init__(self, values: Sequence[LiteralBinding]):
196196 super ().__init__ ()
197197 self .values = values
198198
199- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
199+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
200200 pb = edgir .ValueExpr ()
201201 pb .literal .array .SetInParent ()
202202 for value in self .values :
@@ -218,7 +218,7 @@ def __init__(self, lower: FloatExpr, upper: FloatExpr):
218218 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
219219 return chain (self .lower ._get_exprs (), self .lower ._get_exprs ())
220220
221- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
221+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
222222 pb = edgir .ValueExpr ()
223223 pb .binary .op = edgir .BinaryExpr .RANGE
224224 pb .binary .lhs .CopyFrom (self .lower ._expr_to_proto (ref_map ))
@@ -234,7 +234,7 @@ def __init__(self, values: Sequence[ConstraintExpr]):
234234 super ().__init__ ()
235235 self .values = values
236236
237- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
237+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
238238 pb = edgir .ValueExpr ()
239239 pb .array .SetInParent ()
240240 for value in self .values :
@@ -267,7 +267,7 @@ def get_subexprs(self) -> Iterable[Union[ConstraintExpr, BasePort]]:
267267 return chain (self .src ._get_exprs ())
268268
269269 def expr_to_proto (self , expr : ConstraintExpr ,
270- ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
270+ ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
271271 pb = edgir .ValueExpr ()
272272 pb .unary .op = self .op_map [self .op ]
273273 pb .unary .val .CopyFrom (self .src ._expr_to_proto (ref_map ))
@@ -303,7 +303,7 @@ def get_subexprs(self) -> Iterable[Union[ConstraintExpr, BasePort]]:
303303 return chain (self .src ._get_exprs ())
304304
305305 def expr_to_proto (self , expr : ConstraintExpr ,
306- ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
306+ ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
307307 pb = edgir .ValueExpr ()
308308 pb .unary_set .op = self .op_map [self .op ]
309309 pb .unary_set .vals .CopyFrom (self .src ._expr_to_proto (ref_map ))
@@ -352,7 +352,7 @@ def __init__(self,
352352 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
353353 return chain (self .lhs ._get_exprs (), self .rhs ._get_exprs ())
354354
355- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
355+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
356356 pb = edgir .ValueExpr ()
357357 pb .binary .op = self .op_map [self .op ]
358358 pb .binary .lhs .CopyFrom (self .lhs ._expr_to_proto (ref_map ))
@@ -381,7 +381,7 @@ def __init__(self,
381381 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
382382 return chain (self .lhset ._get_exprs (), self .rhs ._get_exprs ())
383383
384- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
384+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
385385 pb = edgir .ValueExpr ()
386386 pb .binary_set .op = self .op_map [self .op ]
387387 pb .binary_set .lhset .CopyFrom (self .lhset ._expr_to_proto (ref_map ))
@@ -402,7 +402,7 @@ def __init__(self, cond: BoolExpr, then_val: ConstraintExpr, else_val: Constrain
402402 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
403403 return chain (self .cond ._get_exprs (), self .then_val ._get_exprs (), self .else_val ._get_exprs ())
404404
405- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
405+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
406406 pb = edgir .ValueExpr ()
407407 pb .ifThenElse .cond .CopyFrom (self .cond ._expr_to_proto (ref_map ))
408408 pb .ifThenElse .tru .CopyFrom (self .then_val ._expr_to_proto (ref_map ))
@@ -421,7 +421,7 @@ def __init__(self, src: Port):
421421 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
422422 return [self .src ]
423423
424- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
424+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
425425 pb = edgir .ValueExpr ()
426426 pb .ref .CopyFrom (ref_map [self .src ])
427427 pb .ref .steps .add ().reserved_param = edgir .IS_CONNECTED
@@ -438,7 +438,7 @@ def __init__(self, src: Union[BaseBlock, BasePort]):
438438 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
439439 return []
440440
441- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
441+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
442442 pb = edgir .ValueExpr ()
443443 pb .ref .CopyFrom (ref_map [self .src ])
444444 pb .ref .steps .add ().reserved_param = edgir .NAME
@@ -456,7 +456,7 @@ def __init__(self, src: Vector):
456456 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
457457 return [self .src ]
458458
459- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
459+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
460460 pb = edgir .ValueExpr ()
461461 pb .ref .CopyFrom (ref_map [self .src ])
462462 pb .ref .steps .add ().reserved_param = edgir .LENGTH
@@ -474,7 +474,7 @@ def __init__(self, src: Vector):
474474 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
475475 return [self .src ]
476476
477- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
477+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
478478 pb = edgir .ValueExpr ()
479479 pb .ref .CopyFrom (ref_map [self .src ])
480480 pb .ref .steps .add ().reserved_param = edgir .ALLOCATED
@@ -484,7 +484,7 @@ def expr_to_proto(self, expr: ConstraintExpr, ref_map: IdentityDict[Refable, edg
484484class AssignBinding (Binding ):
485485 # Convenience method to make an assign expr without the rest of this proto infrastructure
486486 @staticmethod
487- def make_assign (target : ConstraintExpr , value : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
487+ def make_assign (target : ConstraintExpr , value : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
488488 pb = edgir .ValueExpr ()
489489 pb .assign .dst .CopyFrom (ref_map [target ])
490490 pb .assign .src .CopyFrom (value ._expr_to_proto (ref_map ))
@@ -501,5 +501,5 @@ def __init__(self, target: ConstraintExpr, value: ConstraintExpr):
501501 def get_subexprs (self ) -> Iterable [Union [ConstraintExpr , BasePort ]]:
502502 return [self .value ]
503503
504- def expr_to_proto (self , expr : ConstraintExpr , ref_map : IdentityDict [ Refable , edgir . LocalPath ] ) -> edgir .ValueExpr :
504+ def expr_to_proto (self , expr : ConstraintExpr , ref_map : Refable . RefMapType ) -> edgir .ValueExpr :
505505 return self .make_assign (self .target , self .value , ref_map )
0 commit comments