Java QuantFlags Exemples

Exemple #1

Fichier : EltwiseIntEqual.java Projet : 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];
  }

Exemple #2

Fichier : PairwiseIntLessThan.java Projet : 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];
 }