EnvSet Struct Reference

Set of environments associated with a given AST node. More...

#include <AST.hxx>


Public Member Functions

 EnvSet ()
 EnvSet (boost::shared_ptr< ASTEnvironment > _env, boost::shared_ptr< TSEnvironment >_gamma, boost::shared_ptr< InstEnvironment > _instEnv)
 EnvSet (EnvSet &envs)
void updateKey (const std::string from, const std::string to)

Static Public Member Functions

static boost::shared_ptr<
EnvSet
make ()
static boost::shared_ptr<
EnvSet
make (boost::shared_ptr< ASTEnvironment > _env, boost::shared_ptr< TSEnvironment >_gamma, boost::shared_ptr< InstEnvironment > _instEnv)
static boost::shared_ptr<
EnvSet
make (EnvSet &envs)

Data Fields

boost::shared_ptr< ASTEnvironmentenv
boost::shared_ptr< TSEnvironmentgamma
boost::shared_ptr< InstEnvironmentinstEnv


Detailed Description

Set of environments associated with a given AST node.

See the comment at the envSet field of the AST class.

Definition at line 531 of file AST.hxx.


Constructor & Destructor Documentation

EnvSet::EnvSet (  )  [inline]

Definition at line 536 of file AST.hxx.

References env, gamma, boost::GC_NULL, and instEnv.

Referenced by make().

EnvSet::EnvSet ( boost::shared_ptr< ASTEnvironment _env,
boost::shared_ptr< TSEnvironment _gamma,
boost::shared_ptr< InstEnvironment _instEnv 
) [inline]

Definition at line 543 of file AST.hxx.

References env, gamma, and instEnv.

EnvSet::EnvSet ( EnvSet envs  )  [inline]

Definition at line 551 of file AST.hxx.

References env, gamma, and instEnv.


Member Function Documentation

static boost::shared_ptr<EnvSet> EnvSet::make ( EnvSet envs  )  [inline, static]

Definition at line 583 of file AST.hxx.

References EnvSet().

static boost::shared_ptr<EnvSet> EnvSet::make ( boost::shared_ptr< ASTEnvironment _env,
boost::shared_ptr< TSEnvironment _gamma,
boost::shared_ptr< InstEnvironment _instEnv 
) [inline, static]

Definition at line 574 of file AST.hxx.

References EnvSet().

static boost::shared_ptr<EnvSet> EnvSet::make (  )  [inline, static]

Definition at line 567 of file AST.hxx.

References EnvSet().

void EnvSet::updateKey ( const std::string  from,
const std::string  to 
) [inline]

Definition at line 559 of file AST.hxx.

References env, and gamma.


Field Documentation

boost::shared_ptr<ASTEnvironment> EnvSet::env

Definition at line 532 of file AST.hxx.

Referenced by EnvSet(), and updateKey().

boost::shared_ptr<TSEnvironment> EnvSet::gamma

Definition at line 533 of file AST.hxx.

Referenced by EnvSet(), and updateKey().

boost::shared_ptr<InstEnvironment> EnvSet::instEnv

Definition at line 534 of file AST.hxx.

Referenced by EnvSet().


The documentation for this struct was generated from the following file:
Generated on Sat Feb 4 23:59:29 2012 for BitC Compiler by  doxygen 1.4.7