// ------------------------------------------------------------------
// 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)... };
}
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))...);
}
void print_impl(std::lock_guard<std::mutex>& lock, const Head& head, const Args& ...args)
{
std::cout << head << ' ';
print_impl(lock, args...);
}
void print(const Args&... args)
{
std::lock_guard<std::mutex> lock(fMutex);
print_impl(lock, args...);
std::cout << std::endl;
}
void operator()(ItemType&& item)
{
print_impl(item, Score<2>{});
}
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);
}
void print(std::ostream& os, T&& t)
{
print_impl(os, t, int{});
}