Package bap :: Module bir :: Class Call

Class Call

object --+            
         |            
   adt.ADT --+        
             |        
          Term --+    
                 |    
               Jmp --+
                     |
                    Call

Call(id,attrs,(calee,returns)) a transfer of control flow to another subroutine

Instance Methods

[hide private]

Inherited from adt.ADT: __cmp__, __init__, __repr__

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties

[hide private]

calee
call destination

returns
a basic block to which a call will return if ever

Inherited from Jmp: cond, target

Inherited from Term: attrs, id

Inherited from object: __class__

Property Details

[hide private]

calee

call destination

Get Method:: unreachable.calee(self) - call destination

returns

a basic block to which a call will return if ever

Get Method:: unreachable.returns(self) - a basic block to which a call will return if ever