CBMC
Public Member Functions | Protected Member Functions | Friends | List of all members
qualifierst Class Referenceabstract

#include <c_qualifiers.h>

+ Inheritance diagram for qualifierst:

Public Member Functions

 qualifierst (const qualifierst &)=delete
 
 qualifierst (qualifierst &&)=delete
 
qualifierst & operator= (const qualifierst &)=delete
 
qualifierst & operator= (qualifierst &&)=delete
 
virtual ~qualifierst ()=default
 
virtual std::unique_ptr< qualifierst > clone () const =0
 
virtual qualifierst & operator+= (const qualifierst &b)=0
 
virtual std::size_t count () const =0
 
virtual void clear ()=0
 
virtual void read (const typet &src)=0
 
virtual void write (typet &src) const =0
 
virtual bool is_subset_of (const qualifierst &q) const =0
 
virtual bool operator== (const qualifierst &other) const =0
 
bool operator!= (const qualifierst &other) const
 
virtual std::string as_string () const =0
 

Protected Member Functions

 qualifierst ()=default
 

Friends

std::ostream & operator<< (std::ostream &, const qualifierst &)
 pretty-print the qualifiers More...
 

Detailed Description

Definition at line 19 of file c_qualifiers.h.

Constructor & Destructor Documentation

◆ qualifierst() [1/3]

qualifierst::qualifierst ( )
protecteddefault

◆ qualifierst() [2/3]

qualifierst::qualifierst ( const qualifierst &  )
delete

◆ qualifierst() [3/3]

qualifierst::qualifierst ( qualifierst &&  )
delete

◆ ~qualifierst()

virtual qualifierst::~qualifierst ( )
virtualdefault

Member Function Documentation

◆ as_string()

virtual std::string qualifierst::as_string ( ) const
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ clear()

virtual void qualifierst::clear ( )
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ clone()

virtual std::unique_ptr<qualifierst> qualifierst::clone ( ) const
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ count()

virtual std::size_t qualifierst::count ( ) const
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ is_subset_of()

virtual bool qualifierst::is_subset_of ( const qualifierst &  q) const
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ operator!=()

bool qualifierst::operator!= ( const qualifierst &  other) const
inline

Definition at line 50 of file c_qualifiers.h.

◆ operator+=()

virtual qualifierst& qualifierst::operator+= ( const qualifierst &  b)
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ operator=() [1/2]

qualifierst& qualifierst::operator= ( const qualifierst &  )
delete

◆ operator=() [2/2]

qualifierst& qualifierst::operator= ( qualifierst &&  )
delete

◆ operator==()

virtual bool qualifierst::operator== ( const qualifierst &  other) const
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ read()

virtual void qualifierst::read ( const typet &  src)
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

◆ write()

virtual void qualifierst::write ( typet &  src) const
pure virtual

Implemented in c_qualifierst, and java_qualifierst.

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  out,
const qualifierst &  qualifiers 
)
friend

pretty-print the qualifiers

Definition at line 143 of file c_qualifiers.cpp.

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