logger.cpp

/*
 *  Copyright (C) 2015  Andrei Karas
 *
 *  This file is part of Paranoid null checker.
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 3 of the License, or
 *  any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

#include "logger.h"

#include "command.h"
#include "includes.h"

#include "analysis/walkitem.h"

#include "nodes/base/node.h"

#include <set>

#include "localconsts.h"

namespace Log
{

void dump(const Node *const node,
          const char *const text,
          ...)
{
    if (!checkCommand(Dump))
        return;

    va_list ap;
    va_start(ap, text);

    if (node)
        fprintf(stderr, "%s", node->getIndent().c_str());
    vfprintf(stderr, text, ap);
    if (node && !node->tag.empty())
        fprintf(stderr, " - %s", node->tag.c_str());
    fprintf(stderr, "\n");

    va_end(ap);
}

void dumpRaw(const Node *const node,
             const char *const text,
             ...)
{
    if (!checkCommand(Dump))
        return;

    va_list ap;
    va_start(ap, text);

    if (node)
        fprintf(stderr, "%s", node->getIndent().c_str());
    vfprintf(stderr, text, ap);
    fprintf(stderr, "\n");

    va_end(ap);
}

void error(const char *const text,
           ...)
{
    va_list ap;
    va_start(ap, text);

    vfprintf(stderr, text, ap);
    fprintf(stderr, "\n");

    va_end(ap);
}

void log(const char *const text,
         ...)
{
    va_list ap;
    va_start(ap, text);
    vfprintf(stderr, text, ap);
    va_end(ap);
}

void dumpInt(const Node *const node,
             const char *const text,
             const int val)
{
    if (!checkCommand(Dump) || !val || !node)
        return;

    fprintf(stderr, "%s", node->getIndent().c_str());
    fprintf(stderr, text, val);
    fprintf(stderr, "\n");
}

void dump(const Node *const node,
          const int indent,
          const char *const text,
          ...)
{
    if (!checkCommand(Dump))
        return;

    va_list ap;
    va_start(ap, text);

    std::string str;
    for (int f = 0; f < indent; f ++)
        str.append(" ");

    if (node)
        fprintf(stderr, "%s%s", str.c_str(), node->getIndent().c_str());
    else
        fprintf(stderr, "%s", str.c_str());
    vfprintf(stderr, text, ap);
    if (node)
    {
        fprintf(stderr, " %d", node->parseChilds);
        if (!node->tag.empty())
            fprintf(stderr, " - %s", node->tag.c_str());
    }
    fprintf(stderr, "\n");

    va_end(ap);
}

void dump(const Node *const node)
{
    if (checkCommand(SmallDump))
    {
        fprintf(stderr,
            "%d %s %s\n",
            node->indent,
            node->nodeTypeName.c_str(),
            node->file.c_str());
        return;
    }

    if (!checkCommand(Dump))
        return;

    if (!node)
    {
        fprintf(stderr, "node is null\n");
        return;
    }
    fprintf(stderr, "%s", node->getIndent().c_str());
    fprintf(stderr, "%s", node->nodeTypeName.c_str());
    if (!node->label.empty())
        fprintf(stderr, " %s", node->label.c_str());
    if (!node->file.empty())
    {
        fprintf(stderr, " %s %d:%d",
            node->file.c_str(),
            node->line,
            node->column);
    }
    fprintf(stderr, " %d", node->parseChilds);
    if (!node->tag.empty())
        fprintf(stderr, " - %s", node->tag.c_str());

    fprintf(stderr, "\n");
}

void dumpAttr(const Node *const node, int num, bool isReturned)
{
    if (!node)
    {
        fprintf(stderr, "node is null\n");
        return;
    }
    fprintf(stderr, "%s", node->getIndent().c_str());
    fprintf(stderr, "%s", node->nodeTypeName.c_str());
    if (!node->label.empty())
        fprintf(stderr, " %s", node->label.c_str());
    if (!node->file.empty())
    {
        fprintf(stderr, " %s %d:%d",
            node->file.c_str(),
            node->line,
            node->column);
    }
    if (!node->tag.empty())
        fprintf(stderr, " - %s", node->tag.c_str());

    fprintf(stderr, " walkTree%d: %d\n", num, isReturned ? 1 : 0);
}

#define dumpWIProps(comment, name) \
    if (!(name).empty()) \
    { \
        Log::log(comment); \
        FOR_EACH (it, name) \
        { \
            if (it.empty()) \
                Log::log("-empty-, "); \
            else \
                Log::log("%s, ", it.c_str()); \
        } \
    }

void dumpWI(Node *const node,
            const std::string &name,
            const WalkItem &wi)
{
//    if (name != "wco " && (node->parent || node != FUNCTION_DECL || name != "analyseNode wi in "))
        return;
    Log::log("%s%s%s %s",
        node->getIndent().c_str(),
        name.c_str(),
        node->nodeTypeName.c_str(),
        node->label.c_str());
    if (wi.cleanExpr)
        Log::log(" clean");
    if (wi.uselessExpr)
        Log::log(" useless");
    if (wi.isReturned)
        Log::log(" returned");
    if (wi.isContinued)
        Log::log(" continued");
    dumpWIProps(" checkedThenNullVars:", wi.checkedThenNullVars)
    dumpWIProps(" checkedThenNonNullVars:", wi.checkedThenNonNullVars)
    dumpWIProps(" checkedElseNullVars:", wi.checkedElseNullVars)
    dumpWIProps(" checkedElseNonNullVars:", wi.checkedElseNonNullVars)
    dumpWIProps(" needCheckNullVars:", wi.needCheckNullVars)
    dumpWIProps(" knownVars:", wi.knownVars)
    dumpWIProps(" knownNullVars:", wi.knownNullVars)
    dumpWIProps(" knownNonNullVars:", wi.knownNonNullVars)
    dumpWIProps(" removeNullVarsAll:", wi.removeNullVarsAll)
    dumpWIProps(" removeNullVars:", wi.removeNullVars)
    dumpWIProps(" addNullVars:", wi.addNullVars)

    if (!wi.linkedVars.empty())
    {
        Log::log(" linkedVars:");
        FOR_EACH (it, wi.linkedVars)
        {
            Log::log("%s -> (", it.first.c_str());
            const StringSet &vars = it.second;
            FOR_EACH (it2,
                      vars)
            {
                Log::log("%s, ", it2.c_str());
            }
            Log::log("), ");
        }
    }
    if (!wi.linkedReverseVars.empty())
    {
        Log::log(" linkedReverseVars:");
        FOR_EACH (it, wi.linkedReverseVars)
        {
            Log::log("%s -> %s ",
                it.first.c_str(),
                it.second.c_str());
        }
    }
    Log::log("\n");
}

void warn(const int loc,
          const std::string &message,
          const std::string &param)
{
    warning_at(loc, 0, message.c_str(), param.c_str());
}

}