Example #1
0
 virtual void display_head_impl(context & ctx, std::ostream & out) const {
     const char * rel_name = m_pred->get_name().bare_str();
     if (m_store) {
         out << "store " << m_reg << " into " << rel_name;
     }
     else {
         out << "load " << rel_name << " into " << m_reg;
     }
 }
Example #2
0
 virtual void make_annotations(execution_context & ctx) {
     ctx.set_register_annotation(m_reg, m_pred->get_name().bare_str());
 }