Update of /cvsroot/javaowl/JavaOWL/src/org/javaowl/editor/swing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv691/src/org/javaowl/editor/swing
Modified Files:
OntTreePagelet.java Editor.java Util.java
Log Message:
Modified pellet.jar to avoid ClassCastException
Index: OntTreePagelet.java
===================================================================
RCS file: /cvsroot/javaowl/JavaOWL/src/org/javaowl/editor/swing/OntTreePagelet.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** OntTreePagelet.java 20 Jul 2004 21:43:19 -0000 1.1
--- OntTreePagelet.java 22 Jul 2004 18:28:38 -0000 1.2
***************
*** 65,69 ****
this.browsePage = browsePage;
component = createPanel();
! showTypes();
}
--- 65,69 ----
this.browsePage = browsePage;
component = createPanel();
! // showTypes();
}
***************
*** 139,142 ****
--- 139,143 ----
}
+ /*
public void showTypes() {
component.setExpandsSelectedPaths(true);
***************
*** 149,152 ****
--- 150,154 ----
}
}
+ */
public Component getComponent() {
Index: Util.java
===================================================================
RCS file: /cvsroot/javaowl/JavaOWL/src/org/javaowl/editor/swing/Util.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** Util.java 20 Jul 2004 21:43:19 -0000 1.3
--- Util.java 22 Jul 2004 18:28:38 -0000 1.4
***************
*** 19,22 ****
--- 19,25 ----
package org.javaowl.editor.swing;
+ import java.util.Iterator;
+ import java.util.Set;
+
import javax.swing.DefaultListModel;
***************
*** 43,45 ****
--- 46,54 ----
dlm.addElement(o[i]);
}
+
+ public static void setList(DefaultListModel dlm, Set s) {
+ for (Iterator iter = s.iterator(); iter.hasNext(); )
+ dlm.addElement(iter.next());
+ }
+
}
\ No newline at end of file
Index: Editor.java
===================================================================
RCS file: /cvsroot/javaowl/JavaOWL/src/org/javaowl/editor/swing/Editor.java,v
retrieving revision 1.21
retrieving revision 1.22
diff -C2 -d -r1.21 -r1.22
*** Editor.java 22 Jul 2004 02:47:41 -0000 1.21
--- Editor.java 22 Jul 2004 18:28:38 -0000 1.22
***************
*** 23,27 ****
import java.awt.Font;
import java.awt.Frame;
- import java.awt.event.KeyEvent;
import java.awt.event.WindowAdapter;
import java.awt.event.WindowEvent;
--- 23,26 ----
***************
*** 31,35 ****
import java.util.LinkedList;
import java.util.Map;
- import java.util.Iterator;
import javax.swing.ImageIcon;
--- 30,33 ----
***************
*** 38,51 ****
import javax.swing.JMenu;
import javax.swing.JMenuBar;
- import javax.swing.JMenuItem;
import javax.swing.JPanel;
import javax.swing.JTextField;
- import javax.swing.KeyStroke;
import org.javaowl.editor.ModelEditorBean;
import org.javaowl.editor.ResourceEditorBean;
- import com.hp.hpl.jena.ontology.OntResource;
import com.hp.hpl.jena.ontology.OntProperty;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.vocabulary.XSD;
--- 36,47 ----
import javax.swing.JMenu;
import javax.swing.JMenuBar;
import javax.swing.JPanel;
import javax.swing.JTextField;
import org.javaowl.editor.ModelEditorBean;
import org.javaowl.editor.ResourceEditorBean;
import com.hp.hpl.jena.ontology.OntProperty;
+ import com.hp.hpl.jena.ontology.OntResource;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.vocabulary.XSD;
|