787788789790791792793794795796797
if (any == null) throw new org.omg.DynamicAny.DynAnyPackage.InvalidValue(); try { return any.extract_double(); } catch (org.omg.CORBA.BAD_OPERATION e) { throw new org.omg.DynamicAny.DynAnyPackage.TypeMismatch(); } }
786787788789790791792793794795796