php+java+cas

// --------------------------------------------------------------- ASTOperation private Map reversedMap(Map map) { try { Map res = (Map)map.getClass().newInstance(); Iterator it = map.entrySet().iterator(); while (it.hasNext()) { Map.Entry entry = (Map.Entry)it.next(); String key = (String)entry.getKey(); Object value = entry.getValue(); if (value != null && value instanceof Data && key != null) res.put(((Data)value).getInfo(), new SimpleData(key)); } return res; } catch (Exception ex) { ex.printStackTrace(); return null; } } // ----------------------------------------------------------------------- Pear private void displayIFramePopup(java.awt.event.MouseEvent evt) { if (evt.getButton() == evt.BUTTON3) { Object c = evt.getSource(); if (c instanceof JDockableInternalFrame) { JDockableInternalFrame iFrame = (JDockableInternalFrame)c; this.iFramePopup.show(iFrame, evt.getX(), evt.getY()); } } } private String loadRuleSource(InputStream is) { String res = ""; BufferedReader input = null; try { String line; StringBuffer buf = new StringBuffer(is.available()); input = new BufferedReader(new InputStreamReader(is)); while ((line = input.readLine()) != null) buf.append(line + "\n"); res = buf.toString(); } catch (IOException ioe) { log.error(ioe); } finally { try { input.close(); } catch (Exception e) {} } return res; } // -------------------------------------------------------- JProtocolSourceArea public void select(Instruction instruction, ASTRule rule, boolean more) { String sep = ASTInstruction.getSeparator(instruction); String instr = instruction.toString() + sep + "\n"; String text = textArea.getText(); int selectionStart = more ? text.indexOf(instr, lastIndex) : text.lastIndexOf(instr); if (selectionStart == -1) selectionStart = text.lastIndexOf(instr, lastIndex); if (selectionStart == -1) selectionStart = text.indexOf(instr); if (selectionStart != -1) { lastIndex = selectionStart + instr.length(); textArea.requestFocus(); textArea.setCaretPosition(selectionStart); textArea.moveCaretPosition(lastIndex); // appende la regola if (rule != null) { String ruleAppended = instr.replace('\n', ' ') + SEP + "(" + rule.getName() + ")\n"; if (sep.equals("\n")) ruleAppended += sep; lastIndex = selectionStart + ruleAppended.length(); textArea.replaceSelection(ruleAppended); textArea.moveCaretPosition(lastIndex); } } } // ----------------------------------------------------------------- SimpleData public boolean autoSubst(Data data, Map substMap) { if (!(data instanceof SimpleData)) return false; if (data != null) { String dInfo = data.getInfo(); if (dInfo != null) { String tInfo = this.getInfo(); if (!substMap.containsValue(new SimpleData(tInfo))) { Set uids = (Set)substMap.get(Data.UNIQUE_IDS); SimpleData sd = new SimpleData(dInfo); if (!uids.contains(dInfo) || !substMap.containsValue(sd)) { substMap.put(tInfo, sd); this.setInfo(dInfo); } } } } return true; } public void reverseMatching(Map substMap) { if (substMap.containsValue(new SimpleData(this.getInfo()))) this.setInfo(null); } // --------------------------------------------------------------- AbstractData public boolean autoSubst(Data data, Map substMap) { return !(data instanceof TaggedData); } // --------------------------------------------------------- AbstractTaggedData public boolean autoSubst(Data data, Map substMap) { if (AbstractData.class.equals(data.getClass())) this.narrowInfo((AbstractData)data); return true; } // ---------------------------------------------------------------- Instruction public boolean autoSubst(Data data, Map substMap) { if (!(data instanceof Instruction)) return false; if (data != null) { Instruction instr = (Instruction)data; if (!this.getName().equals(instr.getName())) return false; Data[] tData = this.getData(); Data[] iData = instr.getData(); int size = tData.length; if (size != iData.length) return false; for (int i = 0; i < size; ++i) if (!tData[i].autoSubst(iData[i], substMap)) return false; } return true; } public void reverseMatching(Map substMap) { Data[] data = this.getData(); int size = data.length; for (int i = 0; i < size; ++i) data[i].reverseMatching(substMap); } // ----------------------------------------------------------------- TaggedData public boolean autoSubst(Data data, Map substMap) { if (!(data instanceof TaggedData)) return false; if (data != null) { TaggedData td = (TaggedData)data; if (this.getTag().equals(td.getTag())) super.autoSubst(td, substMap); else return false; } return true; } // ------------------------------------------------------------------ ValueData public boolean autoSubst(Data data, Map substMap) { if (data instanceof ValueData) return this.getInfo().equals(data.getInfo()); else return false; } // ------------------------------------------------------------------- BoolNode protected final int initIndex(EvalInfo evalInfo) { int index = 0; Object[] errPath = evalInfo.getErrPath(); if (errPath != null) { evalInfo.incErrPathIndex(); int indexLevel = evalInfo.getErrPathIndex(); if (indexLevel < errPath.length) index = this.getIndex((BoolNode)errPath[indexLevel]); } return index; } // ---------------------------------------------------------------- ASTCheckSeq public boolean evaluate(EvalInfo evalInfo) throws it.unive.dsi.protok.exception.OperationException { this.buildPath(evalInfo); int brand = BackTrackingHandler.NO_BRAND; boolean validBTDir = this.isBTDirValid(); if (validBTDir) { if (this.isBTDirSatisfied(evalInfo.isRestarting())) return this.getBacktrackingDirective(); evalInfo.setNodeBrand(brand = this.getBrand()); } boolean value = true; int size = this.jjtGetNumChildren(); for (int i = 0; i < size && value; ++i) { BoolNode boolNode = (BoolNode)this.jjtGetChild(i); if (!boolNode.e