public void writeExternal(BinaryWriter out_)
{
ExtUtil.writeNumeric(out_, len);
for (int i = 0; i < len; i++)
{
ExtUtil.writeDecimal(out_, gp[i]);
}
}
public void writeExternal(BinaryWriter out_)
{
if (d == (int)d)
{
out_.Write(0x00);
ExtUtil.writeNumeric(out_, (int)d);
}
else
{
out_.Write(0x01);
ExtUtil.writeDecimal(out_, d);
}
}
/* (non-Javadoc)
* @see org.javarosa.core.services.storage.utilities.Externalizable#writeExternal(java.io.DataOutputStream)
*/
public void writeExternal(BinaryWriter out_)
{
ExtUtil.writeDecimal(out_, d);
}
