Package vivisect :: Package symboliks :: Module common :: Class o_sextend
[hide private]
[frames] | no frames]

Class o_sextend

source code


Instance Methods [hide private]
 
__init__(self, cursz, tgtsz, v1) source code
 
__repr__(self) source code
 
__str__(self) source code
 
getWidth(self) source code
 
walkTree(self, cb, ctx=None, walktag=None) source code
 
_solve(self, emu=None)
Produce a reproducable answer based on the current state if provided.
source code
 
_reduce(self, emu=None)
Algebraic reduction and operator folding where possible.
source code
 
update(self, emu)
Return an updated representation for this symbolik state based on the given emulator.
source code
 
_op_reduce(self, v1, v1val, cursz, curszval, tgtsz, tgtszval, emu=None) source code
 
reverse(self) source code
 
isDiscrete(self, emu=None)
Returns True if the given symbolik (from here down) does *not* depend on any variables or runtime values.
source code

Inherited from SymbolikBase: __add__, __and__, __div__, __eq__, __hash__, __iadd__, __iand__, __idiv__, __ilshift__, __imod__, __imul__, __ior__, __irshift__, __isub__, __ixor__, __lshift__, __mod__, __mul__, __ne__, __or__, __pow__, __rshift__, __sub__, __xor__, clearCache, reduce, solve

Inherited from SymbolikBase (private): _clearCache

Class Variables [hide private]

Inherited from SymbolikBase: idgen

Method Details [hide private]

__init__(self, cursz, tgtsz, v1)
(Constructor)

source code 
Overrides: SymbolikBase.__init__

walkTree(self, cb, ctx=None, walktag=None)

source code 
Overrides: SymbolikBase.walkTree

_solve(self, emu=None)

source code 

Produce a reproducable answer based on the current state if provided.

Overrides: SymbolikBase._solve
(inherited documentation)

_reduce(self, emu=None)

source code 

Algebraic reduction and operator folding where possible. (INLINE!)

Overrides: SymbolikBase._reduce
(inherited documentation)

update(self, emu)

source code 

Return an updated representation for this symbolik state based on the given emulator. This is *NOT* inline.

Overrides: SymbolikBase.update
(inherited documentation)

isDiscrete(self, emu=None)

source code 

Returns True if the given symbolik (from here down) does *not* depend on any variables or runtime values.

Overrides: SymbolikBase.isDiscrete
(inherited documentation)