neograph::program::ProgramSynthesisGateway Class Reference

Enforces reserve -> compile -> semantic validate -> admit. More...

#include <synthesis.h>

Public Member Functions
ProgramChildSynthesisRecord	continue_child (ProgramChildSynthesisRecord record, const std::function< void(const ProgramChildSynthesisRecord &)> &publish) const
	Continue a durably reserved request; publish must CAS each stage before returning.
asio::awaitable< ProgramChildSynthesisRecord >	continue_child_async (ProgramChildSynthesisRecord record, std::function< asio::awaitable< void >(const ProgramChildSynthesisRecord &)> publish) const
	The same stages for a caller that cannot block (#557): publish is awaited, and so is the catalog's admission, so a store that completes only in a later turn of a host's event loop works.
ProgramChildSynthesisResult	synthesize_child (const ProgramSynthesisProposal &proposal, const ProgramChildSynthesisGrant &grant, const ProgramChildSynthesisParent &parent) const
	Checked child path; never treats a proposal or returned receipt as authority.

Detailed Description

Enforces reserve -> compile -> semantic validate -> admit.

Definition at line 310 of file synthesis.h.

Member Function Documentation

continue_child_async()

asio::awaitable< ProgramChildSynthesisRecord > neograph::program::ProgramSynthesisGateway::continue_child_async	(	ProgramChildSynthesisRecord	record,
		std::function< asio::awaitable< void >(const ProgramChildSynthesisRecord &)>	publish
	)		const

The same stages for a caller that cannot block (#557): publish is awaited, and so is the catalog's admission, so a store that completes only in a later turn of a host's event loop works.

publish is taken by value.

---

The documentation for this class was generated from the following file:

• include/neograph/program/synthesis.h