@@ -1411,29 +1411,29 @@ def detailed_operands(self) -> List[Tuple[str, MediumLevelILOperandType, str]]:
14111411@dataclass (frozen = True , repr = False , eq = False )
14121412class MediumLevelILSeparateParamList (MediumLevelILInstruction ):
14131413 def __repr__ (self ):
1414- return f"<MediumLevelILSeparateParamList: { self .src } >"
1414+ return f"<MediumLevelILSeparateParamList: { self .params } >"
14151415
14161416 @property
1417- def src (self ) -> List [MediumLevelILInstruction ]:
1417+ def params (self ) -> List [MediumLevelILInstruction ]:
14181418 return self ._get_expr_list (0 , 1 )
14191419
14201420 @property
14211421 def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
1422- return [("src " , self .src , "List[MediumLevelILInstruction]" )]
1422+ return [("params " , self .params , "List[MediumLevelILInstruction]" )]
14231423
14241424
14251425@dataclass (frozen = True , repr = False , eq = False )
14261426class MediumLevelILSharedParamSlot (MediumLevelILInstruction ):
14271427 def __repr__ (self ):
1428- return f"<MediumLevelILSharedParamSlot: { self .src } >"
1428+ return f"<MediumLevelILSharedParamSlot: { self .params } >"
14291429
14301430 @property
1431- def src (self ) -> List [MediumLevelILInstruction ]:
1431+ def params (self ) -> List [MediumLevelILInstruction ]:
14321432 return self ._get_expr_list (0 , 1 )
14331433
14341434 @property
14351435 def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
1436- return [("src " , self .src , "List[MediumLevelILInstruction]" )]
1436+ return [("params " , self .params , "List[MediumLevelILInstruction]" )]
14371437
14381438
14391439@dataclass (frozen = True , repr = False , eq = False )
@@ -1450,12 +1450,12 @@ def detailed_operands(self) -> List[Tuple[str, MediumLevelILOperandType, str]]:
14501450@dataclass (frozen = True , repr = False , eq = False )
14511451class MediumLevelILGoto (MediumLevelILInstruction , Terminal ):
14521452 @property
1453- def dest (self ) -> int :
1454- return self ._get_int (0 )
1453+ def dest (self ) -> InstructionIndex :
1454+ return InstructionIndex ( self ._get_int (0 ) )
14551455
14561456 @property
14571457 def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
1458- return [("dest" , self .dest , "int " )]
1458+ return [("dest" , self .dest , "InstructionIndex " )]
14591459
14601460
14611461@dataclass (frozen = True , repr = False , eq = False )
@@ -2686,19 +2686,19 @@ def condition(self) -> MediumLevelILInstruction:
26862686 return self ._get_expr (0 )
26872687
26882688 @property
2689- def true (self ) -> int :
2689+ def true (self ) -> InstructionIndex :
26902690 return self ._get_int (1 )
26912691
26922692 @property
2693- def false (self ) -> int :
2693+ def false (self ) -> InstructionIndex :
26942694 return self ._get_int (2 )
26952695
26962696 @property
26972697 def detailed_operands (self ) -> List [Tuple [str , MediumLevelILOperandType , str ]]:
26982698 return [
26992699 ('condition' , self .condition , 'MediumLevelILInstruction' ),
2700- ('true' , self .true , 'int ' ),
2701- ('false' , self .false , 'int ' ),
2700+ ('true' , self .true , 'InstructionIndex ' ),
2701+ ('false' , self .false , 'InstructionIndex ' ),
27022702 ]
27032703
27042704
0 commit comments