public boolean isValidExchange(SerialNumber serialNumber, Exchange request) { // create upper bound for calculation of average SerialNumber validityCheckBound = new SerialNumber(serialNumber.getSerialNumber().add(ADD_FOR_BOUND)); // find the set of serial #'s strictly greater than serialNumber and <= validityCheckBound NavigableSet<SerialNumber> temp = getExclusiveToInclusiveSubset( request.getCompatibleProducts(), serialNumber, validityCheckBound); // find the st of serial #'s strictly greater than serialNumber and less than average // if empty, no compatible product exists return !(getExclusiveSubset(request, serialNumber, average(temp)).isEmpty()); }
/** * Description of the Method * * @param ctx Description of the Parameter * @param conn Description of the Parameter * @param instance Description of the Parameter * @param msgs Description of the Parameter * @param manager Description of the Parameter * @param assistor Description of the Parameter * @return Description of the Return Value */ public int preInsert( SessionContext ctx, DatabaseConnection conn, FormInstance instance, ErrorMessages msgs, EventManager manager, SqlAssistor assistor) { int seqNo = (int) SerialNumber.getNextSN("BMLOANADMCHANGE", "SEQNO"); // System.out.println("Seqno:"+seqNo); instance.setValue("SEQNO", seqNo); assistor.setSqlFieldValue(assistor.getDefaultTbl(), "SEQNO", seqNo + ""); MyDB.getInstance().addDBConn(conn); return InactLoanMan.loanAdmByChange(this.bmno, ctx.getParameter("NEWADM")); }
// returns validity of given serial number public static Boolean isValidSerialNumber(SerialNumber serialNumber) { // check whether even and the third bit is set return serialNumber.isOdd() && checkLowerBound(serialNumber); }