TypePtr VariableTable::add(Symbol *sym, TypePtr type,
bool implicit, AnalysisResultConstPtr ar,
ConstructPtr construct,
ModifierExpressionPtr modifiers) {
if (getAttribute(InsideStaticStatement)) {
addStaticVariable(sym, ar);
if (ClassScope::NeedStaticArray(getClassScope(), getFunctionScope())) {
forceVariant(ar, sym->getName(), AnyVars);
}
} else if (getAttribute(InsideGlobalStatement)) {
sym->setGlobal();
m_hasGlobal = true;
AnalysisResult::Locker lock(ar);
if (!isGlobalTable(ar)) {
lock->getVariables()->add(sym->getName(), type, implicit,
ar, construct, modifiers);
}
assert(type->is(Type::KindOfSome) || type->is(Type::KindOfAny));
TypePtr varType = ar->getVariables()->getFinalType(sym->getName());
if (varType) {
type = varType;
} else {
lock->getVariables()->setType(ar, sym->getName(), type, true);
}
} else if (!sym->isHidden() && isPseudoMainTable()) {
// A variable used in a pseudomain
// only need to do this once... should mark the sym.
ar->lock()->getVariables()->add(sym->getName(), type, implicit, ar,
construct, modifiers);
}
if (modifiers) {
if (modifiers->isProtected()) {
sym->setProtected();
} else if (modifiers->isPrivate()) {
sym->setPrivate();
m_hasPrivate = true;
if (!sym->isStatic() && !modifiers->isStatic()) {
m_hasNonStaticPrivate = true;
}
}
if (modifiers->isStatic()) {
addStaticVariable(sym, ar);
}
}
type = setType(ar, sym, type, true);
sym->setDeclaration(construct);
if (!implicit && m_blockScope.isFirstPass()) {
if (!sym->getValue()) {
sym->setValue(construct);
}
}
return type;
}
static bool isEquivRedecl(const std::string &name,
ExpressionPtr exp,
ModifierExpressionPtr modif,
Symbol * symbol) {
ASSERT(exp);
ASSERT(modif);
ASSERT(symbol);
if (symbol->getName() != name ||
symbol->isProtected() != modif->isProtected() ||
symbol->isPrivate() != modif->isPrivate() ||
symbol->isPublic() != modif->isPublic() ||
symbol->isStatic() != modif->isStatic())
return false;
ExpressionPtr symDeclExp =
dynamic_pointer_cast<Expression>(symbol->getDeclaration());
if (!exp) return !symDeclExp;
return exp->equals(symDeclExp);
}
static bool isEquivRedecl(const std::string &name,
ExpressionPtr exp,
ModifierExpressionPtr modif,
Symbol * symbol) {
assert(exp);
assert(modif);
assert(symbol);
if (symbol->getName() != name ||
symbol->isProtected() != modif->isProtected() ||
symbol->isPrivate() != modif->isPrivate() ||
symbol->isPublic() != modif->isPublic() ||
symbol->isStatic() != modif->isStatic())
return false;
auto symDeclExp =
dynamic_pointer_cast<Expression>(symbol->getDeclaration());
if (!exp) return !symDeclExp;
Variant v1, v2;
auto s1 = exp->getScalarValue(v1);
auto s2 = symDeclExp->getScalarValue(v2);
if (s1 != s2) return false;
if (s1) return same(v1, v2);
return exp->getText() == symDeclExp->getText();
}