public Map<String, Object> lista(Map<String, Object> params) {
log.debug("Buscando lista de facturas con params {}", params);
if (params == null) {
params = new HashMap<>();
}
if (!params.containsKey("max")) {
params.put("max", 10);
} else {
params.put("max", Math.min((Integer) params.get("max"), 100));
}
if (params.containsKey("pagina")) {
Long pagina = (Long) params.get("pagina");
Long offset = (pagina - 1) * (Integer) params.get("max");
params.put("offset", offset.intValue());
}
if (!params.containsKey("offset")) {
params.put("offset", 0);
}
Criteria criteria = currentSession().createCriteria(FacturaAlmacen.class);
Criteria countCriteria = currentSession().createCriteria(FacturaAlmacen.class);
if (params.containsKey("almacen")) {
criteria.createCriteria("almacen").add(Restrictions.idEq(params.get("almacen")));
countCriteria.createCriteria("almacen").add(Restrictions.idEq(params.get("almacen")));
}
if (params.containsKey("filtro")) {
String filtro = (String) params.get("filtro");
Disjunction propiedades = Restrictions.disjunction();
propiedades.add(Restrictions.ilike("folio", filtro, MatchMode.ANYWHERE));
criteria.add(propiedades);
countCriteria.add(propiedades);
}
if (params.containsKey("order")) {
String campo = (String) params.get("order");
if (params.get("sort").equals("desc")) {
criteria.addOrder(Order.desc(campo));
} else {
criteria.addOrder(Order.asc(campo));
}
} else {
criteria.createCriteria("estatus").addOrder(Order.asc("prioridad"));
}
criteria.addOrder(Order.desc("fechaModificacion"));
if (!params.containsKey("reporte")) {
criteria.setFirstResult((Integer) params.get("offset"));
criteria.setMaxResults((Integer) params.get("max"));
}
params.put("facturas", criteria.list());
countCriteria.setProjection(Projections.rowCount());
params.put("cantidad", (Long) countCriteria.list().get(0));
return params;
}
public FormulaAnalysis(Formula formula) {
f = formula;
/*
* Converts the Formula to Disjunctive Normal Form and collects the clauses
*/
formula = formula.getDNF();
Formula[] rawClauses;
if (formula instanceof Disjunction) {
Disjunction disj = ((Disjunction) formula).flatten();
rawClauses = new Formula[disj.getNoFormulas()];
for (int i = 0; i < rawClauses.length; i++) rawClauses[i] = disj.get(i);
} else {
rawClauses = new Formula[] {formula};
}
/*
* Processes each clause
*/
clauses = new ArrayList<DNFClause>(rawClauses.length);
List<Atom> posLiterals = new ArrayList<Atom>(4);
List<Atom> negLiterals = new ArrayList<Atom>(4);
for (int i = 0; i < rawClauses.length; i++) {
/*
* Extracts the positive and negative literals from the clause
*/
if (rawClauses[i] instanceof Conjunction) {
Conjunction c = ((Conjunction) rawClauses[i]).flatten();
for (int j = 0; j < c.getNoFormulas(); j++) {
if (c.get(j) instanceof Atom) {
posLiterals.add((Atom) c.get(j));
} else if (c.get(j) instanceof Negation) {
Negation n = (Negation) c.get(j);
if (n.getFormula() instanceof Atom) {
negLiterals.add((Atom) n.getFormula());
} else {
throw new IllegalStateException(
"Unexpected sub-Formula. Formula was not in flattened Disjunctive Normal Form.");
}
} else {
throw new IllegalStateException(
"Unexpected sub-Formula. Formula was not in flattened Disjunctive Normal Form.");
}
}
} else if (rawClauses[i] instanceof Atom) {
posLiterals.add((Atom) rawClauses[i]);
} else if (rawClauses[i] instanceof Negation) {
Negation n = (Negation) rawClauses[i];
if (n.getFormula() instanceof Atom) {
negLiterals.add((Atom) n.getFormula());
} else {
throw new IllegalStateException(
"Unexpected sub-Formula. Formula was not in flattened Disjunctive Normal Form.");
}
} else {
throw new IllegalStateException(
"Unexpected sub-Formula. Formula was not in flattened Disjunctive Normal Form.");
}
/*
* Stores the DNFClause
*/
clauses.add(new DNFClause(posLiterals, negLiterals));
posLiterals.clear();
negLiterals.clear();
}
}
public Map<String, Object> lista(Map<String, Object> params) {
log.debug("Buscando lista de asociado con params {}", params);
if (params == null) {
params = new HashMap<>();
}
if (!params.containsKey("max")) {
params.put("max", 10);
} else {
params.put("max", Math.min((Integer) params.get("max"), 100));
}
if (params.containsKey("pagina")) {
Long pagina = (Long) params.get("pagina");
Long offset = (pagina - 1) * (Integer) params.get("max");
params.put("offset", offset.intValue());
}
if (!params.containsKey("offset")) {
params.put("offset", 0);
}
if (!params.containsKey("asociacion")) {
params.put("asociados", new ArrayList());
params.put("cantidad", 0L);
return params;
}
Criteria criteria = currentSession().createCriteria(Asociado.class);
Criteria countCriteria = currentSession().createCriteria(Asociado.class);
if (params.containsKey("asociacion")) {
log.debug("valor de asociacion" + params.get("asociacion"));
criteria
.createCriteria("asociacion")
.add(Restrictions.eq("id", ((Asociacion) params.get("asociacion")).getId()));
countCriteria
.createCriteria("asociacion")
.add(Restrictions.eq("id", ((Asociacion) params.get("asociacion")).getId()));
}
if (params.containsKey("filtro")) {
String filtro = (String) params.get("filtro");
Disjunction propiedades = Restrictions.disjunction();
propiedades.add(Restrictions.ilike("username", filtro, MatchMode.ANYWHERE));
propiedades.add(Restrictions.ilike("nombre", filtro, MatchMode.ANYWHERE));
propiedades.add(Restrictions.ilike("apellido", filtro, MatchMode.ANYWHERE));
criteria.add(propiedades);
countCriteria.add(propiedades);
}
if (params.containsKey("order")) {
String campo = (String) params.get("order");
if (params.get("sort").equals("desc")) {
criteria.addOrder(Order.desc(campo));
} else {
criteria.addOrder(Order.asc(campo));
}
}
if (!params.containsKey("reporte")) {
criteria.setFirstResult((Integer) params.get("offset"));
criteria.setMaxResults((Integer) params.get("max"));
}
params.put("asociados", criteria.list());
countCriteria.setProjection(Projections.rowCount());
params.put("cantidad", (Long) countCriteria.list().get(0));
return params;
}
