typestate.hpp File Reference

#include "common.hpp"

Include dependency graph for typestate.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	ein_consumable(__x)
	Each class that uses any typestate annotations must first be marked using this attribute.
#define	ein_callable_when(...)
#define	ein_param_typestate(...)
#define	ein_return_typestate(...)
#define	ein_moving   ein_return_typestate("consumed") ein_param_typestate("unconsumed")
	[[return_typestate("consumed")]] [[param_typestate("unconsumed")]]
#define	ein_set_typestate(...)
#define	ein_test_typestate
#define	ein_test_typestate(...)

Detailed Description

SPDX-FileType: Source
SPDX-FileCopyrightText: 2024 Edward Kmett <ekmett@gmail.com>
SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0

Definition in file typestate.hpp.