Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
core::ElementConstraint< Derived, ComponentType, ComponentName > Class Template Reference

#include <components.hpp>

Static Public Member Functions

static bool available (const Derived &object, const ComponentType &element)
 
static void valid (const Derived &object, const ComponentType &element)
 

Detailed Description

template<class Derived, class ComponentType, class ComponentName>
class core::ElementConstraint< Derived, ComponentType, ComponentName >

Pack of containt check functions for element component

Member Function Documentation

◆ available()

template<class Derived , class ComponentType , class ComponentName >
static bool core::ElementConstraint< Derived, ComponentType, ComponentName >::available ( const Derived &  object,
const ComponentType &  element 
)
static

Checks whether a concrete element is available in context of the datatype instance using this class

To be implemented by all template instantiations explicitly

Parameters
elementto check
Returns
true if element is available false if element is not available

◆ valid()

template<class Derived , class ComponentType , class ComponentName >
static void core::ElementConstraint< Derived, ComponentType, ComponentName >::valid ( const Derived &  object,
const ComponentType &  element 
)
static

Checks whether a concrete element is valid in context of the datatype instance using this class

To be implemented by all template instantiations explicitly

Parameters
elementto check
Exceptions
CommonExceptionif the element in any way invalid

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