public static Standard_OStream ExtChar(Standard_OStream theOs, char theValue)
{
theOs.Write(theValue.ToString(CultureInfo.InvariantCulture));
return(theOs);
}
public static Standard_OStream PutInteger(Standard_OStream theOs, int theValue)
{
theOs.Write(theValue.ToString(CultureInfo.InvariantCulture));
return(theOs);
}
public static Standard_OStream PutReal(Standard_OStream theOs, double theValue)
{
theOs.Write(theValue.ToString(CultureInfo.InvariantCulture));
return(theOs);
}
//TODO: is the serialization will be made in binary or stream?
//holding this until more clarification
public static Standard_OStream PutBool(Standard_OStream theOs, bool theValue)
{
theOs.Write(theValue? "1" : "0");
return(theOs);
}
