#include <map>
#include <set>
+#include <cstdio>
#include <cstdlib>
#include "location.hh"
CYWord
{
CYIdentifier *replace_;
+ size_t offset_;
+ size_t usage_;
CYIdentifier(const char *word) :
CYWord(word),
- replace_(NULL)
+ replace_(NULL),
+ offset_(0),
+ usage_(0)
{
}
typedef std::set<const char *, CYCStringLess> CYCStringSet;
typedef std::set<CYIdentifier *, CYIdentifierValueLess> CYIdentifierValueSet;
-typedef std::set<CYIdentifier *> CYIdentifierAddressSet;
-typedef std::vector<CYIdentifier *> CYIdentifierAddressVector;
typedef std::map<CYIdentifier *, CYIdentifierFlags> CYIdentifierAddressFlagsMap;
+struct CYIdentifierUsage {
+ CYIdentifier *identifier_;
+ size_t usage_;
+};
+
+typedef std::vector<CYIdentifierUsage> CYIdentifierUsageVector;
+
struct CYScope {
CYScope *parent_;
- CYIdentifierValueSet identifiers_;
+
CYIdentifierAddressFlagsMap internal_;
- size_t offset_;
+ CYIdentifierValueSet identifiers_;
CYScope() :
- parent_(NULL),
- offset_(0)
+ parent_(NULL)
{
}
- void Add(CYContext &context, CYIdentifierAddressVector &external);
+ virtual ~CYScope() {
+ }
+
+ void Declare(CYContext &context, CYIdentifier *identifier, CYIdentifierFlags flags);
+ virtual CYIdentifier *Lookup(CYContext &context, CYIdentifier *identifier);
+ void Merge(CYContext &context, CYIdentifier *identifier);
void Scope(CYContext &context, CYStatement *&statements);
};
struct CYProgram :
- CYScope,
CYThing
{
CYStatement *statements_;
- CYIdentifierAddressVector rename_;
- CYCStringSet external_;
CYProgram(CYStatement *statements) :
statements_(statements)
virtual void Output(CYOutput &out) const;
};
+struct CYContext {
+ apr_pool_t *pool_;
+ CYOptions &options_;
+ CYScope *scope_;
+ CYIdentifierUsageVector rename_;
+
+ CYContext(apr_pool_t *pool, CYOptions &options) :
+ pool_(pool),
+ options_(options),
+ scope_(NULL)
+ {
+ }
+
+ virtual ~CYContext() {
+ }
+
+ template <typename Type_>
+ void Replace(Type_ *&value) {
+ for (;;) if (value == NULL)
+ break;
+ else {
+ Type_ *replace(value->Replace(*this));
+ if (replace != value)
+ value = replace;
+ else break;
+ }
+ }
+};
+
struct CYBlock :
CYStatement,
CYThing
{
CYStatement *statements_;
- CYScope *scope_;
- CYBlock(CYStatement *statements, CYScope *scope = NULL) :
- statements_(statements),
- scope_(scope)
+ CYBlock(CYStatement *statements) :
+ statements_(statements)
{
}
virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYFunction :
- CYScope
-{
+struct CYFunction {
CYIdentifier *name_;
CYFunctionParameter *parameters_;
CYBlock code_;
CYFunction(CYIdentifier *name, CYFunctionParameter *parameters, CYStatement *statements) :
name_(name),
parameters_(parameters),
- code_(statements, this)
+ code_(statements)
{
}