class Insn31t extends InsnWithOffset implements OneRegInsn {

  public AbstractPayload payload = null;

  public Insn31t(Opcode opc, Register regA) {
    super(opc);
    regs.add(regA);
  }

  public Register getRegA() {
    return regs.get(REG_A_IDX);
  }

  public void setPayload(AbstractPayload payload) {
    this.payload = payload;
  }

  @Override
  protected BuilderInstruction getRealInsn0(LabelAssigner assigner) {
    return new BuilderInstruction31t(opc, (short) getRegA().getNumber(), assigner.getOrCreateLabel(payload));
  }

  @Override
  public BitSet getIncompatibleRegs() {<FILL_FUNCTION_BODY>}

  @Override
  public int getMaxJumpOffset() {
    return Short.MAX_VALUE;
  }

}

    BitSet incompatRegs = new BitSet(1);
    if (!getRegA().fitsShort()) {
      incompatRegs.set(REG_A_IDX);
    }
    return incompatRegs;
  
<methods>public void <init>(org.jf.dexlib2.Opcode) ,public abstract int getMaxJumpOffset() ,public soot.jimple.Stmt getTarget() ,public void setTarget(soot.jimple.Stmt) <variables>protected soot.jimple.Stmt target