Lib.Krakatau.ssa.ssa_ops.invoke.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 @ sv d d l m Z d d l m Z d d l m Z m Z d d l m Z m Z d d l m
Z
d e f d ? ? YZ d
S( i ( t BaseOpi ( t parseMethodDescriptori ( t verifierToSSATypet
SSA_OBJECT( t objtypest constraints( t ObjectConstraintt Invokec B s e Z d ? Z d ? Z RS( c C s? t t | ? j | | g | d t d t ?| | _ | \ | _ | _ | _ | | _ t | j ? d } d } | r? t | d ? } t j
| d ? } t | ? }
| j | d | ?| _ | j g d g |
d | _ n d g | _ | _ | j } t j | _ t j | t j g g ? | _ | j d k r?| j j t k rwt j | | ? \ } }
t j | | |
? | _ q?t j | | j ? | _ n d S( Nt
makeExceptiont makeMonadi i t origin( t superR t __init__t Truet instructiont targett namet desct
isThisCtorR t NoneR R t verifierToSynthetict lent makeVariablet rvalt returnedt envR t DUMMYt moutR t fromTopst ThrowableTTt eoutt typeR t declTypeToActualt routt fromVariable( t selft parentt instrt infot argst monadR t vtypest dtypet stypet catR t superst exact( ( sB /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/invoke.pyR s* , ! c G s8 | j d k r" d | j | j f S| j | j | j f S( N( R R R R R! ( R# t incons( ( sB /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/invoke.pyt propagateConstraints) s ( t __name__t
__module__R R0 ( ( ( sB /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/invoke.pyR s N( t baseR t verifier.descriptorsR t ssa_typesR R t R R R R ( ( ( sB /home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/invoke.pyt s
© 2015 - 2025 Weber Informatics LLC | Privacy Policy