morph::forms::ExactlyOneOf< A, Vs > Struct Template Reference

Rule: exactly one of the listed fields is engaged. More...

#include <forms.hpp>

Public Member Functions
constexpr bool	test (const A &action) const noexcept
	Evaluates the rule against action.
glz::generic_u64	emitNode () const
	Emits this rule's x-rules JSON node.

Public Attributes
std::tuple< Vs A::*... >	fields
	Pointers to the member fields this rule ranges over.

Static Public Attributes
static constexpr detail::RuleKind	kind = detail::RuleKind::ExactlyOneOf
	The wire "kind" this rule emits: "exactlyOneOf".
static constexpr bool	isCondition = true
	Usable as a nested condition: this node's test() is a function of the action, so composing it into an and/or/not tree changes what that tree evaluates to.
static constexpr bool	isPresentation = false
	Validation rule (not presentation): participates in the gate.

Detailed Description

template<typename A, typename... Vs>
struct morph::forms::ExactlyOneOf< A, Vs >

Rule: exactly one of the listed fields is engaged.

Template Parameters

A	Action type all fields belong to.
Vs	Field member types, one per listed field (must each satisfy EngageableField).

Definition at line 1480 of file forms.hpp.

Member Function Documentation

test()

template<typename A, typename... Vs>

bool morph::forms::ExactlyOneOf< A, Vs >::test ( const A & action ) const

inlinenodiscardconstexprnoexcept

Evaluates the rule against action.

Parameters

action

The action snapshot to inspect.

Returns

true when exactly one listed field is engaged.

Definition at line 1495 of file forms.hpp.

emitNode()

template<typename A, typename... Vs>

glz::generic_u64 morph::forms::ExactlyOneOf< A, Vs >::emitNode ( ) const

inlinenodiscard

Emits this rule's x-rules JSON node.

Returns

{"kind":"exactlyOneOf","fields":["<wire name>", ...]}.

Definition at line 1504 of file forms.hpp.

Member Data Documentation

fields

template<typename A, typename... Vs>

std::tuple<Vs A::*...> morph::forms::ExactlyOneOf< A, Vs >::fields

Pointers to the member fields this rule ranges over.

Definition at line 1482 of file forms.hpp.

kind

template<typename A, typename... Vs>

detail::RuleKind morph::forms::ExactlyOneOf< A, Vs >::kind = detail::RuleKind::ExactlyOneOf

staticconstexpr

The wire "kind" this rule emits: "exactlyOneOf".

Definition at line 1484 of file forms.hpp.

isCondition

template<typename A, typename... Vs>

bool morph::forms::ExactlyOneOf< A, Vs >::isCondition = true

staticconstexpr

Usable as a nested condition: this node's test() is a function of the action, so composing it into an and/or/not tree changes what that tree evaluates to.

Definition at line 1488 of file forms.hpp.

isPresentation

template<typename A, typename... Vs>

bool morph::forms::ExactlyOneOf< A, Vs >::isPresentation = false

staticconstexpr

Validation rule (not presentation): participates in the gate.

Definition at line 1490 of file forms.hpp.

---

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

• morph/forms/forms.hpp