/*{{{ void ccsp_dead (int erfl)*/ void ccsp_dead (int erfl) { MESSAGE0 ("\n"); BMESSAGE ("program deadlocked (no processes to run)\n"); FFLUSH (stderr); /* still in raw mode */ set_error_flag (erfl); userproc_exit (2, 0); }
void TypeData::set_ptype (PrimitiveType new_ptype) { if (new_ptype != ptype_) { ptype_ = new_ptype; if (new_ptype == tp_Error) { set_error_flag (true); } on_changed(); } }
void TypeData::set_flags (type_flags_t new_flags) { dl_assert ((flags_ & new_flags) == flags_, "It is forbiddent to remove flag"); if (flags_ != new_flags) { if (new_flags & error_flag_e) { set_error_flag (true); } flags_ = new_flags; on_changed(); } }
/*{{{ void ccsp_dead_quiet (int erfl)*/ void ccsp_dead_quiet (int erfl) { FFLUSH (stderr); set_error_flag (erfl); userproc_exit (2, 0); }