void formula_print(Formula f) { switch (f->type) { case PRED_F: pred_print(f->form.pred_f); return; case IMPL_F: impl_print(f->form.impl_f); return; case SIGNED_F: signed_print(f->form.signed_f); return; case SAYS_F: says_print(f->form.says_f); return; case CONFIRMS_F: confirms_print(f->form.confirms_f); return; case ABS_F: abs_print(f->form.abs_f); return; default: cprintf("FORMULA UNDEFINED"); return; } }
void PrinterBase::print(const PVField& pv) { if(!strm) throw std::runtime_error("No stream set for PV Printer"); impl_print(pv); }