version 1.4, 1999/11/04 18:21:42 |
version 1.6, 1999/11/04 18:38:59 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.3 1999/11/03 07:19:16 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OMproxy.java,v 1.5 1999/11/04 18:24:16 tam Exp $ |
*/ |
*/ |
|
|
import JP.ac.kobe_u.math.tam.OpenXM.*; |
import JP.ac.kobe_u.math.tam.OpenXM.*; |
Line 124 class OMproxy implements Runnable{ |
|
Line 124 class OMproxy implements Runnable{ |
|
ByteArrayInputStream stream; |
ByteArrayInputStream stream; |
CMO ret; |
CMO ret; |
|
|
debug("OMXML2CMO called: "+ret); |
debug("OMXML2CMO called: "+obj); |
|
if(!(obj instanceof CMO_STRING)){ |
if(obj instanceof CMO_STRING){ |
|
return new CMO_ERROR2(); |
return new CMO_ERROR2(); |
} |
} |
|
|
Line 134 class OMproxy implements Runnable{ |
|
Line 133 class OMproxy implements Runnable{ |
|
stream = new ByteArrayInputStream(((CMO_STRING)obj).getString().getBytes()); |
stream = new ByteArrayInputStream(((CMO_STRING)obj).getString().getBytes()); |
ret = trans.parse(stream); |
ret = trans.parse(stream); |
}catch(IOException e){ |
}catch(IOException e){ |
|
debug("OMXML2CMO occuered error in trans"); |
return new CMO_ERROR2(new CMO_STRING(e.toString())); |
return new CMO_ERROR2(new CMO_STRING(e.toString())); |
} |
} |
|
|