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; }