public void setWsdlModel(WSDLModel wsdlModel) { if (this.wsdlModel == wsdlModel) { return; } this.wsdlModel = wsdlModel; DefaultMutableTreeNode root = new DefaultMutableTreeNode(); for (Port port : Util.getSortedPorts(wsdlModel)) { Binding binding = port.getBinding().get(); List<BindingOperation> bindingOps = Util.getSortedBindingOperations(binding); if (bindingOps != null && bindingOps.size() > 0) { DefaultMutableTreeNode portNode = new DefaultMutableTreeNode(port); root.add(portNode); for (BindingOperation bindingOp : bindingOps) { DefaultMutableTreeNode bindingOpNode = new DefaultMutableTreeNode(bindingOp); portNode.add(bindingOpNode); bindingOpNode.setAllowsChildren(false); } } } DefaultTreeModel dtm = new DefaultTreeModel(root); mTree.setModel(dtm); int cnt = root.getChildCount(); for (int i = 0; i < cnt; i++) { mTree.expandPath(new TreePath(((DefaultMutableTreeNode) root.getChildAt(i)).getPath())); } }
/** * Agrega una nueva unidad al árbol, como hijo de un nodo padre * * @param padre Padre de la nueva unidad * @param nuevaUnidad Nueva unidad * @return El nodo con la unidad dentro, ya asignado al padre */ public DefaultMutableTreeNode agregarNodo(DefaultMutableTreeNode padre, Unidad nuevaUnidad) { DefaultMutableTreeNode node = new DefaultMutableTreeNode(); UnidadUserObject userObject = new UnidadUserObject(node); node.setUserObject(userObject); userObject.setUnidad(nuevaUnidad); node.setAllowsChildren(true); userObject.setText(nuevaUnidad.getNombre()); userObject.setLeaf(false); if (nuevaUnidad.getTipo() == 0) { userObject.setExpanded(true); } else { userObject.setExpanded(false); } if (padre != null) { padre.add(node); } return node; }
// required by TreeSelectionListener interface public void valueChanged(TreeSelectionEvent e) { // get selected node DefaultMutableTreeNode node = (DefaultMutableTreeNode) e.getPath().getLastPathComponent(); if (node == null) return; // get node data object TermNode nodeInfo = (TermNode) node.getUserObject(); // load children only for leaf nodes and those that have // not been marked as processed. if (node.isLeaf() && node.getAllowsChildren()) { System.out.println("will load children for: " + nodeInfo); // load children. if no children, set allowsChildren to false if (!parent.loadChildren(node, nodeInfo.getTermId())) { node.setAllowsChildren(false); } } // loadmetadata System.out.println("will load metadata for: " + nodeInfo.getTermId()); // call method on parent container parent.loadMetaData(nodeInfo.getTermId()); }
private void jbInit() { this.setTitle(fileInfo.getName() + " Info"); treeDetailInfo.setUI(new AnimatedTreeUI()); // treeDetailInfo.setBackground(this.getBackground()); treeDetailInfo.setOpaque(false); treeDetailInfo.setCellRenderer(new FileInfoTreeCellRenderer()); treeDetailInfo.setShowsRootHandles(true); treeDetailInfo.setEditable(false); // Create the top title label that serves as teh root node // that will never change. lblTitle.setIcon(getFileItemIcon()); lblTitle.setText(getTitleHTML()); // Create the expanding General Info field DefaultMutableTreeNode root = new DefaultMutableTreeNode(); treeDetailInfo.setModel(new DefaultTreeModel(root)); treeDetailInfo.setRootVisible(false); generalMenuTreeNode = new DefaultMutableTreeNode("General:"); // "<html><body><p>General:</p></body></html>"); root.add(generalMenuTreeNode); DefaultMutableTreeNode nKind = new DefaultMutableTreeNode(new String[] {"Kind", DetailListModel.getTypeName(fileInfo)}); nKind.setAllowsChildren(false); generalMenuTreeNode.add(nKind); DefaultMutableTreeNode nSize = new DefaultMutableTreeNode(new String[] {"Size", DetailListModel.getSize(fileInfo)}); nSize.setAllowsChildren(false); generalMenuTreeNode.add(nSize); DefaultMutableTreeNode nWhere = new DefaultMutableTreeNode(new String[] {"Where", getAddress()}); nWhere.setAllowsChildren(false); generalMenuTreeNode.add(nWhere); DefaultMutableTreeNode nCreated = new DefaultMutableTreeNode(new String[] {"Created", getCreated()}); nCreated.setAllowsChildren(false); generalMenuTreeNode.add(nCreated); DefaultMutableTreeNode nModified = new DefaultMutableTreeNode(new String[] {"Modified", getCreated()}); nModified.setAllowsChildren(false); generalMenuTreeNode.add(nModified); // Create the expandable access panel accessMenuTreeNode = new DefaultMutableTreeNode("<html><body><p>Access:</p></body></html>"); root.add(accessMenuTreeNode); DefaultMutableTreeNode nAccess = new DefaultMutableTreeNode( new String[] {"Type", FTPType.FTP_PROTOCOL[this.tBrowse.ftpServer.type]}); nAccess.setAllowsChildren(false); accessMenuTreeNode.add(nAccess); DefaultMutableTreeNode nServer = new DefaultMutableTreeNode(new String[] {"System", this.tBrowse.ftpServer.name}); nServer.setAllowsChildren(false); accessMenuTreeNode.add(nServer); // Create the expandable permissions panel permissionMenuTreeNode = new DefaultMutableTreeNode("<html><body><p>Ownership & Permissions:</p></body></html>"); permissionMenuTreeNode.setAllowsChildren(true); root.add(permissionMenuTreeNode); DefaultMutableTreeNode youNode = new DefaultMutableTreeNode( new String[] { "You can", getPermission( fileInfo.userCanRead(), fileInfo.userCanWrite(), fileInfo.userCanExecute()) }); youNode.setAllowsChildren(false); permissionMenuTreeNode.add(youNode); pnlPermissions = PermissionPanelFactory.getPermissionsPanel(tBrowse, path, fileInfo); pnlPermissions.setVisible(isPermissionNodeExpanded); // expand the General info node by default treeDetailInfo.addTreeExpansionListener(new FileInfoTreeExpansionListener(this)); // treeDetailInfo.setBackground(this.getBackground()); if (isGeneralNodeExpanded) treeDetailInfo.expandPath(new TreePath(generalMenuTreeNode.getPath())); if (isAccessNodeExpanded) treeDetailInfo.expandPath(new TreePath(accessMenuTreeNode.getPath())); if (isPermissionNodeExpanded) treeDetailInfo.expandPath(new TreePath(permissionMenuTreeNode.getPath())); JPanel treePanel = new JPanel(); // treePanel.setLayout(new BoxLayout(treePanel,BoxLayout.LINE_AXIS)); treePanel.add(treeDetailInfo); treePanel.setOpaque(false); treeDetailInfo.setAlignmentX(LEFT_ALIGNMENT); Box pemBox = Box.createHorizontalBox(); pemBox.add(pnlPermissions); pemBox.add(Box.createHorizontalGlue()); pnlPermissions.setAlignmentX(Component.LEFT_ALIGNMENT); Box scrollBox = Box.createVerticalBox(); scrollBox.add(treePanel); scrollBox.add(pemBox); scrollBox.add(Box.createGlue()); scrollBox.setBorder(BorderFactory.createLineBorder(Color.GRAY)); JScrollPane scrollPane = new JScrollPane(); scrollPane.getViewport().add(scrollBox); scrollPane.getViewport().setBackground(this.getBackground()); scrollPane.getViewport().setOpaque(true); scrollPane.setWheelScrollingEnabled(true); IAppWidgetFactory.makeIAppScrollPane(scrollPane); scrollPane.setAutoscrolls(true); pnlMain.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10)); pnlMain.setLayout(new BoxLayout(pnlMain, BoxLayout.Y_AXIS)); pnlMain.add(lblTitle, Component.TOP_ALIGNMENT); pnlMain.add(scrollPane, Component.CENTER_ALIGNMENT); pnlMain.add(Box.createGlue()); lblTitle.setAlignmentX(JPanel.TOP_ALIGNMENT); scrollPane.setAlignmentX(JPanel.CENTER_ALIGNMENT); scrollPane.setPreferredSize(new Dimension(280, 450)); scrollPane.setBackground(Color.GRAY); // pnlMain.setMinimumSize(new Dimension(280, 480)); pnlMain.setPreferredSize(new Dimension(280, 480)); pnlMain.setBackground(Color.BLACK); getContentPane().add(pnlMain); // , JDialog.LEFT_ALIGNMENT); }
public void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException { try { address = PAConfiguration.getAddress(); port = PAConfiguration.getPort(instantiation); poslAddress = PAConfiguration.getPOSL(instantiation, topic); rdfAddress = PAConfiguration.getRDFTaxonomy(instantiation); messageEndpoint = PAConfiguration.getEndpointName(instantiation, topic); } catch (BadConfigurationException e) { System.out.println(e.getMessage()); e.printStackTrace(); System.exit(0); } response.setContentType("text/html; charset=UTF-8"); PrintWriter out = response.getWriter(); try { System.out.println("5 Publicty Chair Servlet"); System.out.println(response.toString()); BufferedReader brd = request.getReader(); String input = ""; String message = ""; while (!input.equals("</RuleML>")) { input = brd.readLine(); message = message + input; } String[] varOrder = getVariableOrder(message); System.out.println("Received Message: " + message); // BackwardReasoner br = new BackwardReasoner(); // Iterator solit =null; // DefiniteClause dc = null; // SymbolTable.reset(); POSLParser pp = new POSLParser(); // String contents = "c(a).\nc(b).\nc(c)."; Date t1 = new GregorianCalendar().getTime(); System.out.println(t1.getHours() + ":" + t1.getMinutes()); // append time to contents System.out.println("day: " + t1.getDay()); System.out.println("day: " + t1.getYear()); System.out.println("day: " + t1.getMonth()); // time String time = "time(" + t1.getHours() + ":integer)."; System.out.println(time); String url = poslAddress; // String url = "http://www.jdrew.org/oojdrew/test.posl"; String contents = ""; // day of the week int day = t1.getDay(); boolean weekday = true; if (day == 0 || day == 6) { weekday = false; } String dayOfWeek; if (weekday) { dayOfWeek = "day(weekday)."; } else { dayOfWeek = "day(weekend)."; } // full date Calendar cal = new GregorianCalendar(); int year = cal.get(Calendar.YEAR); int month = cal.get(Calendar.MONTH) + 1; int day2 = cal.get(Calendar.DAY_OF_MONTH); String date; String day3 = "" + day2; if (day2 == 1 || day2 == 2 || day2 == 3 || day2 == 4 || day2 == 5 || day2 == 6 || day2 == 7 || day2 == 8 || day2 == 9) { day3 = "0" + day2; } if (month == 10 || month == 11 || month == 12) date = "" + year + month + day3; else date = "" + year + "0" + month + day3; date = "date(" + date + ":integer)."; System.out.println(date); String url2 = rdfAddress; HttpClient client2 = new HttpClient(); GetMethod method2 = new GetMethod(url2); method2.setFollowRedirects(true); String typestr = ""; // Execute the GET method int statusCode2 = client2.executeMethod(method2); if (statusCode2 != -1) { typestr = method2.getResponseBodyAsString(); } System.out.println("Types: " + typestr); Types.reset(); RDFSParser.parseRDFSString(typestr); try { HttpClient client = new HttpClient(); GetMethod method = new GetMethod(url); method.setFollowRedirects(true); // Execute the GET method int statusCode = client.executeMethod(method); if (statusCode != -1) { contents = method.getResponseBodyAsString(); } } catch (Exception e) { e.printStackTrace(); } contents = contents + "\n" + time; contents = contents + "\n" + dayOfWeek; contents = contents + "\n" + date; BackwardReasoner br = new BackwardReasoner(); Iterator solit = null; DefiniteClause dc = null; SymbolTable.reset(); pp.parseDefiniteClauses(contents); br.loadClauses(pp.iterator()); System.out.println("TEST"); Iterator it = pp.iterator(); while (it.hasNext()) { DefiniteClause d = (DefiniteClause) it.next(); System.out.println("Loaded clause: " + d.toPOSLString()); } br = new BackwardReasoner(br.clauses, br.oids); MessageParser m = new MessageParser(message); Element atom = null; try { atom = m.parseForContent(); } catch (Exception e) { System.out.println("Invalid Message"); // out.flush(); } QueryBuilder q = new QueryBuilder(atom); String query = q.generateDoc(); System.out.println("ABOUT TO INPUT THIS QUERY:" + query); RuleMLParser qp = new RuleMLParser(); try { dc = qp.parseRuleMLQuery(query); } catch (Exception e) { System.out.println("Invalid Query"); // out.flush(); } // solit = br.iterativeDepthFirstSolutionIterator(dc); solit = br.iterativeDepthFirstSolutionIterator(dc); int varSize = 0; while (solit.hasNext()) { Vector data = new Vector(); BackwardReasoner.GoalList gl = (BackwardReasoner.GoalList) solit.next(); Hashtable varbind = gl.varBindings; javax.swing.tree.DefaultMutableTreeNode root = br.toTree(); root.setAllowsChildren(true); javax.swing.tree.DefaultTreeModel dtm = new DefaultTreeModel(root); int i = 0; Object[][] rowdata = new Object[varbind.size()][2]; varSize = varbind.size(); Enumeration e = varbind.keys(); while (e.hasMoreElements()) { Object k = e.nextElement(); Object val = varbind.get(k); String ks = (String) k; rowdata[i][0] = ks; rowdata[i][1] = val; i++; } data.addElement(rowdata); String[] messages = new String[data.size()]; MessageGenerator g = new MessageGenerator( data, varSize, messageEndpoint, m.getId(), m.getProtocol(), m.getRel(), varOrder); messages = g.Messages2(); String appender = ""; URL sender = new URL(address + ":" + port); HttpMessage msg = new HttpMessage(sender); Properties props = new Properties(); for (int i1 = 0; i1 < data.size(); i1++) { System.out.println(i1 + ")" + messages[i1].toString()); props.put("text", messages[i1].toString()); InputStream in = msg.sendGetMessage(props); } System.out.println("NEXT MESSAGE"); } MessageGenerator g = new MessageGenerator( null, varSize, messageEndpoint, m.getId(), m.getProtocol(), m.getRel()); URL sender = new URL(address + ":" + port); HttpMessage msg = new HttpMessage(sender); Properties props = new Properties(); String finalMessage = g.finalMessage(query); System.out.println(finalMessage); props.put("text", finalMessage); InputStream in = msg.sendGetMessage(props); System.out.println("Stop_Communication"); } catch (Exception e) { System.out.println("ERROR has occured : " + e.toString()); } out.close(); }