swift-mirror/lib/Parse/Scope.cpp

//===--- Scope.cpp - Scope Implementation ---------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2015 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See http://swift.org/LICENSE.txt for license information
// See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
//
//  This file implements semantic analysis for Swift declarations.
//
//===----------------------------------------------------------------------===//

#include "Scope.h"
#include "Parser.h"
#include "llvm/ADT/Twine.h"
using namespace swift;

//===----------------------------------------------------------------------===//
// Scope Implementation
//===----------------------------------------------------------------------===//

Scope::Scope(Parser *P) : SI(P->ScopeInfo), ValueHTScope(SI.ValueScopeHT),
                          TypeHTScope(SI.TypeScopeHT), PrevScope(SI.CurScope) {
  if (SI.CurScope)
    Depth = SI.CurScope->Depth+1;
  else
    Depth = 0;
  SI.CurScope = this;
}

//===----------------------------------------------------------------------===//
// ScopeInfo Implementation
//===----------------------------------------------------------------------===//

/// lookupOrInsertTypeNameDecl - Perform a lexical scope lookup for the
/// specified name in a type context, returning the decl if found or
/// installing and returning a new Unresolved one if not.
TypeAliasDecl *ScopeInfo::lookupOrInsertTypeNameDecl(Identifier Name,
                                                     SMLoc Loc) {
  unsigned Level = 0;
  if (TypeAliasDecl *TAD = lookupTypeNameAndLevel(Name, Level))
    return TAD;
  
  // If we don't have a definition for this type, introduce a new TypeAliasDecl
  // with an unresolved underlying type.
  TypeAliasDecl *TAD =
    new (TheParser.Context) TypeAliasDecl(TheParser.CurContext,
                                          Loc, Name, Type());
  UnresolvedTypes[Name] = TAD;
  UnresolvedTypeList.push_back(TAD);
  
  // Inject this into the outermost scope so that subsequent name lookups of the
  // same type will find it.
  llvm::ScopedHashTableScope<Identifier, TypeScopeEntry> *S =
    TypeScopeHT.getCurScope();
  while (S->getParentScope())
    S = S->getParentScope();
  
  TypeScopeHT.insertIntoScope(S, Name, std::make_pair(0, TAD));
  return TAD;
}

/// lookupOrInsertTypeName - This is the same as lookupOrInsertTypeNameDecl,
/// but returns the alias as a type.
Type ScopeInfo::lookupOrInsertTypeName(Identifier Name, SMLoc Loc) {
  return lookupOrInsertTypeNameDecl(Name, Loc)->getAliasType(TheParser.Context);
}



static void diagnoseRedefinition(ValueDecl *Prev, ValueDecl *New, Parser &P) {
  assert(New != Prev && "Cannot conflict with self");
  if (New->Init)
    P.error(New->getLocStart(), "definition conflicts with previous value");
  else
    P.error(New->getLocStart(), "declaration conflicts with previous value");
  
  if (Prev->Init)
    P.note(Prev->getLocStart(), "previous definition here");
  else
    P.note(Prev->getLocStart(), "previous declaration here");
}

/// checkValidOverload - Check whether it is ok for D1 and D2 to be declared at
/// the same scope.  This check is a transitive relationship, so if "D1 is a
/// valid overload of D2" and "D2 is a valid overload of D3" then we know that
/// D1/D3 are valid overloads and we don't have to check all permutations.
static bool checkValidOverload(const ValueDecl *D1, const ValueDecl *D2,
                               Parser &P) {
  if (D1->Attrs.InfixPrecedence != D2->Attrs.InfixPrecedence &&
      D1->Attrs.InfixPrecedence != -1 &&
      D2->Attrs.InfixPrecedence != -1) {
    P.error(D1->getLocStart(),
            "infix precedence of functions in an overload set must match");
    P.note(D2->getLocStart(), "previous declaration here");
    return true;
  }
  
  // Otherwise, everything is fine.
  return false;
}


/// addToScope - Register the specified decl as being in the current lexical
/// scope.
void ScopeInfo::addToScope(ValueDecl *D) {
  // If we have a shadowed variable definition, check to see if we have a
  // redefinition: two definitions in the same scope with the same name.
  ValueScopeHTTy::iterator EntryI = ValueScopeHT.begin(D->Name);
  
  // A redefinition is a hit in the scoped table at the same depth.
  if (EntryI != ValueScopeHT.end() && EntryI->first == CurScope->getDepth()) {
    ValueDecl *PrevDecl = EntryI->second;
    
    // If this is at top-level scope, we allow overloading.  If not, we don't.
    // FIXME: This should be tied to whether the scope corresponds to a
    // DeclContext like a TranslationUnit or a Namespace.  Add a bit to Scope
    // to track this?
    if (CurScope->getDepth() != 0)
      return diagnoseRedefinition(PrevDecl, D, TheParser);
    
    // If this is at top-level scope, validate that the members of the overload
    // set all agree.
    
    // Check to see if D and PrevDecl are valid in the same overload set.
    if (checkValidOverload(D, PrevDecl, TheParser))
      return;
    
    // Note: we don't check whether all of the elements of the overload set have
    // different argument types.  This is checked later.
  }
  
  ValueScopeHT.insert(D->Name, std::make_pair(CurScope->getDepth(), D));
}

/// addTypeAliasToScope - Add a type alias to the current scope, diagnosing
/// redefinitions as required.
TypeAliasDecl *ScopeInfo::addTypeAliasToScope(SMLoc TypeAliasLoc,
                                              Identifier Name, Type Ty) {
  unsigned Level;
  TypeAliasDecl *TAD = lookupTypeNameAndLevel(Name, Level);
  
  // If we have no existing entry, or if the existing entry is at a different
  // scope level then this is a valid insertion.
  if (TAD == 0 || Level != CurScope->getDepth()) {
    TAD = new (TheParser.Context) TypeAliasDecl(TheParser.CurContext,
                                                TypeAliasLoc, Name, Ty);
    TypeScopeHT.insert(Name, std::make_pair(CurScope->getDepth(), TAD));
    return TAD;
  }
  
  // If the previous definition was just a use of an undeclared type, complete
  // the type now.
  if (TAD->UnderlyingTy.isNull()) {
    // Remove the entry for this type from the UnresolvedTypes map.
    UnresolvedTypes.erase(Name);
    
    // This will get removed from UnresolvedTypeList at the end of the TU.
    
    // Update the decl we already have to be the correct type.
    TAD->TypeAliasLoc = TypeAliasLoc;
    TAD->UnderlyingTy = Ty;
    return TAD;
  }
  
  // Otherwise, we have a redefinition: two definitions in the same scope with
  // the same name.
  TheParser.error(TypeAliasLoc,
                  "redefinition of type named '" + StringRef(Name.get()) + "'");
  TheParser.warning(TAD->getLocStart(), "previous declaration here");
  return TAD;
}