Lib.Krakatau.ssa.ssa_ops.checkcast.pyc Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of krakatau-lib Show documentation
Show all versions of krakatau-lib Show documentation
Assembler, disassebmler, decompiler and compiler tools library for Java.
?
?HRc @ sr d d l m Z d d l m Z m Z m Z d d l m Z m Z d e f d ? ? YZ d e f d ? ? YZ
d S(
i ( t BaseOpi ( t objtypest excepttypest ssa_types( t ObjectConstraintt
IntConstraintt CheckCastc B s e Z d ? Z d ? Z RS( c C s_ t t | ? j | | d t ?| j | _ | | _ t j | j g t j f d t ?| _
d S( Nt
makeExceptiont nonnull( t superR t __init__t Truet envt target_ttR t fromTopsR t ClassCastt outExceptionCons( t selft parentt targett args( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR
s c C sc x\ | j j | j j BD]D } t j | j | | j ? s | j ? sK t ? d | j
d f Sq Wd S( N( NNN( t typest superst exactR t isSubtypeR R
t isConstNullt AssertionErrort NoneR ( R t xt top( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyt propagateConstraints s
( t __name__t
__module__R
R ( ( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR s t
InstanceOfc B s e Z d ? Z d ? Z RS( c C sM t t | ? j | | ? | j | _ | | _ | j t j d | ?| _ d S( Nt origin( R R! R
R R
t makeVariableR t SSA_INTt rval( R R R R ( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR
s c C s" t j d d d ? } | d d f S( Ni i i ( R t rangeR ( R R t rvalcons( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR s ( R R R
R ( ( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR! s N( t baseR t R R R t constraintsR R R R! ( ( ( sE /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyt s
© 2015 - 2025 Weber Informatics LLC | Privacy Policy