Value_t
null()
{
static const Null_t null_data ;
static const Value_t null_value = Value_t( null_data );
return null_value ;
}
Inform::ID_t Inform::open(std::ostream &outstream, Context_t oc)
{
streams_m.insert(Value_t(nextID_m, new InformStream(&outstream, oc)));
return nextID_m++;
}
Inform::ID_t Inform::open(const char *fname, int mode, Context_t oc)
{
streams_m.insert(Value_t(nextID_m, new InformStream(fname, mode, oc)));
return nextID_m++;
}
Inform::ID_t Inform::open(Context_t oc)
{
streams_m.insert(Value_t(nextID_m, new InformStream(&std::cout, oc)));
return nextID_m++;
}
