Exemplos de VarInfo.simplify_quantify em Java

Exemplo n.º 1

Arquivo: EltwiseIntEqual.java Projeto: lukaszzdanikowski/randoop

  public String format_simplify() {
    String[] form = VarInfo.simplify_quantify(QuantFlags.adjacent(), var(), var());

    String comparator = "EQ";

    return form[0] + "(" + comparator + " " + form[1] + " " + form[2] + ")" + form[3];
  }

Exemplo n.º 2

Arquivo: PairwiseIntLessThan.java Projeto: lukaszzdanikowski/randoop

 public String format_simplify() {
   String[] form = VarInfo.simplify_quantify(QuantFlags.element_wise(), var1(), var2());
   return form[0] + "(< " + form[1] + " " + form[2] + ")" + form[3];
 }