class SemanticVarRW

A VarRW used for semantic checking. More...

 
LOGO
 Annotated List  Files  Globals  Hierarchy  Index  Top

Public Types

Public Methods


Detailed Description

This VarRW checks if elements may be read/written to and does typechecking according to the VarMap.

The user may set which protocols should be "simulated" by the VarRW.

The SemanticVarRW will create dummy elements which are initialized to a default value. This may not be optimal for semantic checking.

var_error (class)

var_error

 SemanticVarRW (VarMap& vars)

SemanticVarRW

Parameters:

varsthe VarMap to use.
 ~SemanticVarRW ()

~SemanticVarRW

const Element&  read (const Id& id)

read

VarRW read interface.

Checks if a variable may be read.

Throws exception on error.

Parameters:

idname of variable.

Returns: dummy element initialized to a default value.

Reimplemented from VarRW.

void  write (const Id& id, const Element& elem)

write

VarRW write interface.

Checks if a variable may be written to, and if the type is correct.

Throws exception on error.

Parameters:

idname of variable.
elemvalue of variable.

Reimplemented from VarRW.

void  sync ()

sync

VarRW sync interface.

Does garbage collection.

Reimplemented from VarRW.

void  set_protocol (const string& proto)

set_protocol

Change the protocol being simulated.

Parameters:

protoprotocol to simulate.

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