// ------------------------------------------------------------------
// ciMetadata::print
//
// Print debugging output about this ciMetadata.
//
// Implementation note: dispatch to the virtual print_impl behavior
// for this ciObject.
void ciMetadata::print(outputStream* st) {
  st->print("<%s", type_string());
  GUARDED_VM_ENTRY(print_impl(st);)
void print(const T& ... t)
{
    (void) std::initializer_list<int>{ (print_impl(t), 0)... };
}
Beispiel #3
0
 static void  print(outputStream* st, const nmethod* nm, const char* msg = NULL, bool short_form = false, bool cr = true) {
   print_impl(st, nm->method(), nm->compile_id(), nm->comp_level(),
                          nm->is_osr_method(), nm->is_osr_method() ? nm->osr_entry_bci() : -1, /*is_blocking*/ false,
                          msg, short_form, cr);
 }
 void print_impl(Head&& head, Tail&& ... tail)
 {
     std::cout << " " << head;
     print_impl(tail...);
 }
 void tuple_print_impl(IndexTuple< Indexes... >, tuple<Args...>&& tup)
 {
     print_impl(std::forward<Args>(std::get<Indexes>(tup))...);
 }
Beispiel #6
0
void print_impl(std::lock_guard<std::mutex>& lock, const Head& head, const Args& ...args)
{
    std::cout << head << ' ';
    print_impl(lock, args...);
}
Beispiel #7
0
void print(const Args&... args)
{
    std::lock_guard<std::mutex> lock(fMutex);
    print_impl(lock, args...);
    std::cout << std::endl;
}
Beispiel #8
0
 void operator()(ItemType&& item)
 {
     print_impl(item, Score<2>{});
 }
Beispiel #9
0
void printall() {
  cprintf("$ \n");
  cprintf("\\text{Principal } 1 == A \\\\ \n");
  cprintf("\\text{Principal } 2 == B \\\\ \n");
  cprintf("\\text{Principal } 3 == C \\\\ \n");
  cprintf("\\text{Principal } 4 == D \\\\ \n");
  cprintf("\\text{Principal } 5 == E \\\\ \n");
  cprintf("\\text{Principal } 6 == F \\\\ \n");
  cprintf("\\text{Principal } 7 == G \\\\ \n");
  cprintf("\\text{Predicate } 99 == OK \\\\ \n");
  cprintf("\\text{Predicate } 100 == ALRIGHT \\\\\\\\ \n");
  cprintf("\\text{PRINTING FORMULAE} \\\\\\\\ \n");
  print_pred();
  freeall();
  cprintf(" \\\\\\\\ \n");
  print_impl();
  freeall();
  cprintf(" \\\\\\\\ \n");
  print_signed();
  freeall();
  cprintf(" \\\\\\\\ \n");
  print_says();
  freeall();
  cprintf(" \\\\\\\\ \n");
  print_confirms();
  freeall();
  cprintf(" \\\\\\\\ \n");
  print_abs();
  freeall();
  cprintf(" \\\\\\\\ \n");
  cprintf("\\text{PRINTING CONTEXT} \\\\\\\\ \n");
  print_context();
  freeall();
  cprintf(" \\\\\\\\ \n");
  cprintf("\\text{PRINTING PROOFS} \\\\\\\\ \n");
  print_signed_p();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_confirms_p();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_assump_p();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_tauto_p();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_weaken_impl_p();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_impl_p();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_says_confirms();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_says_signed();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_says_says();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  print_says_spec();
  freeall();
  cprintf(" \\\\\\\\\\\\\\\\ \n");
  cprintf("$ \n");
  freeall();
  cprintf("\\begin{landscape} \n $");
  print_delegation();
  freeall();
  cprintf("$ \n \\end{landscape} \n ");
}
void AbstractRequestHandler::print(const QByteArray& data, const QString& type)
{
  print_impl(data, type);
}
void AbstractRequestHandler::print(const QString& text, const QString& type)
{
  print_impl(text.toUtf8(), type);
}
Beispiel #12
0
void print(std::ostream& os, T&& t)
{
    print_impl(os, t, int{});
}