@@ -1411,29 +1411,29 @@ def detailed_operands(self) -> List[Tuple[str, MediumLevelILOperandType, str]]:
1411
1411
@dataclass (frozen = True , repr = False , eq = False )
1412
1412
class MediumLevelILSeparateParamList (MediumLevelILInstruction ):
1413
1413
def __repr__ (self ):
1414
- return f"<MediumLevelILSeparateParamList: { self .src } >"
1414
+ return f"<MediumLevelILSeparateParamList: { self .params } >"
1415
1415
1416
1416
@property
1417
- def src (self ) -> List [MediumLevelILInstruction ]:
1417
+ def params (self ) -> List [MediumLevelILInstruction ]:
1418
1418
return self ._get_expr_list (0 , 1 )
1419
1419
1420
1420
@property
1421
1421
def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
1422
- return [("src " , self .src , "List[MediumLevelILInstruction]" )]
1422
+ return [("params " , self .params , "List[MediumLevelILInstruction]" )]
1423
1423
1424
1424
1425
1425
@dataclass (frozen = True , repr = False , eq = False )
1426
1426
class MediumLevelILSharedParamSlot (MediumLevelILInstruction ):
1427
1427
def __repr__ (self ):
1428
- return f"<MediumLevelILSharedParamSlot: { self .src } >"
1428
+ return f"<MediumLevelILSharedParamSlot: { self .params } >"
1429
1429
1430
1430
@property
1431
- def src (self ) -> List [MediumLevelILInstruction ]:
1431
+ def params (self ) -> List [MediumLevelILInstruction ]:
1432
1432
return self ._get_expr_list (0 , 1 )
1433
1433
1434
1434
@property
1435
1435
def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
1436
- return [("src " , self .src , "List[MediumLevelILInstruction]" )]
1436
+ return [("params " , self .params , "List[MediumLevelILInstruction]" )]
1437
1437
1438
1438
1439
1439
@dataclass (frozen = True , repr = False , eq = False )
@@ -1450,12 +1450,12 @@ def detailed_operands(self) -> List[Tuple[str, MediumLevelILOperandType, str]]:
1450
1450
@dataclass (frozen = True , repr = False , eq = False )
1451
1451
class MediumLevelILGoto (MediumLevelILInstruction , Terminal ):
1452
1452
@property
1453
- def dest (self ) -> int :
1454
- return self ._get_int (0 )
1453
+ def dest (self ) -> InstructionIndex :
1454
+ return InstructionIndex ( self ._get_int (0 ) )
1455
1455
1456
1456
@property
1457
1457
def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
1458
- return [("dest" , self .dest , "int " )]
1458
+ return [("dest" , self .dest , "InstructionIndex " )]
1459
1459
1460
1460
1461
1461
@dataclass (frozen = True , repr = False , eq = False )
@@ -2686,19 +2686,19 @@ def condition(self) -> MediumLevelILInstruction:
2686
2686
return self ._get_expr (0 )
2687
2687
2688
2688
@property
2689
- def true (self ) -> int :
2689
+ def true (self ) -> InstructionIndex :
2690
2690
return self ._get_int (1 )
2691
2691
2692
2692
@property
2693
- def false (self ) -> int :
2693
+ def false (self ) -> InstructionIndex :
2694
2694
return self ._get_int (2 )
2695
2695
2696
2696
@property
2697
2697
def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
2698
2698
return [
2699
2699
('condition' , self .condition , 'MediumLevelILInstruction' ),
2700
- ('true' , self .true , 'int ' ),
2701
- ('false' , self .false , 'int ' ),
2700
+ ('true' , self .true , 'InstructionIndex ' ),
2701
+ ('false' , self .false , 'InstructionIndex ' ),
2702
2702
]
2703
2703
2704
2704
0 commit comments