#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< ASTEnvironment > | env |
| boost::shared_ptr< TSEnvironment > | gamma |
| boost::shared_ptr< InstEnvironment > | instEnv |
See the comment at the envSet field of the AST class.
Definition at line 531 of file AST.hxx.
| EnvSet::EnvSet | ( | ) | [inline] |
| EnvSet::EnvSet | ( | boost::shared_ptr< ASTEnvironment > | _env, | |
| boost::shared_ptr< TSEnvironment > | _gamma, | |||
| boost::shared_ptr< InstEnvironment > | _instEnv | |||
| ) | [inline] |
| EnvSet::EnvSet | ( | EnvSet & | envs | ) | [inline] |
| static boost::shared_ptr<EnvSet> EnvSet::make | ( | boost::shared_ptr< ASTEnvironment > | _env, | |
| boost::shared_ptr< TSEnvironment > | _gamma, | |||
| boost::shared_ptr< InstEnvironment > | _instEnv | |||
| ) | [inline, static] |
| static boost::shared_ptr<EnvSet> EnvSet::make | ( | ) | [inline, static] |
| void EnvSet::updateKey | ( | const std::string | from, | |
| const std::string | to | |||
| ) | [inline] |
| boost::shared_ptr<ASTEnvironment> EnvSet::env |
| boost::shared_ptr<TSEnvironment> EnvSet::gamma |
| boost::shared_ptr<InstEnvironment> EnvSet::instEnv |
1.4.7