Esempio n. 1
0
 public void visitOrDescr(final OrDescr descr) {
   this.template = new String();
   if (descr.getDescrs() != Collections.EMPTY_LIST) {
     this.template = "<or>" + processDescrList(descr.getDescrs()) + "</or>";
   } else {
     this.template = "<or> </or>";
   }
 }
  @Override
  protected void visitOrDescr(OrDescr descr) throws UnknownDescriptionException {
    PatternOperatorDescr operatorDescr = new PatternOperatorDescr(pattern, OperatorDescrType.OR);
    operatorDescr.setOrderNumber(orderNumber.next());

    data.add(operatorDescr);

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