diff options
Diffstat (limited to 'python/mediumlevelil.py')
| -rw-r--r-- | python/mediumlevelil.py | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/python/mediumlevelil.py b/python/mediumlevelil.py index 9fb36c55..d4aef4ce 100644 --- a/python/mediumlevelil.py +++ b/python/mediumlevelil.py @@ -3018,43 +3018,43 @@ class MediumLevelILStoreStructSsa(MediumLevelILInstruction, Store, SSA): @dataclass(frozen=True, repr=False, eq=False) class MediumLevelILAssert(MediumLevelILInstruction): - @property - def src(self) -> variable.Variable: - return self._get_var(0) + @property + def src(self) -> variable.Variable: + return self._get_var(0) - @property - def constraint(self) -> variable.PossibleValueSet: - return self._get_constraint(1) + @property + def constraint(self) -> variable.PossibleValueSet: + return self._get_constraint(1) @dataclass(frozen=True, repr=False, eq=False) class MediumLevelILAssertSsa(MediumLevelILInstruction, SSA): - @property - def src(self) -> SSAVariable: - return self._get_var_ssa(0, 1) + @property + def src(self) -> SSAVariable: + return self._get_var_ssa(0, 1) - @property - def constraint(self) -> variable.PossibleValueSet: - return self._get_constraint(2) + @property + def constraint(self) -> variable.PossibleValueSet: + return self._get_constraint(2) @dataclass(frozen=True, repr=False, eq=False) class MediumLevelILForceVer(MediumLevelILInstruction): - @property - def dest(self) -> variable.Variable: - return self._get_var(0) + @property + def dest(self) -> variable.Variable: + return self._get_var(0) - @property - def src(self) -> variable.Variable: - return self._get_var(1) + @property + def src(self) -> variable.Variable: + return self._get_var(1) @dataclass(frozen=True, repr=False, eq=False) class MediumLevelILForceVerSsa(MediumLevelILInstruction, SSA): - @property - def dest(self) -> SSAVariable: - return self._get_var_ssa(0, 1) + @property + def dest(self) -> SSAVariable: + return self._get_var_ssa(0, 1) - @property - def src(self) -> SSAVariable: - return self._get_var_ssa(2, 3) + @property + def src(self) -> SSAVariable: + return self._get_var_ssa(2, 3) |