Merge CPlusPlus::NameId and CPlusPlus::Identifier.

This commit is contained in:
Roberto Raggi
2010-09-02 11:59:01 +02:00
parent 8b2eeb9c5f
commit c12866a467
25 changed files with 69 additions and 131 deletions

View File

@@ -242,9 +242,9 @@ public:
temps.append(control()->qualifiedNameId(base, n)); temps.append(control()->qualifiedNameId(base, n));
} }
virtual void visit(const NameId *name) virtual void visit(const Identifier *name)
{ {
temps.append(control()->nameId(identifier(name->identifier()))); temps.append(control()->identifier(name->chars(), name->size()));
} }
virtual void visit(const TemplateNameId *name) virtual void visit(const TemplateNameId *name)

View File

@@ -231,7 +231,7 @@ private:
return previousType; return previousType;
} }
virtual void visit(const NameId *name) virtual void visit(const Identifier *name)
{ {
int index = findSubstitution(name->identifier()); int index = findSubstitution(name->identifier());
@@ -261,10 +261,9 @@ private:
if (! name) if (! name)
return name; return name;
else if (const Name *nameId = name->asNameId()) { else if (const Identifier *nameId = name->asNameId()) {
const Identifier *id = control()->identifier(nameId->identifier()->chars(), const Identifier *id = control()->identifier(nameId->chars(), nameId->size());
nameId->identifier()->size()); return id;
return control()->nameId(id);
} else if (const TemplateNameId *templId = name->asTemplateNameId()) { } else if (const TemplateNameId *templId = name->asTemplateNameId()) {
QVarLengthArray<FullySpecifiedType, 8> arguments(templId->templateArgumentCount()); QVarLengthArray<FullySpecifiedType, 8> arguments(templId->templateArgumentCount());

View File

@@ -135,7 +135,7 @@ void FindUsages::reportResult(unsigned tokenIndex, const Name *name, Scope *scop
void FindUsages::reportResult(unsigned tokenIndex, const Identifier *id, Scope *scope) void FindUsages::reportResult(unsigned tokenIndex, const Identifier *id, Scope *scope)
{ {
reportResult(tokenIndex, control()->nameId(id), scope); reportResult(tokenIndex, id, scope);
} }
void FindUsages::reportResult(unsigned tokenIndex, const QList<LookupItem> &candidates) void FindUsages::reportResult(unsigned tokenIndex, const QList<LookupItem> &candidates)

View File

@@ -854,7 +854,7 @@ bool CreateBindings::visit(Declaration *decl)
qDebug() << "found entity not found for" << oo(namedTy->name()); qDebug() << "found entity not found for" << oo(namedTy->name());
} }
} else if (Class *klass = ty->asClassType()) { } else if (Class *klass = ty->asClassType()) {
if (const NameId *nameId = decl->name()->asNameId()) { if (const Identifier *nameId = decl->name()->asNameId()) {
ClassOrNamespace *binding = _currentClassOrNamespace->findOrCreateType(nameId); ClassOrNamespace *binding = _currentClassOrNamespace->findOrCreateType(nameId);
binding->addSymbol(klass); binding->addSymbol(klass);
} }
@@ -885,7 +885,7 @@ bool CreateBindings::visit(UsingDeclaration *u)
{ {
if (u->name()) { if (u->name()) {
if (const QualifiedNameId *q = u->name()->asQualifiedNameId()) { if (const QualifiedNameId *q = u->name()->asQualifiedNameId()) {
if (const NameId *unqualifiedId = q->name()->asNameId()) { if (const Identifier *unqualifiedId = q->name()->asNameId()) {
if (ClassOrNamespace *delegate = _currentClassOrNamespace->lookupType(q)) { if (ClassOrNamespace *delegate = _currentClassOrNamespace->lookupType(q)) {
ClassOrNamespace *b = _currentClassOrNamespace->findOrCreateType(unqualifiedId); ClassOrNamespace *b = _currentClassOrNamespace->findOrCreateType(unqualifiedId);
b->addUsing(delegate); b->addUsing(delegate);

View File

@@ -80,9 +80,9 @@ private:
QList<LookupItem> lookup_helper(const Name *name, bool searchInEnclosingScope); QList<LookupItem> lookup_helper(const Name *name, bool searchInEnclosingScope);
void lookup_helper(const Name *name, ClassOrNamespace *binding, void lookup_helper(const Name *name, ClassOrNamespace *binding,
QList<LookupItem> *result, QList<LookupItem> *result,
QSet<ClassOrNamespace *> *processed, QSet<ClassOrNamespace *> *processed,
const TemplateNameId *templateId); const TemplateNameId *templateId);
ClassOrNamespace *lookupType_helper(const Name *name, QSet<ClassOrNamespace *> *processed, ClassOrNamespace *lookupType_helper(const Name *name, QSet<ClassOrNamespace *> *processed,
bool searchInEnclosingScope); bool searchInEnclosingScope);

View File

@@ -62,7 +62,7 @@ QString NamePrettyPrinter::switchName(const QString &name)
return previousName; return previousName;
} }
void NamePrettyPrinter::visit(const NameId *name) void NamePrettyPrinter::visit(const Identifier *name)
{ {
const Identifier *id = name->identifier(); const Identifier *id = name->identifier();
if (id) if (id)

View File

@@ -49,7 +49,7 @@ public:
protected: protected:
QString switchName(const QString &name = QString()); QString switchName(const QString &name = QString());
virtual void visit(const NameId *name); virtual void visit(const Identifier *name);
virtual void visit(const TemplateNameId *name); virtual void visit(const TemplateNameId *name);
virtual void visit(const DestructorNameId *name); virtual void visit(const DestructorNameId *name);
virtual void visit(const OperatorNameId *name); virtual void visit(const OperatorNameId *name);

View File

@@ -231,8 +231,8 @@ bool ResolveExpression::visit(NewExpressionAST *ast)
bool ResolveExpression::visit(TypeidExpressionAST *) bool ResolveExpression::visit(TypeidExpressionAST *)
{ {
const Name *stdName = control()->nameId(control()->identifier("std")); const Name *stdName = control()->identifier("std");
const Name *tiName = control()->nameId(control()->identifier("type_info")); const Name *tiName = control()->identifier("type_info");
const Name *q = control()->qualifiedNameId(control()->qualifiedNameId(/* :: */ 0, stdName), tiName); const Name *q = control()->qualifiedNameId(control()->qualifiedNameId(/* :: */ 0, stdName), tiName);
FullySpecifiedType ty(control()->namedType(q)); FullySpecifiedType ty(control()->namedType(q));

View File

@@ -981,7 +981,7 @@ public:
} }
QSharedPointer<Control> control = state.context().control(); QSharedPointer<Control> control = state.context().control();
const Name *trName = control->nameId(control->identifier("tr")); const Name *trName = control->identifier("tr");
// Check whether we are in a method: // Check whether we are in a method:
for (int i = path.size() - 1; i >= 0; --i) for (int i = path.size() - 1; i >= 0; --i)

View File

@@ -181,7 +181,7 @@ protected:
return item; return item;
} }
virtual void visit(const NameId *name) virtual void visit(const Identifier *name)
{ _item = newCompletionItem(name); } { _item = newCompletionItem(name); }
virtual void visit(const TemplateNameId *name) virtual void visit(const TemplateNameId *name)

View File

@@ -303,7 +303,7 @@ const Name *Bind::objCSelectorArgument(ObjCSelectorArgumentAST *ast, bool *hasAr
if (ast->colon_token) if (ast->colon_token)
*hasArg = true; *hasArg = true;
return control()->nameId(identifier(ast->name_token)); return identifier(ast->name_token);
} }
bool Bind::visit(AttributeAST *ast) bool Bind::visit(AttributeAST *ast)
@@ -468,7 +468,7 @@ void Bind::enumerator(EnumeratorAST *ast, Enum *symbol)
ExpressionTy expression = this->expression(ast->expression); ExpressionTy expression = this->expression(ast->expression);
if (ast->identifier_token) { if (ast->identifier_token) {
const Name *name = control()->nameId(identifier(ast->identifier_token)); const Name *name = identifier(ast->identifier_token);
Declaration *e = control()->newDeclaration(ast->identifier_token, name); Declaration *e = control()->newDeclaration(ast->identifier_token, name);
e->setType(control()->integerType(IntegerType::Int)); // ### introduce IntegerType::Enumerator e->setType(control()->integerType(IntegerType::Int)); // ### introduce IntegerType::Enumerator
symbol->addMember(e); symbol->addMember(e);
@@ -1143,20 +1143,20 @@ bool Bind::visit(QtMemberDeclarationAST *ast)
const Name *name = 0; const Name *name = 0;
if (tokenKind(ast->q_token) == T_Q_D) if (tokenKind(ast->q_token) == T_Q_D)
name = control()->nameId(control()->identifier("d")); name = control()->identifier("d");
else else
name = control()->nameId(control()->identifier("q")); name = control()->identifier("q");
FullySpecifiedType declTy = this->expression(ast->type_id); FullySpecifiedType declTy = this->expression(ast->type_id);
if (tokenKind(ast->q_token) == T_Q_D) { if (tokenKind(ast->q_token) == T_Q_D) {
if (NamedType *namedTy = declTy->asNamedType()) { if (NamedType *namedTy = declTy->asNamedType()) {
if (const NameId *nameId = namedTy->name()->asNameId()) { if (const Identifier *nameId = namedTy->name()->asNameId()) {
std::string privateClass; std::string privateClass;
privateClass += nameId->identifier()->chars(); privateClass += nameId->identifier()->chars();
privateClass += "Private"; privateClass += "Private";
const Name *privName = control()->nameId(control()->identifier(privateClass.c_str(), privateClass.size())); const Name *privName = control()->identifier(privateClass.c_str(), privateClass.size());
declTy.setType(control()->namedType(privName)); declTy.setType(control()->namedType(privName));
} }
} }
@@ -1987,7 +1987,7 @@ bool Bind::visit(NamespaceAST *ast)
const Name *namespaceName = 0; const Name *namespaceName = 0;
if (ast->identifier_token) { if (ast->identifier_token) {
sourceLocation = ast->identifier_token; sourceLocation = ast->identifier_token;
namespaceName = control()->nameId(identifier(ast->identifier_token)); namespaceName = identifier(ast->identifier_token);
} }
Namespace *ns = control()->newNamespace(sourceLocation, namespaceName); Namespace *ns = control()->newNamespace(sourceLocation, namespaceName);
@@ -2008,7 +2008,7 @@ bool Bind::visit(NamespaceAliasDefinitionAST *ast)
const Name *name = 0; const Name *name = 0;
if (ast->namespace_name_token) { if (ast->namespace_name_token) {
sourceLocation = ast->namespace_name_token; sourceLocation = ast->namespace_name_token;
name = control()->nameId(identifier(ast->namespace_name_token)); name = identifier(ast->namespace_name_token);
} }
NamespaceAlias *namespaceAlias = control()->newNamespaceAlias(sourceLocation, name); NamespaceAlias *namespaceAlias = control()->newNamespaceAlias(sourceLocation, name);
@@ -2444,14 +2444,16 @@ bool Bind::visit(ConversionFunctionIdAST *ast)
bool Bind::visit(SimpleNameAST *ast) bool Bind::visit(SimpleNameAST *ast)
{ {
const Identifier *id = identifier(ast->identifier_token); const Identifier *id = identifier(ast->identifier_token);
ast->name = _name = control()->nameId(id); _name = id;
ast->name = _name;
return false; return false;
} }
bool Bind::visit(DestructorNameAST *ast) bool Bind::visit(DestructorNameAST *ast)
{ {
const Identifier *id = identifier(ast->identifier_token); const Identifier *id = identifier(ast->identifier_token);
ast->name = _name = control()->destructorNameId(id); _name = control()->destructorNameId(id);
ast->name = _name;
return false; return false;
} }

View File

@@ -83,7 +83,7 @@ class SymbolTable;
// names // names
class NameVisitor; class NameVisitor;
class Name; class Name;
class NameId; class Identifier;
class TemplateNameId; class TemplateNameId;
class DestructorNameId; class DestructorNameId;
class OperatorNameId; class OperatorNameId;

View File

@@ -129,14 +129,6 @@ template <> struct Compare<ArrayType>
} }
}; };
template <> struct Compare<NameId>
{
bool operator()(const NameId &name, const NameId &otherName) const
{
return name.identifier() < otherName.identifier();
}
};
template <> struct Compare<DestructorNameId> template <> struct Compare<DestructorNameId>
{ {
bool operator()(const DestructorNameId &name, const DestructorNameId &otherName) const bool operator()(const DestructorNameId &name, const DestructorNameId &otherName) const
@@ -256,14 +248,6 @@ public:
delete_array_entries(symbols); delete_array_entries(symbols);
} }
const NameId *findOrInsertNameId(const Identifier *id)
{
if (! id)
return 0;
return nameIds.intern(NameId(id));
}
template <typename _Iterator> template <typename _Iterator>
const TemplateNameId *findOrInsertTemplateNameId(const Identifier *id, _Iterator first, _Iterator last) const TemplateNameId *findOrInsertTemplateNameId(const Identifier *id, _Iterator first, _Iterator last)
{ {
@@ -498,7 +482,6 @@ public:
// ### replace std::map with lookup tables. ASAP! // ### replace std::map with lookup tables. ASAP!
// names // names
Table<NameId> nameIds;
Table<DestructorNameId> destructorNameIds; Table<DestructorNameId> destructorNameIds;
Table<OperatorNameId> operatorNameIds; Table<OperatorNameId> operatorNameIds;
Table<ConversionNameId> conversionNameIds; Table<ConversionNameId> conversionNameIds;
@@ -616,9 +599,6 @@ const NumericLiteral *Control::numericLiteral(const char *chars)
return numericLiteral(chars, length); return numericLiteral(chars, length);
} }
const NameId *Control::nameId(const Identifier *id)
{ return d->findOrInsertNameId(id); }
const TemplateNameId *Control::templateNameId(const Identifier *id, const TemplateNameId *Control::templateNameId(const Identifier *id,
const FullySpecifiedType *const args, const FullySpecifiedType *const args,
unsigned argv) unsigned argv)

View File

@@ -65,9 +65,6 @@ public:
DiagnosticClient *diagnosticClient() const; DiagnosticClient *diagnosticClient() const;
void setDiagnosticClient(DiagnosticClient *diagnosticClient); void setDiagnosticClient(DiagnosticClient *diagnosticClient);
/// Returns the canonical name id.
const NameId *nameId(const Identifier *id);
/// Returns the canonical template name id. /// Returns the canonical template name id.
const TemplateNameId *templateNameId(const Identifier *id, const TemplateNameId *templateNameId(const Identifier *id,
const FullySpecifiedType *const args = 0, const FullySpecifiedType *const args = 0,

View File

@@ -47,6 +47,7 @@
// THE SOFTWARE. // THE SOFTWARE.
#include "Literals.h" #include "Literals.h"
#include "NameVisitor.h"
#include <cstring> #include <cstring>
#include <algorithm> #include <algorithm>
#include <iostream> #include <iostream>
@@ -69,7 +70,7 @@ Literal::Literal(const char *chars, unsigned size)
Literal::~Literal() Literal::~Literal()
{ delete[] _chars; } { delete[] _chars; }
bool Literal::isEqualTo(const Literal *other) const bool Literal::equalTo(const Literal *other) const
{ {
if (! other) if (! other)
return false; return false;
@@ -212,3 +213,18 @@ Identifier::Identifier(const char *chars, unsigned size)
Identifier::~Identifier() Identifier::~Identifier()
{ } { }
void Identifier::accept0(NameVisitor *visitor) const
{ visitor->visit(this); }
bool Identifier::isEqualTo(const Name *other) const
{
if (this == other)
return true;
else if (other) {
if (const Identifier *nameId = other->asNameId()) {
return equalTo(nameId);
}
}
return false;
}

View File

@@ -51,7 +51,7 @@
#include "CPlusPlusForwardDeclarations.h" #include "CPlusPlusForwardDeclarations.h"
#include "Token.h" #include "Token.h"
#include "Name.h"
namespace CPlusPlus { namespace CPlusPlus {
@@ -78,7 +78,7 @@ public:
unsigned hashCode() const; unsigned hashCode() const;
static unsigned hashCode(const char *chars, unsigned size); static unsigned hashCode(const char *chars, unsigned size);
bool isEqualTo(const Literal *other) const; bool equalTo(const Literal *other) const;
private: private:
char *_chars; char *_chars;
@@ -126,11 +126,21 @@ private:
}; };
}; };
class CPLUSPLUS_EXPORT Identifier: public Literal class CPLUSPLUS_EXPORT Identifier: public Literal, public Name
{ {
public: public:
Identifier(const char *chars, unsigned size); Identifier(const char *chars, unsigned size);
virtual ~Identifier(); virtual ~Identifier();
virtual const Identifier *identifier() const { return this; }
virtual bool isEqualTo(const Name *other) const;
virtual const Identifier *asNameId() const
{ return this; }
protected:
virtual void accept0(NameVisitor *visitor) const;
}; };
} // end of namespace CPlusPlus } // end of namespace CPlusPlus

View File

@@ -70,7 +70,7 @@ public:
bool isQualifiedNameId() const; bool isQualifiedNameId() const;
bool isSelectorNameId() const; bool isSelectorNameId() const;
virtual const NameId *asNameId() const { return 0; } virtual const Identifier *asNameId() const { return 0; }
virtual const TemplateNameId *asTemplateNameId() const { return 0; } virtual const TemplateNameId *asTemplateNameId() const { return 0; }
virtual const DestructorNameId *asDestructorNameId() const { return 0; } virtual const DestructorNameId *asDestructorNameId() const { return 0; }
virtual const OperatorNameId *asOperatorNameId() const { return 0; } virtual const OperatorNameId *asOperatorNameId() const { return 0; }

View File

@@ -68,7 +68,7 @@ public:
virtual bool preVisit(const Name *) { return true; } virtual bool preVisit(const Name *) { return true; }
virtual void postVisit(const Name *) {} virtual void postVisit(const Name *) {}
virtual void visit(const NameId *) {} virtual void visit(const Identifier *) {}
virtual void visit(const TemplateNameId *) {} virtual void visit(const TemplateNameId *) {}
virtual void visit(const DestructorNameId *) {} virtual void visit(const DestructorNameId *) {}
virtual void visit(const OperatorNameId *) {} virtual void visit(const OperatorNameId *) {}

View File

@@ -90,32 +90,6 @@ bool QualifiedNameId::isEqualTo(const Name *other) const
return false; return false;
} }
NameId::NameId(const Identifier *identifier)
: _identifier(identifier)
{ }
NameId::~NameId()
{ }
void NameId::accept0(NameVisitor *visitor) const
{ visitor->visit(this); }
const Identifier *NameId::identifier() const
{ return _identifier; }
bool NameId::isEqualTo(const Name *other) const
{
if (other) {
const NameId *nameId = other->asNameId();
if (! nameId)
return false;
const Identifier *l = identifier();
const Identifier *r = nameId->identifier();
return l->isEqualTo(r);
}
return false;
}
DestructorNameId::DestructorNameId(const Identifier *identifier) DestructorNameId::DestructorNameId(const Identifier *identifier)
: _identifier(identifier) : _identifier(identifier)
{ } { }

View File

@@ -82,26 +82,6 @@ private:
const Name *_name; const Name *_name;
}; };
class CPLUSPLUS_EXPORT NameId: public Name
{
public:
NameId(const Identifier *identifier);
virtual ~NameId();
virtual const Identifier *identifier() const;
virtual bool isEqualTo(const Name *other) const;
virtual const NameId *asNameId() const
{ return this; }
protected:
virtual void accept0(NameVisitor *visitor) const;
private:
const Identifier *_identifier;
};
class CPLUSPLUS_EXPORT DestructorNameId: public Name class CPLUSPLUS_EXPORT DestructorNameId: public Name
{ {
public: public:

View File

@@ -94,7 +94,6 @@ public:
/// Returns the last Symbol in the scope. /// Returns the last Symbol in the scope.
iterator lastSymbol() const; iterator lastSymbol() const;
Symbol *lookat(const Name *name) const;
Symbol *lookat(const Identifier *id) const; Symbol *lookat(const Identifier *id) const;
Symbol *lookat(int operatorId) const; Symbol *lookat(int operatorId) const;
@@ -157,21 +156,6 @@ void SymbolTable::enterSymbol(Symbol *symbol)
} }
} }
Symbol *SymbolTable::lookat(const Name *name) const
{
if (! name)
return 0;
else if (const OperatorNameId *opId = name->asOperatorNameId())
return lookat(opId->kind());
else if (const Identifier *id = name->identifier())
return lookat(id);
else
return 0;
}
Symbol *SymbolTable::lookat(const Identifier *id) const Symbol *SymbolTable::lookat(const Identifier *id) const
{ {
if (! _hash || ! id) if (! _hash || ! id)
@@ -183,7 +167,7 @@ Symbol *SymbolTable::lookat(const Identifier *id) const
const Name *identity = symbol->unqualifiedName(); const Name *identity = symbol->unqualifiedName();
if (! identity) { if (! identity) {
continue; continue;
} else if (const NameId *nameId = identity->asNameId()) { } else if (const Identifier *nameId = identity->asNameId()) {
if (nameId->identifier()->isEqualTo(id)) if (nameId->identifier()->isEqualTo(id))
break; break;
} else if (const TemplateNameId *t = identity->asTemplateNameId()) { } else if (const TemplateNameId *t = identity->asTemplateNameId()) {
@@ -303,9 +287,6 @@ Scope::iterator Scope::firstMember() const
Scope::iterator Scope::lastMember() const Scope::iterator Scope::lastMember() const
{ return _members ? _members->lastSymbol() : 0; } { return _members ? _members->lastSymbol() : 0; }
Symbol *Scope::find(const Name *name) const
{ return _members ? _members->lookat(name) : 0; }
Symbol *Scope::find(const Identifier *id) const Symbol *Scope::find(const Identifier *id) const
{ return _members ? _members->lookat(id) : 0; } { return _members ? _members->lookat(id) : 0; }

View File

@@ -80,7 +80,6 @@ public:
/// Returns the last Symbol in the scope. /// Returns the last Symbol in the scope.
iterator lastMember() const; iterator lastMember() const;
Symbol *find(const Name *name) const;
Symbol *find(const Identifier *id) const; Symbol *find(const Identifier *id) const;
Symbol *find(int operatorId) const; Symbol *find(int operatorId) const;

View File

@@ -85,7 +85,7 @@ protected:
return previousValue; return previousValue;
} }
virtual void visit(const NameId *name) virtual void visit(const Identifier *name)
{ _value = name->identifier()->hashCode(); } { _value = name->identifier()->hashCode(); }
virtual void visit(const TemplateNameId *name) virtual void visit(const TemplateNameId *name)

View File

@@ -179,7 +179,7 @@ void tst_Semantic::function_declaration_2()
QVERIFY(! arg->hasInitializer()); QVERIFY(! arg->hasInitializer());
// check the argument's name. // check the argument's name.
const NameId *argNameId = arg->name()->asNameId(); const Identifier *argNameId = arg->name()->asNameId();
QVERIFY(argNameId); QVERIFY(argNameId);
const Identifier *argId = argNameId->identifier(); const Identifier *argId = argNameId->identifier();
@@ -243,7 +243,7 @@ void tst_Semantic::nested_class_1()
Class *classObject = doc->globals->memberAt(0)->asClass(); Class *classObject = doc->globals->memberAt(0)->asClass();
QVERIFY(classObject); QVERIFY(classObject);
QVERIFY(classObject->name()); QVERIFY(classObject->name());
const NameId *classObjectNameId = classObject->name()->asNameId(); const Identifier *classObjectNameId = classObject->name()->asNameId();
QVERIFY(classObjectNameId); QVERIFY(classObjectNameId);
const Identifier *objectId = classObjectNameId->identifier(); const Identifier *objectId = classObjectNameId->identifier();
QCOMPARE(QByteArray(objectId->chars(), objectId->size()), QByteArray("Object")); QCOMPARE(QByteArray(objectId->chars(), objectId->size()), QByteArray("Object"));

View File

@@ -31,8 +31,8 @@ Q_DECLARE_METATYPE(CPlusPlus::FullySpecifiedType);
TranslationUnit *unit; TranslationUnit *unit;
NameId *nameId(const QString &name) const Identifier *nameId(const QString &name)
{ return new NameId(new Identifier(name.toLatin1().constData(), name.toLatin1().size())); } { return new Identifier(name.toLatin1().constData(), name.toLatin1().size()); }
Argument *arg(const QString &name, const FullySpecifiedType &ty) Argument *arg(const QString &name, const FullySpecifiedType &ty)
{ {