Source: ../../policy/visitor_semantic.hh

Annotated List  Files  Globals  Hierarchy  Index  Top

// vim:set sts=4 ts=8:

// Copyright (c) 2001-2005 International Computer Science Institute
//
// Permission is hereby granted, free of charge, to any person obtaining a
// copy of this software and associated documentation files (the "Software")
// to deal in the Software without restriction, subject to the conditions
// listed in the XORP LICENSE file. These conditions include: you must
// preserve this copyright notice, and you cannot mention the copyright
// holders in advertising related to the Software without their permission.
// The Software is provided WITHOUT ANY WARRANTY, EXPRESS OR IMPLIED. This
// notice is a summary of the XORP LICENSE file; the license in that file is
// legally binding.

// $XORP: xorp/policy/visitor_semantic.hh,v 1.2 2005/03/25 02:54:10 pavlin Exp $

#ifndef __POLICY_VISITOR_SEMANTIC_HH__
#define __POLICY_VISITOR_SEMANTIC_HH__

#include "policy/common/varrw.hh"
#include "policy/common/dispatcher.hh"

#include "visitor.hh"
#include "semantic_varrw.hh"
#include "set_map.hh"
#include "policy_statement.hh"
#include "regex.h"

#include "node.hh"

/**
 * @short A policy semantic checker.
 *
 * A policy is instantiated by a protocol and policytype. Thus, semantic
 * checking must be performed realtive to the instantiation. [Generic semantic
 * checking may be accomplished too, but it is not done.]
 */
class VisitorSemantic : public Visitor {
public:
    enum PolicyType {
	IMPORT,
	EXPORT
    };

    /**
     * @short Exception thrown on a semantic error
     */
    class sem_error : public PolicyException {
    public:
	sem_error(const string& err) : PolicyException(err) {}

    };

    /**
     * @param varrw semantic VarRW used to simulate a protocol.
     * @param setmap the SetMap to check if sets exist.
     * @param protocol the protocol which instantiates the policy.
     * @param ptype the type of policy [import/export].
     */
    VisitorSemantic(SemanticVarRW& varrw, SetMap& setmap,
		    const string& protocol, PolicyType ptype);
    
    const Element* visit(PolicyStatement& policy);

    const Element* visit(Term& term);

    const Element* visit(NodeUn& node);
    
    const Element* visit(NodeBin& node);
    
    const Element* visit(NodeAssign& node);
    
    const Element* visit(NodeVar& node);
    
    const Element* visit(NodeSet& node);

    const Element* visit(NodeElem& node);

    const Element* visit(NodeRegex& node);

    const Element* visit(NodeAccept& node);
    
    const Element* visit(NodeReject& node);
    
    const Element* visit(NodeProto& node);

    /**
     * @return sets used by the policy.
     *
     */
    const set<string>& sets() const {
	return _sets;
    }

private:
    SemanticVarRW& _varrw;
    SetMap& _setmap;
    Dispatcher _disp;

    set<string> _sets;

    string _protocol;

    string _current_protocol;

    PolicyType _ptype;

    set<Element*> _trash;

    // not impl
    VisitorSemantic(const VisitorSemantic&);
    VisitorSemantic& operator=(const VisitorSemantic&);
};

#endif // __POLICY_VISITOR_SEMANTIC_HH__