CBMC
Public Member Functions | Private Attributes | List of all members
empty_value_ranget Class Reference

#include <abstract_value_object.h>

+ Inheritance diagram for empty_value_ranget:
+ Collaboration diagram for empty_value_ranget:

Public Member Functions

const abstract_object_pointert & current () const override
 
bool advance_to_next () override
 
value_range_implementation_ptrt reset () const override
 
- Public Member Functions inherited from value_range_implementationt
virtual ~value_range_implementationt ()=default
 

Private Attributes

abstract_object_pointert nothing {0}
 

Detailed Description

Definition at line 219 of file abstract_value_object.h.

Member Function Documentation

◆ advance_to_next()

bool empty_value_ranget::advance_to_next ( )
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 226 of file abstract_value_object.h.

◆ current()

const abstract_object_pointert& empty_value_ranget::current ( ) const
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 222 of file abstract_value_object.h.

◆ reset()

value_range_implementation_ptrt empty_value_ranget::reset ( ) const
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 230 of file abstract_value_object.h.

Member Data Documentation

◆ nothing

abstract_object_pointert empty_value_ranget::nothing {0}
private

Definition at line 236 of file abstract_value_object.h.

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