mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b8c4298a07
This operation describes the partial ordering with which Availability domains form a lattice. As a temporary measure, a containment ordering needs to be specified for the Swift language, Embedded, and Package Description domains. Without this ordering, there won't be a way for AvailabilityContext to preserve the invariant that the unavailable domain of a child context contains the unavailable domain for the parent. However, once AvailabilityContext is refactored to represent the status of multiple availability domains simultaneously, the ordering of these domains relative to each other can be relaxed. NFC.
82 lines
2.6 KiB
C++
82 lines
2.6 KiB
C++
//===--- AvailabilityDomain.cpp - Swift Availability Domains --------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "swift/AST/AvailabilityDomain.h"
|
|
#include "swift/AST/ASTContext.h"
|
|
#include "swift/AST/Decl.h"
|
|
|
|
using namespace swift;
|
|
|
|
bool AvailabilityDomain::isActive(const ASTContext &ctx) const {
|
|
switch (getKind()) {
|
|
case Kind::Universal:
|
|
case Kind::SwiftLanguage:
|
|
case Kind::PackageDescription:
|
|
case Kind::Embedded:
|
|
return true;
|
|
case Kind::Platform:
|
|
return isPlatformActive(getPlatformKind(), ctx.LangOpts);
|
|
}
|
|
}
|
|
|
|
llvm::StringRef AvailabilityDomain::getNameForDiagnostics() const {
|
|
switch (getKind()) {
|
|
case Kind::Universal:
|
|
return "";
|
|
case Kind::SwiftLanguage:
|
|
return "Swift";
|
|
case Kind::PackageDescription:
|
|
return "PackageDescription";
|
|
case Kind::Embedded:
|
|
return "Embedded Swift";
|
|
case Kind::Platform:
|
|
return swift::prettyPlatformString(getPlatformKind());
|
|
}
|
|
}
|
|
|
|
llvm::StringRef AvailabilityDomain::getNameForAttributePrinting() const {
|
|
switch (getKind()) {
|
|
case Kind::Universal:
|
|
return "*";
|
|
case Kind::SwiftLanguage:
|
|
return "swift";
|
|
case Kind::PackageDescription:
|
|
return "_PackageDescription";
|
|
case Kind::Embedded:
|
|
return "Embedded";
|
|
case Kind::Platform:
|
|
return swift::platformString(getPlatformKind());
|
|
}
|
|
}
|
|
|
|
bool AvailabilityDomain::contains(const AvailabilityDomain &other) const {
|
|
// FIXME: [availability] This currently implements something closer to a
|
|
// total ordering instead of the more flexible partial ordering that it
|
|
// would ideally represent. Until AvailabilityContext supports tracking
|
|
// multiple unavailable domains simultaneously, a stricter ordering is
|
|
// necessary to support source compatibility.
|
|
switch (getKind()) {
|
|
case Kind::Universal:
|
|
return true;
|
|
case Kind::SwiftLanguage:
|
|
return !other.isUniversal();
|
|
case Kind::PackageDescription:
|
|
case Kind::Embedded:
|
|
return !other.isUniversal() && !other.isSwiftLanguage();
|
|
case Kind::Platform:
|
|
if (getPlatformKind() == other.getPlatformKind())
|
|
return true;
|
|
return inheritsAvailabilityFromPlatform(other.getPlatformKind(),
|
|
getPlatformKind());
|
|
}
|
|
}
|