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