class DAbruptStmt extends AbstractStmt {
  private String command;
  private SETNodeLabel label;

  public boolean surpressDestinationLabel;

  public DAbruptStmt(String command, SETNodeLabel label) {
    this.command = command;
    this.label = label;

    label.set_Name();
    surpressDestinationLabel = false;
  }

  public boolean fallsThrough() {
    return false;
  }

  public boolean branches() {
    return false;
  }

  public Object clone() {
    return new DAbruptStmt(command, label);
  }

  public String toString() {
    StringBuffer b = new StringBuffer();

    b.append(command);

    if (!surpressDestinationLabel && (label.toString() != null)) {
      b.append(" ");
      b.append(label.toString());
    }

    return b.toString();
  }

  public void toString(UnitPrinter up) {<FILL_FUNCTION_BODY>}

  public boolean is_Continue() {
    return command.equals("continue");
  }

  public boolean is_Break() {
    return command.equals("break");
  }

  /*
   * Nomair A. Naeem 20-FEB-2005 getter and setter methods for the label are needed for the aggregators of the AST
   * conditionals
   */
  public void setLabel(SETNodeLabel label) {
    this.label = label;
  }

  public SETNodeLabel getLabel() {
    return label;
  }
}

    up.literal(command);
    if (!surpressDestinationLabel && (label.toString() != null)) {
      up.literal(" ");
      up.literal(label.toString());
    }
  
<methods>public non-sealed void <init>() ,public boolean containsArrayRef() ,public boolean containsFieldRef() ,public boolean containsInvokeExpr() ,public void convertToBaf(soot.jimple.JimpleToBafContext, List<soot.Unit>) ,public soot.jimple.ArrayRef getArrayRef() ,public soot.ValueBox getArrayRefBox() ,public soot.jimple.FieldRef getFieldRef() ,public soot.ValueBox getFieldRefBox() ,public soot.jimple.InvokeExpr getInvokeExpr() ,public soot.ValueBox getInvokeExprBox() <variables>