// Copyright {Jagger Software Limited} 2003

#if !defined GRAMMAR_PREDICATE_SYMBOL_DEFINITION_INCLUDED || \
     defined GRAMMAR_PREDICATE_SYMBOL_DEFINITION_TEMPLATE_INCLUDED
#error      "grammar/predicate_symbol_definition-template.hpp" #included directly
#endif

#define      GRAMMAR_PREDICATE_SYMBOL_DEFINITION_TEMPLATE_INCLUDED

#include "contract/pre_condition.hpp"
#include "grammar/visitor.hpp"
#include <iostream>

namespace grammar // predicate_symbol_definition - 'tor
{
    template<typename visitor_type>
    predicate_symbol_definition<visitor_type>::predicate_symbol_definition
    (
        const key_type & key, 
        const char * name,
        named_method ptr
    )
        : symbol_definition(key, name)
        , predicate(ptr)
    {
        PRE_CONDITION(ptr != 0);
    }
}

namespace grammar // predicate_symbol_definition - visiting
{
    template<typename visitor_type>
    bool 
    predicate_symbol_definition<visitor_type>::accept(::grammar::visitor & visitor) const
    {
        return (dynamic_cast<visitor_type &>(visitor).*predicate)(*this);
    }
}

namespace grammar // predicate_symbol_definition - streaming
{   
    template<typename visitor_type>
    void 
    predicate_symbol_definition<visitor_type>::write(::std::ostream & out) const
    {
        out << "PREDICATE(" << name << ")\n";
    }
}