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>";
}
}
@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();
}
