Ejemplo n.º 1
0
 public void visitAndDescr(final AndDescr descr) {
   this.template = new String();
   if (descr.getDescrs() != Collections.EMPTY_LIST) {
     this.template = "<and>" + processDescrList(descr.getDescrs()) + "</and>";
   } else {
     this.template = "<and> </and>";
   }
 }
Ejemplo n.º 2
0
  @Override
  protected void visitAndDescr(AndDescr descr) throws UnknownDescriptionException {
    PatternOperatorDescr operatorDescr = new PatternOperatorDescr(pattern, OperatorDescrType.AND);
    operatorDescr.setOrderNumber(orderNumber.next());
    operatorDescr.setParentPath(getParent().getPath());
    operatorDescr.setParentType(getParent().getVerifierComponentType());

    data.add(operatorDescr);

    solvers.startOperator(OperatorDescrType.AND);
    visit(descr.getDescrs());
    solvers.endOperator();
  }