KSeExpr
4.0.4.0
|
#include <cassert>
#include <iostream>
#include <memory>
#include <map>
#include <utility>
#include <vector>
#include "ExprLLVM.h"
#include "ExprType.h"
Go to the source code of this file.
Classes | |
class | KSeExpr::ExprLocalVar |
ExprLocalVar reference, all local variables in seexpr are subclasses of this or this itself. More... | |
class | KSeExpr::ExprLocalVarPhi |
ExprLocalVar join (merge) references. Remembers which variables are possible assigners to this. More... | |
class | KSeExpr::ExprVarEnv |
Variable scope for tracking variable lookup. More... | |
class | KSeExpr::ExprVarEnvBuilder |
Variable scope builder is used by the type checking and code gen to track visiblity of variables and changing of. More... | |
struct | KSeExpr::ExprEvalResult |
Evaluation result. More... | |
Namespaces | |
KSeExpr | |