1 /*******************************************************************************
\r
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
\r
3 * in Industry THTH ry.
\r
4 * All rights reserved. This program and the accompanying materials
\r
5 * are made available under the terms of the Eclipse Public License v1.0
\r
6 * which accompanies this distribution, and is available at
\r
7 * http://www.eclipse.org/legal/epl-v10.html
\r
10 * Foster Wheeler Energia Oy - initial API and implementation
\r
11 *******************************************************************************/
\r
12 package org.simantics.interop.test;
\r
14 import java.io.File;
\r
15 import java.io.FileNotFoundException;
\r
16 import java.io.FileReader;
\r
17 import java.io.IOException;
\r
18 import java.io.PrintStream;
\r
19 import java.io.Serializable;
\r
20 import java.util.ArrayList;
\r
21 import java.util.Collection;
\r
22 import java.util.HashMap;
\r
23 import java.util.List;
\r
24 import java.util.Map;
\r
25 import java.util.Stack;
\r
27 import javax.xml.parsers.SAXParser;
\r
28 import javax.xml.parsers.SAXParserFactory;
\r
30 import org.eclipse.jface.action.Action;
\r
31 import org.eclipse.jface.action.IMenuListener;
\r
32 import org.eclipse.jface.action.IMenuManager;
\r
33 import org.eclipse.jface.action.MenuManager;
\r
34 import org.eclipse.jface.dialogs.Dialog;
\r
35 import org.eclipse.jface.dialogs.IDialogConstants;
\r
36 import org.eclipse.jface.dialogs.MessageDialog;
\r
37 import org.eclipse.jface.layout.GridDataFactory;
\r
38 import org.eclipse.jface.viewers.IStructuredContentProvider;
\r
39 import org.eclipse.jface.viewers.IStructuredSelection;
\r
40 import org.eclipse.jface.viewers.LabelProvider;
\r
41 import org.eclipse.jface.viewers.ListViewer;
\r
42 import org.eclipse.jface.viewers.Viewer;
\r
43 import org.eclipse.jface.window.IShellProvider;
\r
44 import org.eclipse.swt.SWT;
\r
45 import org.eclipse.swt.dnd.DND;
\r
46 import org.eclipse.swt.dnd.DropTarget;
\r
47 import org.eclipse.swt.dnd.DropTargetAdapter;
\r
48 import org.eclipse.swt.dnd.DropTargetEvent;
\r
49 import org.eclipse.swt.dnd.TextTransfer;
\r
50 import org.eclipse.swt.dnd.Transfer;
\r
51 import org.eclipse.swt.events.SelectionAdapter;
\r
52 import org.eclipse.swt.events.SelectionEvent;
\r
53 import org.eclipse.swt.layout.FillLayout;
\r
54 import org.eclipse.swt.layout.GridData;
\r
55 import org.eclipse.swt.layout.GridLayout;
\r
56 import org.eclipse.swt.widgets.Button;
\r
57 import org.eclipse.swt.widgets.Composite;
\r
58 import org.eclipse.swt.widgets.Control;
\r
59 import org.eclipse.swt.widgets.Display;
\r
60 import org.eclipse.swt.widgets.FileDialog;
\r
61 import org.eclipse.swt.widgets.Group;
\r
62 import org.eclipse.swt.widgets.Label;
\r
63 import org.eclipse.swt.widgets.Shell;
\r
64 import org.eclipse.swt.widgets.Text;
\r
65 import org.eclipse.ui.part.ViewPart;
\r
66 import org.simantics.db.ReadGraph;
\r
67 import org.simantics.db.Resource;
\r
68 import org.simantics.db.Session;
\r
69 import org.simantics.db.Statement;
\r
70 import org.simantics.db.common.ResourceArray;
\r
71 import org.simantics.db.common.request.ReadRequest;
\r
72 import org.simantics.db.common.utils.NameUtils;
\r
73 import org.simantics.db.exception.DatabaseException;
\r
74 import org.simantics.db.exception.InvalidResourceReferenceException;
\r
75 import org.simantics.db.exception.ServiceException;
\r
76 import org.simantics.db.exception.ValidationException;
\r
77 import org.simantics.db.request.Read;
\r
78 import org.simantics.db.service.SerialisationSupport;
\r
79 import org.simantics.layer0.Layer0;
\r
80 import org.simantics.ui.SimanticsUI;
\r
81 import org.simantics.ui.dnd.LocalObjectTransfer;
\r
82 import org.simantics.ui.dnd.ResourceReferenceTransfer;
\r
83 import org.simantics.ui.dnd.ResourceTransferUtils;
\r
84 import org.simantics.ui.utils.ResourceAdaptionUtils;
\r
85 import org.simantics.utils.datastructures.BijectionMap;
\r
86 import org.simantics.utils.datastructures.Pair;
\r
87 import org.simantics.utils.ui.ExceptionUtils;
\r
88 import org.xml.sax.Attributes;
\r
89 import org.xml.sax.InputSource;
\r
90 import org.xml.sax.SAXException;
\r
91 import org.xml.sax.XMLReader;
\r
92 import org.xml.sax.helpers.DefaultHandler;
\r
95 * Simple multiline text viewer for seeing differences in two subgraphs.
\r
97 * @author Marko Luukkainen <marko.luukkainen@vtt.fi>
\r
100 public class GraphComparatorViewer extends ViewPart{
\r
102 private Session session;
\r
104 private Composite composite;
\r
106 private Label resourceText1;
\r
107 private Label resourceText2;
\r
109 private Text text1;
\r
110 private Text text2;
\r
113 private List<Resource> traversed = new ArrayList<Resource>();
\r
114 private List<Resource> tested = new ArrayList<Resource>();
\r
115 private List<Resource> strong = new ArrayList<Resource>();
\r
116 private List<Resource> nonTraversed = new ArrayList<Resource>();
\r
117 private List<Resource> nonTested = new ArrayList<Resource>();
\r
121 public void createPartControl(Composite parent) {
\r
122 composite = new Composite(parent, SWT.NONE);
\r
123 composite.setLayout(new GridLayout(2, false));
\r
125 session = SimanticsUI.getSession();
\r
127 Composite topComposite = new Composite(composite, SWT.BORDER);
\r
128 topComposite.setLayout(new GridLayout(3, false));
\r
129 text1 = new Text(composite, SWT.MULTI|SWT.V_SCROLL);
\r
130 text2 = new Text(composite, SWT.MULTI|SWT.V_SCROLL);
\r
132 GridDataFactory.fillDefaults().align(SWT.FILL, SWT.TOP).grab(true, false).span(2, 1).applyTo(topComposite);
\r
133 GridDataFactory.fillDefaults().align(SWT.FILL, SWT.FILL).grab(true, true).applyTo(text1);
\r
134 GridDataFactory.fillDefaults().align(SWT.FILL, SWT.FILL).grab(true, true).applyTo(text2);
\r
136 resourceText1 = createDropLabel(topComposite);
\r
137 resourceText2 = createDropLabel(topComposite);
\r
139 Button button = new Button(topComposite, SWT.PUSH);
\r
140 button.setText("Compare");
\r
141 button.addSelectionListener(new SelectionAdapter() {
\r
143 public void widgetSelected(SelectionEvent e) {
\r
150 getViewSite().getActionBars().getToolBarManager().add(new Action("Config") {
\r
152 public void run() {
\r
153 ConfigurationDialog dialog = new ConfigurationDialog(getSite().getShell());
\r
160 private void defaultConf() {
\r
165 nonTraversed.clear();
\r
167 session.syncRequest(new ReadRequest() {
\r
169 public void run(ReadGraph graph) throws DatabaseException {
\r
170 Layer0 l0 = Layer0.getInstance(graph);
\r
171 traversed.add(l0.ConsistsOf);
\r
172 tested.add(l0.IsWeaklyRelatedTo);
\r
173 nonTraversed.add(l0.InstanceOf);
\r
176 } catch (Exception e) {
\r
177 ExceptionUtils.logAndShowError(e);
\r
181 private void compare() {
\r
184 final Resource r1 = (Resource)resourceText1.getData();
\r
185 final Resource r2 = (Resource)resourceText2.getData();
\r
186 if (r1 == null || r2 == null) {
\r
188 text1.setText("Missing input!");
\r
190 text2.setText("Missing input!");
\r
194 session.asyncRequest(new ReadRequest() {
\r
197 public void run(final ReadGraph graph) throws DatabaseException {
\r
198 GraphComparator comparator = new GraphComparator(r1,r2);
\r
200 comparator.addTested(tested);
\r
201 comparator.addTraversed(traversed);
\r
202 comparator.addNonTested(nonTested);
\r
203 comparator.addNonTraversed(nonTraversed);
\r
204 comparator.addStrong(strong);
\r
206 comparator.test(graph);
\r
207 BijectionMap<Statement, Statement> map = comparator.getComparableStatements();
\r
208 Map<Statement, Integer> indices = new HashMap<Statement, Integer>();
\r
209 final StringBuilder sb1 = new StringBuilder();
\r
210 final StringBuilder sb2 = new StringBuilder();
\r
213 GraphChanges changes = comparator.getChanges();
\r
215 for (Pair<Statement,Statement> mod : changes.getModifications()) {
\r
219 Statement s = mod.first;
\r
220 sub = NameUtils.getSafeName(graph, s.getSubject());
\r
221 String pre = NameUtils.getSafeName(graph, s.getPredicate());
\r
222 String obj = NameUtils.getSafeName(graph, s.getObject());
\r
223 if (map.containsLeft(s)) {
\r
225 indices.put(s, index);
\r
226 sb1.append("["+index + "] ");
\r
228 sb1.append(sub + " - " + pre + " - " + obj);
\r
229 sb1.append(" ["+s.getSubject().getResourceId() + " " + s.getPredicate().getResourceId() + " " + s.getObject().getResourceId()+"]");
\r
231 } catch (ValidationException e) {
\r
232 e.printStackTrace();
\r
233 } catch (ServiceException e) {
\r
234 e.printStackTrace();
\r
240 Statement s = mod.second;
\r
241 sub = NameUtils.getSafeName(graph, s.getSubject());
\r
242 String pre = NameUtils.getSafeName(graph, s.getPredicate());
\r
243 String obj = NameUtils.getSafeName(graph, s.getObject());
\r
244 if (map.containsRight(s)) {
\r
245 index = indices.get(map.getLeft(s));
\r
246 sb2.append("["+index + "] ");
\r
248 sb2.append(sub + " - " + pre + " - " + obj);
\r
249 sb2.append(" ["+s.getSubject().getResourceId() + " " + s.getPredicate().getResourceId() + " " + s.getObject().getResourceId()+"]");
\r
251 } catch (ValidationException e) {
\r
252 e.printStackTrace();
\r
253 } catch (ServiceException e) {
\r
254 e.printStackTrace();
\r
258 for (Statement s : changes.getDeletions()) {
\r
262 sub = NameUtils.getSafeName(graph, s.getSubject());
\r
263 String pre = NameUtils.getSafeName(graph, s.getPredicate());
\r
264 String obj = NameUtils.getSafeName(graph, s.getObject());
\r
265 if (map.containsLeft(s)) {
\r
267 indices.put(s, index);
\r
268 sb1.append("["+index + "] ");
\r
270 sb1.append(sub + " - " + pre + " - " + obj);
\r
271 sb1.append(" ["+s.getSubject().getResourceId() + " " + s.getPredicate().getResourceId() + " " + s.getObject().getResourceId()+"]");
\r
273 } catch (ValidationException e) {
\r
274 e.printStackTrace();
\r
275 } catch (ServiceException e) {
\r
276 e.printStackTrace();
\r
281 for (Statement s : changes.getAdditions()) {
\r
284 sub = NameUtils.getSafeName(graph, s.getSubject());
\r
285 String pre = NameUtils.getSafeName(graph, s.getPredicate());
\r
286 String obj = NameUtils.getSafeName(graph, s.getObject());
\r
287 if (map.containsRight(s)) {
\r
288 index = indices.get(map.getLeft(s));
\r
289 sb2.append("["+index + "] ");
\r
291 sb2.append(sub + " - " + pre + " - " + obj);
\r
292 sb2.append(" ["+s.getSubject().getResourceId() + " " + s.getPredicate().getResourceId() + " " + s.getObject().getResourceId()+"]");
\r
294 } catch (ValidationException e) {
\r
295 e.printStackTrace();
\r
296 } catch (ServiceException e) {
\r
297 e.printStackTrace();
\r
301 Display.getDefault().asyncExec(new Runnable() {
\r
303 public void run() {
\r
304 text1.setText(sb1.toString());
\r
305 text2.setText(sb2.toString());
\r
314 public void setFocus() {
\r
315 composite.setFocus();
\r
319 public void dispose() {
\r
325 // copy-paste from GraphDebugger
\r
326 public Label createDropLabel(Composite parent) {
\r
327 final Label label = new Label(parent, SWT.BORDER);
\r
328 label.setAlignment(SWT.CENTER);
\r
329 label.setText("Drag a resource here to examine it in this debugger!");
\r
330 label.setForeground(parent.getDisplay().getSystemColor(SWT.COLOR_DARK_GRAY));
\r
331 GridData data = new GridData(SWT.FILL, SWT.TOP, true, false);
\r
332 data.heightHint = 16;
\r
333 label.setLayoutData(data);
\r
335 // Add resource id drop support to the drop-area.
\r
336 DropTarget dropTarget = new DropTarget(label, DND.DROP_LINK | DND.DROP_COPY);
\r
337 dropTarget.setTransfer(new Transfer[] { TextTransfer.getInstance(), ResourceReferenceTransfer.getInstance(), LocalObjectTransfer.getTransfer() });
\r
338 dropTarget.addDropListener(new DropTargetAdapter() {
\r
340 public void dragEnter(DropTargetEvent event) {
\r
341 event.detail = DND.DROP_LINK;
\r
342 //label.setBackground(green);
\r
346 public void dragLeave(DropTargetEvent event) {
\r
347 label.setBackground(null);
\r
351 public void drop(DropTargetEvent event) {
\r
352 label.setBackground(null);
\r
353 ResourceArray[] data = parseEventData(event);
\r
354 if (data == null || data.length != 1) {
\r
355 event.detail = DND.DROP_NONE;
\r
358 final ResourceArray array = data[0];
\r
359 final Resource r = array.resources[array.resources.length - 1];
\r
363 label.setText(session.syncRequest(new Read<String>() {
\r
365 public String perform(ReadGraph graph)
\r
366 throws DatabaseException {
\r
367 return NameUtils.getSafeName(graph, r);
\r
370 } catch (DatabaseException e) {
\r
371 e.printStackTrace();
\r
375 private ResourceArray[] parseEventData(DropTargetEvent event) {
\r
376 //System.out.println("DATA: " + event.data);
\r
377 if (event.data instanceof String) {
\r
379 SerialisationSupport support = session.getService(SerialisationSupport.class);
\r
380 return ResourceTransferUtils.readStringTransferable(support, (String) event.data).toResourceArrayArray();
\r
381 } catch (IllegalArgumentException e) {
\r
382 e.printStackTrace();
\r
383 } catch (DatabaseException e) {
\r
384 e.printStackTrace();
\r
387 ResourceArray[] ret = ResourceAdaptionUtils.toResourceArrays(event.data);
\r
388 if (ret.length > 0)
\r
399 private class ConfigurationDialog extends Dialog {
\r
401 protected ConfigurationDialog(Shell parentShell) {
\r
402 super(parentShell);
\r
406 protected void createButtonsForButtonBar(Composite parent) {
\r
407 createButton(parent, IDialogConstants.OK_ID, IDialogConstants.OK_LABEL, true);
\r
408 createButton(parent, IDialogConstants.CLIENT_ID+1, "Load", false);
\r
409 createButton(parent, IDialogConstants.CLIENT_ID+2, "Save", false);
\r
413 protected void buttonPressed(int buttonId) {
\r
414 super.buttonPressed(buttonId);
\r
415 if (buttonId == IDialogConstants.CLIENT_ID+1) {
\r
417 FileDialog dialog = new FileDialog(Display.getCurrent().getActiveShell(),SWT.OPEN);
\r
418 dialog.setFilterExtensions(new String[]{"*.xml"});
\r
419 String filename = dialog.open();
\r
420 if (filename == null)
\r
424 traversedViewer.refresh();
\r
425 testedViewer.refresh();
\r
426 strongViewer.refresh();
\r
427 nonTestedViewer.refresh();
\r
428 nonTraversedViewer.refresh();
\r
429 } catch (Exception e1) {
\r
430 MessageDialog.openError(Display.getCurrent().getActiveShell(), "Cannot load file" , e1.getMessage());
\r
432 } else if (buttonId == IDialogConstants.CLIENT_ID+2) {
\r
434 FileDialog dialog = new FileDialog(Display.getCurrent().getActiveShell(),SWT.SAVE);
\r
435 dialog.setFilterExtensions(new String[]{"*.xml"});
\r
436 String filename = dialog.open();
\r
437 if (filename == null)
\r
440 saveConf(filename);
\r
441 if (!filename.endsWith("xml"))
\r
442 filename += ".xml";
\r
443 } catch (FileNotFoundException e1) {
\r
444 MessageDialog.openError(Display.getCurrent().getActiveShell(), "Cannot save file" , e1.getMessage());
\r
445 } catch (IOException e1) {
\r
446 MessageDialog.openError(Display.getCurrent().getActiveShell(), "Cannot save file" , e1.getMessage());
\r
447 } catch (DatabaseException e1) {
\r
448 MessageDialog.openError(Display.getCurrent().getActiveShell(), "Cannot save file" , e1.getMessage());
\r
453 private ListViewer traversedViewer;
\r
454 private ListViewer testedViewer;
\r
455 private ListViewer strongViewer;
\r
456 private ListViewer nonTraversedViewer;
\r
457 private ListViewer nonTestedViewer;
\r
460 protected Control createDialogArea(Composite parent) {
\r
461 Composite composite = (Composite) super.createDialogArea(parent);
\r
462 composite.setLayout(new FillLayout(SWT.VERTICAL));
\r
464 Group group = new Group(composite, SWT.NONE);
\r
465 group.setText("Traversed");
\r
466 group.setLayout(new FillLayout());
\r
467 traversedViewer = new ListViewer(group);
\r
469 group = new Group(composite, SWT.NONE);
\r
470 group.setText("Tested");
\r
471 group.setLayout(new FillLayout());
\r
472 testedViewer = new ListViewer(group);
\r
474 group = new Group(composite, SWT.NONE);
\r
475 group.setText("Strong");
\r
476 group.setLayout(new FillLayout());
\r
477 strongViewer = new ListViewer(group);
\r
479 group = new Group(composite, SWT.NONE);
\r
480 group.setText("NonTraversed");
\r
481 group.setLayout(new FillLayout());
\r
482 nonTraversedViewer = new ListViewer(group);
\r
484 group = new Group(composite, SWT.NONE);
\r
485 group.setText("NonTested");
\r
486 group.setLayout(new FillLayout());
\r
487 nonTestedViewer = new ListViewer(group);
\r
489 traversedViewer.setContentProvider(new ResourceListContentProvider());
\r
490 traversedViewer.setLabelProvider(new ResourceLabelProvider());
\r
492 testedViewer.setContentProvider(new ResourceListContentProvider());
\r
493 testedViewer.setLabelProvider(new ResourceLabelProvider());
\r
495 strongViewer.setContentProvider(new ResourceListContentProvider());
\r
496 strongViewer.setLabelProvider(new ResourceLabelProvider());
\r
498 nonTraversedViewer.setContentProvider(new ResourceListContentProvider());
\r
499 nonTraversedViewer.setLabelProvider(new ResourceLabelProvider());
\r
501 nonTestedViewer.setContentProvider(new ResourceListContentProvider());
\r
502 nonTestedViewer.setLabelProvider(new ResourceLabelProvider());
\r
504 MenuManager strongManager = new MenuManager();
\r
505 strongManager.setRemoveAllWhenShown(true);
\r
506 strongManager.addMenuListener(new ListPopupListener(strongViewer));
\r
507 strongViewer.getControl().setMenu(strongManager.createContextMenu(strongViewer.getControl()));
\r
509 MenuManager nonTestedManager = new MenuManager();
\r
510 nonTestedManager.setRemoveAllWhenShown(true);
\r
511 nonTestedManager.addMenuListener(new ListPopupListener(nonTestedViewer));
\r
512 nonTestedViewer.getControl().setMenu(nonTestedManager.createContextMenu(nonTestedViewer.getControl()));
\r
514 MenuManager nonTraversedManager = new MenuManager();
\r
515 nonTraversedManager.setRemoveAllWhenShown(true);
\r
516 nonTraversedManager.addMenuListener(new ListPopupListener(nonTraversedViewer));
\r
517 nonTraversedViewer.getControl().setMenu(nonTraversedManager.createContextMenu(nonTraversedViewer.getControl()));
\r
519 MenuManager testedManager = new MenuManager();
\r
520 testedManager.setRemoveAllWhenShown(true);
\r
521 testedManager.addMenuListener(new ListPopupListener(testedViewer));
\r
522 testedViewer.getControl().setMenu(testedManager.createContextMenu(testedViewer.getControl()));
\r
524 MenuManager traversedManager = new MenuManager();
\r
525 traversedManager.setRemoveAllWhenShown(true);
\r
526 traversedManager.addMenuListener(new ListPopupListener(traversedViewer));
\r
527 traversedViewer.getControl().setMenu(traversedManager.createContextMenu(traversedViewer.getControl()));
\r
529 traversedViewer.setInput(traversed);
\r
530 testedViewer.setInput(tested);
\r
531 strongViewer.setInput(strong);
\r
532 nonTestedViewer.setInput(nonTested);
\r
533 nonTraversedViewer.setInput(nonTraversed);
\r
540 private class ListPopupListener implements IMenuListener {
\r
541 private ListViewer viewer;
\r
543 public ListPopupListener(ListViewer viewer) {
\r
544 this.viewer = viewer;
\r
548 public void menuAboutToShow(IMenuManager manager) {
\r
549 IStructuredSelection s = (IStructuredSelection)viewer.getSelection();
\r
550 List<Object> list = (List<Object>)viewer.getInput();
\r
551 manager.add(new AddAction(viewer, list));
\r
552 if (!s.isEmpty()) {
\r
553 Object element = s.getFirstElement();
\r
554 manager.add(new DeleteAction(viewer, list, element));
\r
560 private class DeleteAction extends Action {
\r
561 private Viewer viewer;
\r
562 private List<?> list;
\r
563 private Object obj;
\r
564 public DeleteAction(Viewer viewer, List<?> list, Object obj) {
\r
568 this.viewer = viewer;
\r
572 public void run() {
\r
578 private class AddAction extends Action {
\r
579 private Viewer viewer;
\r
580 private List<Object> list;
\r
581 public AddAction(Viewer viewer, List<Object> list) {
\r
584 this.viewer = viewer;
\r
588 public void run() {
\r
589 RelationChooseDialog dialog = new RelationChooseDialog(getSite().getShell());
\r
590 if (dialog.open() == RelationChooseDialog.OK) {
\r
591 final String uri = dialog.getUri();
\r
593 Resource res = session.syncRequest(new Read<Resource>() {
\r
595 public Resource perform(ReadGraph graph)
\r
596 throws DatabaseException {
\r
598 return graph.getResource(uri);
\r
599 } catch (Exception e) {
\r
608 MessageDialog.openError(getSite().getShell(), "Error", "Relation '" + uri + "' not found.");
\r
610 } catch (Exception e) {
\r
620 private class RelationChooseDialog extends Dialog {
\r
622 private String uri = null;
\r
624 public RelationChooseDialog(IShellProvider parentShell) {
\r
625 super(parentShell);
\r
628 public RelationChooseDialog(Shell parentShell) {
\r
629 super(parentShell);
\r
633 protected Control createDialogArea(Composite parent) {
\r
634 Composite composite = (Composite) super.createDialogArea(parent);
\r
635 composite.setLayout(new GridLayout(2, false));
\r
636 Label label = new Label(composite, SWT.NONE);
\r
637 label.setText("URI:");
\r
639 text = new Text(composite, SWT.SINGLE | SWT.BORDER);
\r
640 text.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));
\r
646 protected void okPressed() {
\r
647 uri = text.getText();
\r
651 public String getUri() {
\r
657 private class ResourceListContentProvider implements IStructuredContentProvider {
\r
659 @SuppressWarnings("unchecked")
\r
661 public Object[] getElements(Object inputElement) {
\r
662 List<Resource> list = (List<Resource>)inputElement;
\r
663 return list.toArray();
\r
667 public void inputChanged(Viewer viewer, Object oldInput, Object newInput) {
\r
672 public void dispose() {
\r
677 private class ResourceLabelProvider extends LabelProvider {
\r
680 public String getText(Object element) {
\r
681 final Resource res = (Resource) element;
\r
683 return session.syncRequest(new Read<String>() {
\r
685 public String perform(ReadGraph graph) throws DatabaseException {
\r
686 return NameUtils.getSafeName(graph, res);
\r
689 } catch (DatabaseException e) {
\r
690 return "Error: " + e.getMessage();
\r
696 private boolean saveConf(String filename) throws IOException, DatabaseException {
\r
697 File file = new File(filename);
\r
698 if (file.exists()) {
\r
699 if(!MessageDialog.openQuestion(Display.getCurrent().getActiveShell(), "Saving compare configuration", "Do you want to overwrite file'" + filename + "'?"))
\r
702 if(!file.createNewFile())
\r
705 final PrintStream ps = new PrintStream(file);
\r
706 ps.println("<?xml version=\"1.0\"?>");
\r
707 ps.println("<compare>");
\r
708 session.syncRequest(new ReadRequest() {
\r
711 public void run(ReadGraph graph) throws DatabaseException {
\r
712 for (Resource r : traversed) {
\r
713 ps.println("<traversed uri=\"" + graph.getURI(r) + "\"/>");
\r
715 for (Resource r : tested) {
\r
716 ps.println("<tested uri=\"" + graph.getURI(r) + "\"/>");
\r
718 for (Resource r : strong) {
\r
719 ps.println("<strong uri=\"" + graph.getURI(r) + "\"/>");
\r
721 for (Resource r : nonTraversed) {
\r
722 ps.println("<nontraversed uri=\"" + graph.getURI(r) + "\"/>");
\r
724 for (Resource r : nonTested) {
\r
725 ps.println("<nontested uri=\"" + graph.getURI(r) + "\"/>");
\r
730 ps.println("</compare>");
\r
736 private void load(String filename) throws Exception {
\r
737 final ImportListener listener = new ImportListener();
\r
738 XMLParser parser = new XMLParser(listener);
\r
739 parser.parse(filename);
\r
741 if (listener.getNonTested().size() +
\r
742 listener.getNonTraversed().size() +
\r
743 listener.getStrong().size() +
\r
744 listener.getTested().size() +
\r
745 listener.getTraversed().size() == 0)
\r
747 session.syncRequest(new ReadRequest() {
\r
750 public void run(ReadGraph graph) throws DatabaseException {
\r
755 nonTraversed.clear();
\r
756 for (String uri : listener.getTested()) {
\r
757 tested.add(graph.getResource(uri));
\r
759 for (String uri : listener.getTraversed()) {
\r
760 traversed.add(graph.getResource(uri));
\r
762 for (String uri : listener.getStrong()) {
\r
763 strong.add(graph.getResource(uri));
\r
766 for (String uri : listener.getNonTested()) {
\r
767 nonTested.add(graph.getResource(uri));
\r
769 for (String uri : listener.getNonTraversed()) {
\r
770 nonTraversed.add(graph.getResource(uri));
\r
780 public static class ImportListener {
\r
783 private Collection<String> traversed = new ArrayList<String>();
\r
784 private Collection<String> tested = new ArrayList<String>();
\r
785 private Collection<String> strong = new ArrayList<String>();
\r
786 private Collection<String> nonTraversed = new ArrayList<String>();
\r
787 private Collection<String> nonTested = new ArrayList<String>();
\r
790 public void done() {
\r
795 public void addTraversed(String uri) {
\r
796 traversed.add(uri);
\r
799 public void addTested(String uri) {
\r
803 public void addStrong(String uri) {
\r
807 public void addNonTraversed(String uri) {
\r
808 nonTraversed.add(uri);
\r
811 public void addNonTested(String uri) {
\r
812 nonTested.add(uri);
\r
815 public Collection<String> getTraversed() {
\r
819 public Collection<String> getNonTested() {
\r
823 public Collection<String> getNonTraversed() {
\r
824 return nonTraversed;
\r
827 public Collection<String> getStrong() {
\r
831 public Collection<String> getTested() {
\r
839 public static class XMLParser {
\r
841 private ImportListener listener;
\r
843 public XMLParser(ImportListener listener) {
\r
844 this.listener = listener;
\r
847 public void parse(String filename) throws Exception{
\r
848 ParserBean p = new ParserBean();
\r
852 private void handleElement(Stack<Element> parents, Element element) throws SAXException{
\r
853 String name = element.qName;
\r
854 if(name.equals("traversed")) {
\r
855 for (Attribute a : element.attributes) {
\r
856 String propertyName = a.localName;
\r
857 String value = a.value;
\r
858 if (propertyName.equals("uri")) {
\r
859 listener.addTraversed(value);
\r
863 } else if(name.equals("tested")) {
\r
864 for (Attribute a : element.attributes) {
\r
865 String propertyName = a.localName;
\r
866 String value = a.value;
\r
867 if (propertyName.equals("uri")) {
\r
868 listener.addTested(value);
\r
872 } else if(name.equals("strong")) {
\r
873 for (Attribute a : element.attributes) {
\r
874 String propertyName = a.localName;
\r
875 String value = a.value;
\r
876 if (propertyName.equals("uri")) {
\r
877 listener.addStrong(value);
\r
881 } else if(name.equals("nontraversed")) {
\r
882 for (Attribute a : element.attributes) {
\r
883 String propertyName = a.localName;
\r
884 String value = a.value;
\r
885 if (propertyName.equals("uri")) {
\r
886 listener.addNonTraversed(value);
\r
890 } else if(name.equals("nontested")) {
\r
891 for (Attribute a : element.attributes) {
\r
892 String propertyName = a.localName;
\r
893 String value = a.value;
\r
894 if (propertyName.equals("uri")) {
\r
895 listener.addNonTested(value);
\r
899 } else if (name.equals("compare")) {
\r
902 throw new SAXException("Unknown element '" + name + "'. The file does not contain ExtIO configuration.");
\r
908 public class ParserBean extends DefaultHandler implements Serializable {
\r
910 private static final long serialVersionUID = -4995836637014958966L;
\r
912 private Stack<Element> current = new Stack<Element>();
\r
913 private Stack<String> texts = new Stack<String>();
\r
915 public ParserBean() {
\r
919 public void parse(String filename) throws Exception {
\r
920 SAXParserFactory spf = SAXParserFactory.newInstance();
\r
921 SAXParser saxParser = spf.newSAXParser();
\r
923 XMLReader reader = saxParser.getXMLReader();
\r
924 FileReader file = new FileReader(filename);
\r
925 reader.setContentHandler(this);
\r
926 reader.parse(new InputSource(file));
\r
931 public void startElement(String uri, String localName, String name,
\r
932 Attributes attributes) throws SAXException {
\r
933 current.push(new Element(uri,localName,name,attributes));
\r
934 texts.push(new String());
\r
938 public void endElement(String uri, String localName, String name)
\r
939 throws SAXException {
\r
941 String text = null;
\r
942 if (!current.empty()) {
\r
944 text = texts.pop();
\r
947 e.setValue(text.trim());
\r
950 handleElement(current,e);
\r
955 public void characters(char[] ch, int start, int length)
\r
956 throws SAXException {
\r
957 if (!current.empty()) {
\r
959 String text = texts.pop();
\r
961 String value = new String(
\r
962 ch, start, length);
\r
969 public class Attribute {
\r
970 public String localName;
\r
971 public String qName;
\r
973 public String value;
\r
975 public Attribute(String localName, String qName, String uri, String value) {
\r
976 this.localName = localName;
\r
977 this.qName = qName;
\r
979 this.value = value;
\r
983 public class Element implements Serializable {
\r
984 private static final long serialVersionUID = -5207502156942818875L;
\r
988 String value = null;
\r
989 List<Attribute> attributes = new ArrayList<Attribute>();
\r
991 public Element(String uri, String localName, String qName, Attributes attributes) {
\r
993 this.localName = localName;
\r
994 this.qName = qName;
\r
995 for (int i = 0; i < attributes.getLength(); i++) {
\r
996 this.attributes.add(new Attribute(attributes.getLocalName(i),attributes.getQName(i),attributes.getURI(i),attributes.getValue(i)));
\r
1000 public String getUri() {
\r
1004 public String getLocalName() {
\r
1008 public String getQName() {
\r
1012 public String getValue() {
\r
1016 public List<Attribute> getAttributes() {
\r
1017 return attributes;
\r
1020 public void setValue(String value) {
\r
1021 this.value = value;
\r