Class Member Functions¶
a¶
- autokey (zmbt::Environment)
- as_array (zmbt::JsonNode)
- as_object (zmbt::JsonNode)
- at (zmbt::JsonNode)
- annotation (zmbt::SignalOperatorHandler, zmbt::entity_id)
- apply (zmbt::SignalOperatorHandler, zmbt::reflect::default_invocation< S, first_if_any_t< void, ifc_is_fn_handle< S >, ifc_is_functor_ref< S > > >, zmbt::reflect::default_invocation< S, first_if_t< void, ifc_is_functor_ptr< S > > >, zmbt::reflect::default_invocation< S, first_if_t< void, ifc_is_member_handle< S > > >)
- apply_fn (zmbt::TriggerIfc)
- alias (zmbt::mapping::ChannelHandle)
- Alias (zmbt::mapping::ModelDefinition::T_Alias)
- As (zmbt::mapping::ModelDefinition::T_As)
- Args (zmbt::mapping::ModelDefinition::T_SignalFilter)
b¶
- branch (zmbt::JsonNode)
- base_error (zmbt::base_error, zmbt::environment_error, zmbt::expression_error, zmbt::model_error, zmbt::serialization_error, zmbt::test_assertion_failure)
- BaseTransition (zmbt::mapping::ModelDefinition::BaseTransition)
c¶
- Config (zmbt::Environment)
- ContainsShared (zmbt::Environment)
- CaptureSlice (zmbt::Environment::InterfaceHandle)
- Captures (zmbt::Environment::InterfaceHandle)
- constAsEq (zmbt::Expression)
- contains (zmbt::JsonNode, zmbt::SignalOperatorHandler)
- copy (zmbt::JsonNode)
- ChannelHandle (zmbt::mapping::ChannelHandle)
- call (zmbt::mapping::ChannelHandle)
- captures (zmbt::mapping::ChannelHandle)
- combine (zmbt::mapping::ChannelHandle)
- ChannelIdx (zmbt::mapping::TestDiagnostics)
- Channels (zmbt::mapping::TestDiagnostics)
- Comment (zmbt::mapping::TestDiagnostics)
- CallCount (zmbt::mapping::ModelDefinition::T_CallCount)
- Call (zmbt::mapping::ModelDefinition::T_CallFilter)
- CallRange (zmbt::mapping::ModelDefinition::T_CallFilter)
d¶
- DefaultObjectId (zmbt::Environment)
- DeferLock (zmbt::Environment)
- DumpJsonData (zmbt::Environment)
- decorate (zmbt::SignalOperatorHandler)
- Description (zmbt::mapping::TestDiagnostics, zmbt::mapping::ModelDefinition::T_Description)
- dejsonize (zmbt::reflect::custom_serialization< T, mp_if< is_base_of< Expression, T >, void > >, zmbt::reflect::custom_serialization< decor::precise< T > >, zmbt::reflect::custom_serialization< decor::underlying< T > >)
e¶
- Environment (zmbt::Environment)
- Env (zmbt::Environment::InterfaceHandle)
- EnvironmentData (zmbt::EnvironmentData)
- Expression (zmbt::Expression)
- eval (zmbt::Expression)
- eval_BinaryOp (zmbt::Expression)
- eval_CodegenFn (zmbt::Expression)
- eval_Const (zmbt::Expression)
- eval_Special (zmbt::Expression)
- eval_UnaryOp (zmbt::Expression)
- EvalLog (zmbt::Expression::EvalLog)
- execute (zmbt::Trigger)
- entity_id (zmbt::entity_id, zmbt::interface_id, zmbt::object_id)
- expect (zmbt::mapping::ChannelHandle)
- Error (zmbt::mapping::TestDiagnostics)
- EvalStack (zmbt::mapping::TestDiagnostics)
- Expect (zmbt::mapping::ModelDefinition::T_Expect)
- Exception (zmbt::mapping::ModelDefinition::T_SignalFilter)
f¶
- format (zmbt::Expression::EvalLog)
- find_pointer (zmbt::JsonNode)
- full_path (zmbt::mapping::ChannelHandle)
- Fail (zmbt::mapping::TestDiagnostics)
g¶
- GetOperator (zmbt::Environment)
- GetOperatorOrDefault (zmbt::Environment)
- GetOrRegisterInterface (zmbt::Environment)
- GetOrRegisterParametricTrigger (zmbt::Environment)
- GetShared (zmbt::Environment)
- GetVar (zmbt::Environment)
- GetVarOrDefault (zmbt::Environment)
- GetVarOrUpdate (zmbt::Environment)
- GetInjection (zmbt::Environment::InterfaceHandle)
- GetInjectionArgs (zmbt::Environment::InterfaceHandle)
- GetInjectionReturn (zmbt::Environment::InterfaceHandle)
- GenericSignalOperator (zmbt::GenericSignalOperator)
- get (zmbt::JsonIter, zmbt::JsonIterZipProdBase)
- get_or_create (zmbt::JsonNode)
- get_or_create_array (zmbt::JsonNode)
- get_or_create_as (zmbt::JsonNode)
- get_or_create_object (zmbt::JsonNode)
- get_or_default (zmbt::JsonNode)
h¶
- HandleTestFailure (zmbt::Environment)
- HasAction (zmbt::Environment)
- HasTrigger (zmbt::Environment)
- Hook (zmbt::Environment::TypedInterfaceHandle)
- HookImpl (zmbt::Environment::TypedInterfaceHandle)
- handle_binary_args (zmbt::Expression)
- has_params (zmbt::Expression)
- halt (zmbt::JsonIter, zmbt::JsonIterZipProdBase)
- handle_if_has_bit_and (zmbt::SignalOperatorHandler)
- handle_if_has_bit_or (zmbt::SignalOperatorHandler)
- handle_if_has_bit_xor (zmbt::SignalOperatorHandler)
- handle_if_has_complement (zmbt::SignalOperatorHandler)
- handle_if_has_divides (zmbt::SignalOperatorHandler)
- handle_if_has_equal_to (zmbt::SignalOperatorHandler)
- handle_if_has_left_shift (zmbt::SignalOperatorHandler)
- handle_if_has_less (zmbt::SignalOperatorHandler)
- handle_if_has_less_equal (zmbt::SignalOperatorHandler)
- handle_if_has_logical_and (zmbt::SignalOperatorHandler)
- handle_if_has_logical_not (zmbt::SignalOperatorHandler)
- handle_if_has_logical_or (zmbt::SignalOperatorHandler)
- handle_if_has_minus (zmbt::SignalOperatorHandler)
- handle_if_has_modulus (zmbt::SignalOperatorHandler)
- handle_if_has_multiplies (zmbt::SignalOperatorHandler)
- handle_if_has_negate (zmbt::SignalOperatorHandler)
- handle_if_has_plus (zmbt::SignalOperatorHandler)
- handle_if_has_right_shift (zmbt::SignalOperatorHandler)
- host (zmbt::mapping::ChannelHandle)
i¶
- InterfaceId (zmbt::Environment)
- Inject (zmbt::Environment::InterfaceHandle)
- InjectArgs (zmbt::Environment::InterfaceHandle)
- InjectReturn (zmbt::Environment::InterfaceHandle)
- InterfaceHandle (zmbt::Environment::InterfaceHandle)
- interface (zmbt::Environment::InterfaceHandle, zmbt::mapping::ChannelHandle)
- init_json_data (zmbt::EnvironmentData)
- is (zmbt::Expression)
- is_const (zmbt::Expression)
- is_literal (zmbt::Expression)
- is_noop (zmbt::Expression)
- init_iters (zmbt::JsonIterZipProdBase)
- is_null (zmbt::JsonNode)
- isParam (zmbt::Param)
- is_approx (zmbt::SignalOperatorHandler)
- is_subset (zmbt::SignalOperatorHandler)
- is_truth (zmbt::SignalOperatorHandler)
- ifc_id (zmbt::Trigger)
- id (zmbt::TriggerIfc, zmbt::TriggerObj)
- ifc_addr (zmbt::interface_id)
- interface_id (zmbt::interface_id)
- index (zmbt::mapping::ChannelHandle)
- inject (zmbt::mapping::ChannelHandle)
- inject_fixed (zmbt::mapping::ChannelHandle)
- is_fixed_input (zmbt::mapping::ChannelHandle)
- is_fixed_output (zmbt::mapping::ChannelHandle)
- is_input (zmbt::mapping::ChannelHandle)
- is_output (zmbt::mapping::ChannelHandle)
- is_range (zmbt::mapping::ChannelHandle)
- init_param_iters (zmbt::mapping::TestParameterResolver)
- init (zmbt::reflect::signal_traits< T, detail::enable_initialization_trap< T > >, zmbt::reflect::signal_traits< void >)
- InjectTo (zmbt::mapping::ModelDefinition::T_InjectTo)
j¶
- json_data (zmbt::Environment)
- JsonIter (zmbt::JsonIter)
- JsonIterZipProdBase (zmbt::JsonIterZipProdBase, zmbt::JsonProdIter, zmbt::JsonZipIter)
- JsonNode (zmbt::JsonNode)
- JsonTraverse (zmbt::JsonTraverse)
- json_from (zmbt::reflect::custom_serialization< T, mp_if< is_base_of< Expression, T >, void > >, zmbt::reflect::custom_serialization< decor::precise< T > >, zmbt::reflect::custom_serialization< decor::underlying< T > >)
k¶
- key (zmbt::Environment::InterfaceHandle, zmbt::entity_id, zmbt::mapping::ChannelHandle)
- keyword (zmbt::Expression)
- KeywordGrammar (zmbt::dsl::KeywordGrammar)
- KeywordSymbol (zmbt::dsl::KeywordSymbol)
- keep (zmbt::mapping::ChannelHandle)
- kind (zmbt::mapping::ChannelHandle)
- Keep (zmbt::mapping::ModelDefinition::T_Keep)
l¶
- Lock (zmbt::Environment)
- literalAsEq (zmbt::Expression)
- log (zmbt::GenericSignalOperator)
m¶
- match (zmbt::Expression)
- make (zmbt::Expression::EvalLog)
- ModelTestFixture (zmbt::api::ModelTestFixture)
n¶
- node (zmbt::JsonNode)
- node_ptr (zmbt::JsonNode)
- N_AliasIn (zmbt::mapping::ModelDefinition::N_AliasIn)
- N_AliasOut (zmbt::mapping::ModelDefinition::N_AliasOut)
- N_CallFilter (zmbt::mapping::ModelDefinition::N_CallFilter)
- N_Channel (zmbt::mapping::ModelDefinition::N_Channel)
- N_ChannelOut (zmbt::mapping::ModelDefinition::N_ChannelOut)
- N_CombineOut (zmbt::mapping::ModelDefinition::N_CombineOut)
- N_DecorIn (zmbt::mapping::ModelDefinition::N_DecorIn)
- N_DecorOut (zmbt::mapping::ModelDefinition::N_DecorOut)
- N_Descr (zmbt::mapping::ModelDefinition::N_Descr)
- N_EndIn (zmbt::mapping::ModelDefinition::N_EndIn)
- N_EndOut (zmbt::mapping::ModelDefinition::N_EndOut)
- N_KindIn (zmbt::mapping::ModelDefinition::N_KindIn)
- N_KindOut (zmbt::mapping::ModelDefinition::N_KindOut)
- N_Main (zmbt::mapping::ModelDefinition::N_Main)
- N_Param (zmbt::mapping::ModelDefinition::N_Param)
- N_ParamTable (zmbt::mapping::ModelDefinition::N_ParamTable)
- N_Post (zmbt::mapping::ModelDefinition::N_Post)
- N_Pre (zmbt::mapping::ModelDefinition::N_Pre)
- N_Repeat (zmbt::mapping::ModelDefinition::N_Repeat)
- N_Term (zmbt::mapping::ModelDefinition::N_Term)
- N_Test (zmbt::mapping::ModelDefinition::N_Test)
- N_TestTable (zmbt::mapping::ModelDefinition::N_TestTable)
- Next (zmbt::mapping::TestParameterResolver)
o¶
- ObjectId (zmbt::Environment)
- operator= (zmbt::Environment, zmbt::Environment::InterfaceHandle, zmbt::EnvironmentData, zmbt::Expression, zmbt::JsonIter, zmbt::JsonIterZipProdBase, zmbt::JsonNode, zmbt::Param, zmbt::SignalOperatorHandler, zmbt::Trigger, zmbt::TriggerIfc, zmbt::TriggerObj, zmbt::api::ModelTestFixture, zmbt::decor::precise, zmbt::decor::underlying, zmbt::entity_id, zmbt::mapping::TestDiagnostics)
- ObservedArgs (zmbt::Environment::InterfaceHandle)
- ObservedCalls (zmbt::Environment::InterfaceHandle)
- ObservedReturn (zmbt::Environment::InterfaceHandle)
- operator!= (zmbt::Expression, zmbt::GenericSignalOperator, zmbt::Trigger, zmbt::decor::underlying, zmbt::entity_id, zmbt::interface_id, zmbt::object_id)
- operator== (zmbt::Expression, zmbt::GenericSignalOperator, zmbt::Trigger, zmbt::decor::precise, zmbt::decor::underlying, zmbt::entity_id, zmbt::interface_id, zmbt::mapping::ChannelHandle, zmbt::object_id)
- operator++ (zmbt::Expression::EvalContext, zmbt::JsonIter)
- operator bool (zmbt::GenericSignalOperator)
- operator% (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator& (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator&& (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator* (zmbt::GenericSignalOperator, zmbt::JsonIter, zmbt::decor::underlying)
- operator+ (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator- (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator/ (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator< (zmbt::GenericSignalOperator, zmbt::decor::precise, zmbt::decor::underlying, zmbt::entity_id, zmbt::interface_id, zmbt::object_id)
- operator<< (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator<= (zmbt::GenericSignalOperator, zmbt::decor::underlying, zmbt::entity_id, zmbt::interface_id, zmbt::object_id)
- operator> (zmbt::GenericSignalOperator, zmbt::decor::underlying, zmbt::entity_id, zmbt::interface_id, zmbt::object_id)
- operator>= (zmbt::GenericSignalOperator, zmbt::decor::underlying, zmbt::entity_id, zmbt::interface_id, zmbt::object_id)
- operator>> (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator^ (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator| (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator|| (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator~ (zmbt::GenericSignalOperator, zmbt::decor::underlying)
- operator() (zmbt::JsonNode, zmbt::JsonTraverse, zmbt::Trigger, zmbt::TriggerIfc, zmbt::dsl::SignatureBinary, zmbt::dsl::SignatureTernary, zmbt::dsl::SignatureVariadic, zmbt::mapping::ModelDefinition::T_ParamRow, zmbt::mapping::ModelDefinition::T_TestRow)
- obj_id (zmbt::Trigger)
- operator decorated_type (zmbt::decor::precise, zmbt::decor::underlying)
- operator! (zmbt::decor::underlying)
- observe (zmbt::mapping::ChannelHandle)
- observe_union (zmbt::mapping::ChannelHandle)
- observe_with (zmbt::mapping::ChannelHandle)
- on_call (zmbt::mapping::ChannelHandle)
- op (zmbt::mapping::ChannelHandle)
- object_id (zmbt::object_id)
- ObserveOn (zmbt::mapping::ModelDefinition::T_ObserveOn)
- OnTrigger (zmbt::mapping::ModelDefinition::T_OnTrigger)
- operator[] (zmbt::mapping::ModelDefinition::T_TestComment)
p¶
- PrototypeArgs (zmbt::Environment::InterfaceHandle)
- PrototypeReturn (zmbt::Environment::InterfaceHandle)
- params (zmbt::Expression)
- push (zmbt::Expression::EvalLog)
- pow (zmbt::GenericSignalOperator)
- Param (zmbt::Param)
- parse (zmbt::Param)
- ptr (zmbt::TriggerObj)
- precise (zmbt::decor::precise)
- print_debug (zmbt::mapping::TestParameterResolver)
- PostRun (zmbt::mapping::ModelDefinition::T_PostRun)
- PreRun (zmbt::mapping::ModelDefinition::T_PreRun)
- Prod (zmbt::mapping::ModelDefinition::T_Prod)
q¶
- quot (zmbt::GenericSignalOperator)
r¶
- RegisterAction (zmbt::Environment)
- RegisterAnonymousInterface (zmbt::Environment)
- RegisterAnonymousTrigger (zmbt::Environment)
- RegisterInterface (zmbt::Environment)
- RegisterOperator (zmbt::Environment)
- RegisterParametricTriggerIfc (zmbt::Environment)
- RegisterParametricTriggerObj (zmbt::Environment)
- RegisterPrototypes (zmbt::Environment)
- RegisterTrigger (zmbt::Environment)
- ResetAll (zmbt::Environment)
- ResetAllFor (zmbt::Environment)
- ResetFailureHandler (zmbt::Environment)
- ResetInterfaceData (zmbt::Environment)
- ResetInterfaceDataFor (zmbt::Environment)
- RunAction (zmbt::Environment)
- RunAsAction (zmbt::Environment::InterfaceHandle)
- RunAsTrigger (zmbt::Environment::InterfaceHandle)
- refobj (zmbt::Environment::InterfaceHandle)
- resolve_tokens (zmbt::JsonNode)
- root (zmbt::JsonNode)
- resolve_deferred_params (zmbt::mapping::TestParameterResolver)
- Run (zmbt::mapping::TestRunner)
- Repeat (zmbt::mapping::ModelDefinition::T_Repeat)
- Return (zmbt::mapping::ModelDefinition::T_SignalFilter)
s¶
- SetFailureHandler (zmbt::Environment)
- SetPrettyPrint (zmbt::Environment)
- SetShared (zmbt::Environment)
- SetVar (zmbt::Environment)
- serialize (zmbt::Expression, zmbt::Param)
- subexpr (zmbt::Expression)
- str (zmbt::Expression::EvalLog, zmbt::entity_id)
- step (zmbt::JsonIter, zmbt::JsonProdIter, zmbt::JsonZipIter)
- size (zmbt::JsonNode)
- SignalOperatorHandler (zmbt::SignalOperatorHandler)
- stub_delete (zmbt::TriggerObj)
- stringify (zmbt::decor::precise, zmbt::decor::underlying)
- SignatureBase (zmbt::dsl::SignatureBase)
- signal_path (zmbt::mapping::ChannelHandle)
- state (zmbt::mapping::ModelDefinition::BaseTransition)
- SignalMapping (zmbt::mapping::SignalMapping)
t¶
- TryLock (zmbt::Environment)
- TypedInterfaceHandle (zmbt::Environment::TypedInterfaceHandle)
- traverse (zmbt::JsonTraverse)
- to_string (zmbt::Param, zmbt::object_id)
- Trigger (zmbt::Trigger, zmbt::mapping::TestDiagnostics)
- TriggerIfc (zmbt::TriggerIfc)
- TriggerObj (zmbt::TriggerObj)
- transit_to (zmbt::mapping::ModelDefinition::BaseTransition)
- TestDiagnostics (zmbt::mapping::TestDiagnostics)
- to_json (zmbt::mapping::TestDiagnostics)
- TestParameterResolver (zmbt::mapping::TestParameterResolver)
- TestRunner (zmbt::mapping::TestRunner)
- ThreadId (zmbt::mapping::ModelDefinition::T_SignalProperty)
- Timestamp (zmbt::mapping::ModelDefinition::T_SignalProperty)
- Test (zmbt::mapping::ModelDefinition::T_Test)
u¶
- underlying (zmbt::Expression, zmbt::decor::underlying)
- unsafe (zmbt::TriggerObj)
- Union (zmbt::mapping::ModelDefinition::T_Union)
v¶
- value (zmbt::GenericSignalOperator, zmbt::decor::precise, zmbt::decor::underlying)
- validate (zmbt::decor::precise)
- validate_str (zmbt::decor::precise)
- validate_str_as (zmbt::decor::precise)
- Vector (zmbt::mapping::TestDiagnostics)
- VectorIdx (zmbt::mapping::TestDiagnostics)
w¶
z¶
~¶
- ~InterfaceHandle (zmbt::Environment::InterfaceHandle)
- ~TypedInterfaceHandle (zmbt::Environment::TypedInterfaceHandle)
- ~Environment (zmbt::Environment)
- ~EnvironmentData (zmbt::EnvironmentData)
- ~Expression (zmbt::Expression)
- ~JsonIter (zmbt::JsonIter)
- ~JsonIterZipProdBase (zmbt::JsonIterZipProdBase)
- ~JsonNode (zmbt::JsonNode)
- ~Param (zmbt::Param)
- ~SignalOperatorHandler (zmbt::SignalOperatorHandler)
- ~Trigger (zmbt::Trigger)
- ~TriggerIfc (zmbt::TriggerIfc)
- ~TriggerObj (zmbt::TriggerObj)
- ~ModelTestFixture (zmbt::api::ModelTestFixture)
- ~precise (zmbt::decor::precise)
- ~underlying (zmbt::decor::underlying)
- ~entity_id (zmbt::entity_id)
- ~ChannelHandle (zmbt::mapping::ChannelHandle)
- ~BaseTransition (zmbt::mapping::ModelDefinition::BaseTransition)
- ~N_AliasIn (zmbt::mapping::ModelDefinition::N_AliasIn)
- ~N_AliasOut (zmbt::mapping::ModelDefinition::N_AliasOut)
- ~N_CallFilter (zmbt::mapping::ModelDefinition::N_CallFilter)
- ~N_Channel (zmbt::mapping::ModelDefinition::N_Channel)
- ~N_ChannelOut (zmbt::mapping::ModelDefinition::N_ChannelOut)
- ~N_CombineOut (zmbt::mapping::ModelDefinition::N_CombineOut)
- ~N_DecorIn (zmbt::mapping::ModelDefinition::N_DecorIn)
- ~N_DecorOut (zmbt::mapping::ModelDefinition::N_DecorOut)
- ~N_Descr (zmbt::mapping::ModelDefinition::N_Descr)
- ~N_EndIn (zmbt::mapping::ModelDefinition::N_EndIn)
- ~N_EndOut (zmbt::mapping::ModelDefinition::N_EndOut)
- ~N_KindIn (zmbt::mapping::ModelDefinition::N_KindIn)
- ~N_KindOut (zmbt::mapping::ModelDefinition::N_KindOut)
- ~N_Main (zmbt::mapping::ModelDefinition::N_Main)
- ~N_Param (zmbt::mapping::ModelDefinition::N_Param)
- ~N_ParamTable (zmbt::mapping::ModelDefinition::N_ParamTable)
- ~N_Post (zmbt::mapping::ModelDefinition::N_Post)
- ~N_Pre (zmbt::mapping::ModelDefinition::N_Pre)
- ~N_Repeat (zmbt::mapping::ModelDefinition::N_Repeat)
- ~N_Term (zmbt::mapping::ModelDefinition::N_Term)
- ~N_Test (zmbt::mapping::ModelDefinition::N_Test)
- ~N_TestTable (zmbt::mapping::ModelDefinition::N_TestTable)
- ~SignalMapping (zmbt::mapping::SignalMapping)
- ~TestDiagnostics (zmbt::mapping::TestDiagnostics)
- ~TestRunner (zmbt::mapping::TestRunner)