class VisitorSemantic
A policy semantic checker. More...
 
LOGO
 Annotated List  Files  Globals  Hierarchy  Index  Top

Public Types

Public Methods

Detailed Description

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.]

enum PolicyType { IMPORT, EXPORT }

PolicyType

sem_error (class)

sem_error

 VisitorSemantic (SemanticVarRW& varrw, VarMap& varmap, SetMap& setmap, const string& protocol, PolicyType ptype)

VisitorSemantic

Parameters:

varrwsemantic VarRW used to simulate a protocol.
varmapthe varmap.
setmapthe SetMap to check if sets exist.
protocolthe protocol which instantiates the policy.
ptypethe type of policy [import/export].
const Element*  visit (PolicyStatement& policy)

visit

Reimplemented from Visitor.

const Element*  visit (Term& term)

visit

Reimplemented from Visitor.

const Element*  visit (NodeUn& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeBin& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeAssign& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeVar& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeSet& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeElem& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeAccept& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeReject& node)

visit

Reimplemented from Visitor.

const Element*  visit (NodeProto& node)

visit

Reimplemented from Visitor.

const set<string>&  sets ()

sets

[const]

Returns: sets used by the policy.

Generated by: pavlin on possum.icir.org on Thu Mar 9 04:43:28 2006, using kdoc $.