TypeCheckDistributed.h

//===--- TypeCheckDistributed.h - Distributed -------------------*- C++ -*-===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2021 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
//
//===----------------------------------------------------------------------===//
//
// This file provides type checking support for Swift's distributed actor model.
//
//===----------------------------------------------------------------------===//

#ifndef SWIFT_SEMA_TYPECHECKDISTRIBUTED_H
#define SWIFT_SEMA_TYPECHECKDISTRIBUTED_H

#include "swift/AST/ConcreteDeclRef.h"
#include "swift/AST/DiagnosticEngine.h"
#include "swift/AST/Type.h"
#include <cassert>

namespace swift {

class AbstractFunctionDecl;
class ConstructorDecl;
class ActorIsolation;
class AnyFunctionType;
class ASTContext;
class ClassDecl;
class ClosureExpr;
class ConcreteDeclRef;
class CustomAttr;
class Decl;
class DeclContext;
class EnumElementDecl;
class Expr;
class FuncDecl;
class Initializer;
class PatternBindingDecl;
class ProtocolConformance;
class TopLevelCodeDecl;
class TypeBase;
class ValueDecl;

/// Check distributed actor isolation rules.

/// The local and resolve distributed actor constructors have special rules to check.
void checkDistributedActorConstructor(const ClassDecl *decl, ConstructorDecl *ctor);

bool checkDistributedFunction(FuncDecl *decl, bool diagnose);

/// Synthesis of members which are not directly driven filling in protocol requirements,
/// such as the default local and resolve constructors, and `_remote_` function stubs.
void addImplicitDistributedActorMembersToClass(ClassDecl *decl);

}


#endif /* SWIFT_SEMA_TYPECHECKDISTRIBUTED_H */