[Javaowl-commit] JavaOWL/src/org/javaowl/editor/reasoner EditorReasoner.java,1.2,1.3

[Gerardo H. <ma...@us...>]

Update of /cvsroot/javaowl/JavaOWL/src/org/javaowl/editor/reasoner
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv691/src/org/javaowl/editor/reasoner

Modified Files:
	EditorReasoner.java 
Log Message:
Modified pellet.jar to avoid ClassCastException

Index: EditorReasoner.java
===================================================================
RCS file: /cvsroot/javaowl/JavaOWL/src/org/javaowl/editor/reasoner/EditorReasoner.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** EditorReasoner.java	19 Jul 2004 05:52:37 -0000	1.2
--- EditorReasoner.java	22 Jul 2004 18:28:38 -0000	1.3
***************
*** 34,37 ****
--- 34,42 ----
      }
      
+     public Vector getSuperClasses(Resource r, boolean all) {
+         ATerm c = node2term(r);
+         return getClassification().getSuperClasses(c, all);
+     }
+     
      public boolean canBeInstanceOf(Resource r, Resource c) {
          ATerm instance = node2term(r);