Function printHeader

quest/src/core/printer.cpp:1399–1413

void printHeader(string name, vector<string> notes) {

    // only root node prints
    if (!comm_isRootNode())
        return;

    cout << name << HEADER_OPEN_BRACKET;

    // safely assume notes.size() > 0
    for (size_t i=0; i<notes.size() - 1; i++)
        cout << notes[i] << HEADER_DELIMITER;

    cout << notes.back() << HEADER_CLOSE_BRACKET;
    cout << endl;
}


template <class T>