highlightstateprinter.h

//
// Author: Lorenzo Bettini <http://www.lorenzobettini.it>, (C) 2004-2008
//
// Copyright: See COPYING file that comes with this distribution
//


#ifndef HIGHLIGHTSTATEPRINTER_H_
#define HIGHLIGHTSTATEPRINTER_H_

#include <set>
#include <iostream>

namespace srchilite {

class HighlightState;
class HighlightRule;
struct HighlightToken;

typedef std::set<int> StateIdSet;

class HighlightStatePrinter {
private:
    int indent;
    StateIdSet stateidset;
    std::ostream &stream;

public:
    HighlightStatePrinter(std::ostream &s = std::cout);
    ~HighlightStatePrinter();

    void printHighlightState(const HighlightState *state);
    void printHighlightRule(const HighlightRule *rule);
    void printHighlightToken(const HighlightToken *token);
};

}

#endif /*HIGHLIGHTSTATEPRINTER_H_*/