![]() ![]() |
![]() |
version 1.4, 2002/07/19 23:00:25 | version 1.5, 2002/08/20 17:39:37 | ||
---|---|---|---|
|
| ||
// PEGASUS_OUT(rhs.toString()); | // PEGASUS_OUT(rhs.toString()); | ||
if (rhs.getType() != lhs.getType()) | if (rhs.getType() != lhs.getType()) | ||
throw TypeMismatch(); | throw TypeMismatchException(); | ||
// | // | ||
// Now that the types are known to be alike, apply the | // Now that the types are known to be alike, apply the |
|
No CVS admin address has been configured |
Powered by ViewCVS 0.9.2 |