Beispiel #1
0
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;
  }
}
Beispiel #2
0
void PrinterBase::print(const PVField& pv)
{
    if(!strm)
        throw std::runtime_error("No stream set for PV Printer");
    impl_print(pv);
}