```
public class Baf
extends Object
```

Constructor Summary

Constructors
Constructor Description

Baf(Singletons.Global g)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static String`	`bafDescriptorOf(Type type)`
`static Type`	`getDescriptorTypeOf(Type opType)`
`AddInst`	`newAddInst(Type opType)`
`AndInst`	`newAndInst(Type opType)`
`ArrayLengthInst`	`newArrayLengthInst()`
`ArrayReadInst`	`newArrayReadInst(Type opType)`
`ArrayWriteInst`	`newArrayWriteInst(Type opType)`
`BafBody`	`newBody(JimpleBody b)`	Returns a BafBody constructed from b.
`BafBody`	`newBody(JimpleBody b, String phase)`	Returns a BafBody constructed from b.
`BafBody`	`newBody(SootMethod m)`	Returns an empty BafBody associated with method m.
`CmpgInst`	`newCmpgInst(Type opType)`
`CmpInst`	`newCmpInst(Type opType)`
`CmplInst`	`newCmplInst(Type opType)`
`DivInst`	`newDivInst(Type opType)`
`Dup1_x1Inst`	`newDup1_x1Inst(Type aOpType, Type aUnderType)`
`Dup1_x2Inst`	`newDup1_x2Inst(Type aOpType, Type aUnder1Type, Type aUnder2Type)`
`Dup1Inst`	`newDup1Inst(Type type)`
`Dup2_x1Inst`	`newDup2_x1Inst(Type aOp1Type, Type aOp2Type, Type aUnderType)`
`Dup2_x2Inst`	`newDup2_x2Inst(Type aOp1Type, Type aOp2Type, Type aUnder1Type, Type aUnder2Type)`
`Dup2Inst`	`newDup2Inst(Type aOp1Type, Type aOp2Type)`
`DynamicInvokeInst`	`newDynamicInvokeInst(SootMethodRef bsmMethodRef, List<Value> bsmArgs, SootMethodRef methodRef, int tag)`
`EnterMonitorInst`	`newEnterMonitorInst()`	Constructs a EnterMonitorInst() grammar chunk.
`ExitMonitorInst`	`newExitMonitorInst()`	Constructs a ExitMonitorInst() grammar chunk
`FieldGetInst`	`newFieldGetInst(SootFieldRef fieldRef)`
`FieldPutInst`	`newFieldPutInst(SootFieldRef fieldRef)`
`GotoInst`	`newGotoInst(Unit unit)`
`IdentityInst`	`newIdentityInst(Value local, Value identityRef)`
`ValueBox`	`newIdentityRefBox(Value value)`
`IfCmpEqInst`	`newIfCmpEqInst(Type opType, Unit unit)`
`IfCmpGeInst`	`newIfCmpGeInst(Type opType, Unit unit)`
`IfCmpGtInst`	`newIfCmpGtInst(Type opType, Unit unit)`
`IfCmpLeInst`	`newIfCmpLeInst(Type opType, Unit unit)`
`IfCmpLtInst`	`newIfCmpLtInst(Type opType, Unit unit)`
`IfCmpNeInst`	`newIfCmpNeInst(Type opType, Unit unit)`
`IfEqInst`	`newIfEqInst(Unit unit)`
`IfGeInst`	`newIfGeInst(Unit unit)`
`IfGtInst`	`newIfGtInst(Unit unit)`
`IfLeInst`	`newIfLeInst(Unit unit)`
`IfLtInst`	`newIfLtInst(Unit unit)`
`IfNeInst`	`newIfNeInst(Unit unit)`
`IfNonNullInst`	`newIfNonNullInst(Unit unit)`
`IfNullInst`	`newIfNullInst(Unit unit)`
`IncInst`	`newIncInst(Local aLocal, Constant aConstant)`
`InstanceCastInst`	`newInstanceCastInst(Type opType)`
`InstanceOfInst`	`newInstanceOfInst(Type opType)`
`UnitBox`	`newInstBox(Unit unit)`
`InterfaceInvokeInst`	`newInterfaceInvokeInst(SootMethodRef methodRef, int argCount)`
`JSRInst`	`newJSRInst(Unit unit)`
`LoadInst`	`newLoadInst(Type opType, Local l)`
`Local`	`newLocal(String name, Type t)`	Constructs a Local with the given name and type.
`ValueBox`	`newLocalBox(Value value)`
`LookupSwitchInst`	`newLookupSwitchInst(Unit defaultTarget, List<IntConstant> lookupValues, List<? extends Unit> targets)`
`MulInst`	`newMulInst(Type opType)`
`NegInst`	`newNegInst(Type opType)`
`NewArrayInst`	`newNewArrayInst(Type opType)`
`NewInst`	`newNewInst(RefType opType)`
`NewMultiArrayInst`	`newNewMultiArrayInst(ArrayType opType, int dimensions)`
`NopInst`	`newNopInst()`
`OrInst`	`newOrInst(Type opType)`
`ParameterRef`	`newParameterRef(Type paramType, int number)`	Constructs a ParameterRef(SootMethod, int) grammar chunk.
`PlaceholderInst`	`newPlaceholderInst(Unit source)`
`PopInst`	`newPopInst(Type aType)`
`PrimitiveCastInst`	`newPrimitiveCastInst(Type fromType, Type toType)`
`PushInst`	`newPushInst(Constant c)`
`RemInst`	`newRemInst(Type opType)`
`ReturnInst`	`newReturnInst(Type opType)`
`ReturnVoidInst`	`newReturnVoidInst()`
`ShlInst`	`newShlInst(Type opType)`
`ShrInst`	`newShrInst(Type opType)`
`SpecialInvokeInst`	`newSpecialInvokeInst(SootMethodRef methodRef)`
`StaticGetInst`	`newStaticGetInst(SootFieldRef fieldRef)`
`StaticInvokeInst`	`newStaticInvokeInst(SootMethodRef methodRef)`
`StaticPutInst`	`newStaticPutInst(SootFieldRef fieldRef)`
`StoreInst`	`newStoreInst(Type opType, Local l)`
`SubInst`	`newSubInst(Type opType)`
`SwapInst`	`newSwapInst(Type fromType, Type toType)`
`TableSwitchInst`	`newTableSwitchInst(Unit defaultTarget, int lowIndex, int highIndex, List<? extends Unit> targets)`
`ThisRef`	`newThisRef(RefType t)`	Constructs a ThisRef(RefType) grammar chunk.
`ThrowInst`	`newThrowInst()`
`Trap`	`newTrap(SootClass exception, Unit beginUnit, Unit endUnit, Unit handlerUnit)`	Constructs a new BTrap for the given exception on the given Unit range with the given Unit handler.
`UshrInst`	`newUshrInst(Type opType)`
`VirtualInvokeInst`	`newVirtualInvokeInst(SootMethodRef methodRef)`
`XorInst`	`newXorInst(Type opType)`
`static Baf`	`v()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Baf
```
public Baf(Singletons.Global g)
```

Method Detail

v
```
public static Baf v()
```

getDescriptorTypeOf

public static Type getDescriptorTypeOf(Type opType)

newLocal

public Local newLocal(String name,
                      Type t)

Constructs a Local with the given name and type.

newTrap

public Trap newTrap(SootClass exception,
                    Unit beginUnit,
                    Unit endUnit,
                    Unit handlerUnit)

Constructs a new BTrap for the given exception on the given Unit range with the given Unit handler.

newExitMonitorInst
```
public ExitMonitorInst newExitMonitorInst()
```
Constructs a ExitMonitorInst() grammar chunk

newEnterMonitorInst
```
public EnterMonitorInst newEnterMonitorInst()
```
Constructs a EnterMonitorInst() grammar chunk.

newReturnVoidInst

public ReturnVoidInst newReturnVoidInst()

newNopInst
```
public NopInst newNopInst()
```

newGotoInst

public GotoInst newGotoInst(Unit unit)

newJSRInst

public JSRInst newJSRInst(Unit unit)

newPlaceholderInst

public PlaceholderInst newPlaceholderInst(Unit source)

newInstBox

public UnitBox newInstBox(Unit unit)

newPushInst

public PushInst newPushInst(Constant c)

newIdentityInst

public IdentityInst newIdentityInst(Value local,
                                    Value identityRef)

newLocalBox

public ValueBox newLocalBox(Value value)

newIdentityRefBox

public ValueBox newIdentityRefBox(Value value)

newThisRef
```
public ThisRef newThisRef(RefType t)
```
Constructs a ThisRef(RefType) grammar chunk.

newParameterRef

public ParameterRef newParameterRef(Type paramType,
                                    int number)

Constructs a ParameterRef(SootMethod, int) grammar chunk.

newStoreInst

public StoreInst newStoreInst(Type opType,
                              Local l)

newLoadInst

public LoadInst newLoadInst(Type opType,
                            Local l)

newArrayWriteInst

public ArrayWriteInst newArrayWriteInst(Type opType)

newArrayReadInst

public ArrayReadInst newArrayReadInst(Type opType)

newStaticGetInst

public StaticGetInst newStaticGetInst(SootFieldRef fieldRef)

newStaticPutInst

public StaticPutInst newStaticPutInst(SootFieldRef fieldRef)

newFieldGetInst

public FieldGetInst newFieldGetInst(SootFieldRef fieldRef)

newFieldPutInst

public FieldPutInst newFieldPutInst(SootFieldRef fieldRef)

newAddInst

public AddInst newAddInst(Type opType)

newPopInst

public PopInst newPopInst(Type aType)

newSubInst

public SubInst newSubInst(Type opType)

newMulInst

public MulInst newMulInst(Type opType)

newDivInst

public DivInst newDivInst(Type opType)

newAndInst

public AndInst newAndInst(Type opType)

newArrayLengthInst

public ArrayLengthInst newArrayLengthInst()

newNegInst

public NegInst newNegInst(Type opType)

newOrInst

public OrInst newOrInst(Type opType)

newRemInst

public RemInst newRemInst(Type opType)

newShlInst

public ShlInst newShlInst(Type opType)

newShrInst

public ShrInst newShrInst(Type opType)

newUshrInst

public UshrInst newUshrInst(Type opType)

newXorInst

public XorInst newXorInst(Type opType)

newInstanceCastInst

public InstanceCastInst newInstanceCastInst(Type opType)

newInstanceOfInst

public InstanceOfInst newInstanceOfInst(Type opType)

newPrimitiveCastInst

public PrimitiveCastInst newPrimitiveCastInst(Type fromType,
                                              Type toType)

newNewInst

public NewInst newNewInst(RefType opType)

newNewArrayInst

public NewArrayInst newNewArrayInst(Type opType)

newNewMultiArrayInst

public NewMultiArrayInst newNewMultiArrayInst(ArrayType opType,
                                              int dimensions)

newDynamicInvokeInst

public DynamicInvokeInst newDynamicInvokeInst(SootMethodRef bsmMethodRef,
                                              List<Value> bsmArgs,
                                              SootMethodRef methodRef,
                                              int tag)

newStaticInvokeInst

public StaticInvokeInst newStaticInvokeInst(SootMethodRef methodRef)

newSpecialInvokeInst

public SpecialInvokeInst newSpecialInvokeInst(SootMethodRef methodRef)

newVirtualInvokeInst

public VirtualInvokeInst newVirtualInvokeInst(SootMethodRef methodRef)

newInterfaceInvokeInst

public InterfaceInvokeInst newInterfaceInvokeInst(SootMethodRef methodRef,
                                                  int argCount)

newReturnInst

public ReturnInst newReturnInst(Type opType)

newIfCmpEqInst

public IfCmpEqInst newIfCmpEqInst(Type opType,
                                  Unit unit)

newIfCmpGeInst

public IfCmpGeInst newIfCmpGeInst(Type opType,
                                  Unit unit)

newIfCmpGtInst

public IfCmpGtInst newIfCmpGtInst(Type opType,
                                  Unit unit)

newIfCmpLeInst

public IfCmpLeInst newIfCmpLeInst(Type opType,
                                  Unit unit)

newIfCmpLtInst

public IfCmpLtInst newIfCmpLtInst(Type opType,
                                  Unit unit)

newIfCmpNeInst

public IfCmpNeInst newIfCmpNeInst(Type opType,
                                  Unit unit)

newCmpInst

public CmpInst newCmpInst(Type opType)

newCmpgInst

public CmpgInst newCmpgInst(Type opType)

newCmplInst

public CmplInst newCmplInst(Type opType)

newIfEqInst

public IfEqInst newIfEqInst(Unit unit)

newIfGeInst

public IfGeInst newIfGeInst(Unit unit)

newIfGtInst

public IfGtInst newIfGtInst(Unit unit)

newIfLeInst

public IfLeInst newIfLeInst(Unit unit)

newIfLtInst

public IfLtInst newIfLtInst(Unit unit)

newIfNeInst

public IfNeInst newIfNeInst(Unit unit)

newIfNullInst

public IfNullInst newIfNullInst(Unit unit)

newIfNonNullInst

public IfNonNullInst newIfNonNullInst(Unit unit)

newThrowInst
```
public ThrowInst newThrowInst()
```

newSwapInst

public SwapInst newSwapInst(Type fromType,
                            Type toType)

newDup1Inst

public Dup1Inst newDup1Inst(Type type)

newDup2Inst

public Dup2Inst newDup2Inst(Type aOp1Type,
                            Type aOp2Type)

newDup1_x1Inst

public Dup1_x1Inst newDup1_x1Inst(Type aOpType,
                                  Type aUnderType)

newDup1_x2Inst

public Dup1_x2Inst newDup1_x2Inst(Type aOpType,
                                  Type aUnder1Type,
                                  Type aUnder2Type)

newDup2_x1Inst

public Dup2_x1Inst newDup2_x1Inst(Type aOp1Type,
                                  Type aOp2Type,
                                  Type aUnderType)

newDup2_x2Inst

public Dup2_x2Inst newDup2_x2Inst(Type aOp1Type,
                                  Type aOp2Type,
                                  Type aUnder1Type,
                                  Type aUnder2Type)

newIncInst

public IncInst newIncInst(Local aLocal,
                          Constant aConstant)

newLookupSwitchInst

public LookupSwitchInst newLookupSwitchInst(Unit defaultTarget,
                                            List<IntConstant> lookupValues,
                                            List<? extends Unit> targets)

newTableSwitchInst

public TableSwitchInst newTableSwitchInst(Unit defaultTarget,
                                          int lowIndex,
                                          int highIndex,
                                          List<? extends Unit> targets)

bafDescriptorOf

public static String bafDescriptorOf(Type type)

newBody
```
public BafBody newBody(SootMethod m)
```
Returns an empty BafBody associated with method m.

newBody

public BafBody newBody(JimpleBody b)

Returns a BafBody constructed from b.