Package bap :: Module bir :: Class Jmp

Class Jmp

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

Known Subclasses:

Call
, Exn
, Goto
, Ret

Jmp(id,attrs,cond,target) base class for jump terms

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]

cond
guard condition

target
jump target

Inherited from Term: attrs, id

Inherited from object: __class__

Property Details

[hide private]

cond

guard condition

Get Method:: unreachable.cond(self) - guard condition

target

jump target

Get Method:: unreachable.target(self) - jump target