Go to the documentation of this file.
10 #ifndef CPROVER_ANSI_C_C_QUALIFIERS_H
11 #define CPROVER_ANSI_C_C_QUALIFIERS_H
35 virtual std::unique_ptr<qualifierst>
clone()
const = 0;
39 virtual std::size_t
count()
const = 0;
51 return !(*
this == other);
77 virtual std::unique_ptr<qualifierst>
clone()
const override;
101 virtual std::string
as_string()
const override;
102 virtual void read(
const typet &src)
override;
103 virtual void write(
typet &src)
const override;
150 virtual std::size_t
count()
const override
157 #endif // CPROVER_ANSI_C_C_QUALIFIERS_H
virtual void read(const typet &src) override
virtual qualifierst & operator+=(const qualifierst &other) override
The type of an expression, extends irept.
qualifierst(const qualifierst &)=delete
virtual void read(const typet &src)=0
virtual bool is_subset_of(const qualifierst &other) const override
virtual void clear() override
qualifierst & operator=(qualifierst &&)=delete
friend std::ostream & operator<<(std::ostream &, const qualifierst &)
pretty-print the qualifiers
virtual bool operator==(const qualifierst &other) const override
virtual std::unique_ptr< qualifierst > clone() const =0
virtual std::unique_ptr< qualifierst > clone() const override
virtual void write(typet &src) const override
virtual qualifierst & operator+=(const qualifierst &b)=0
qualifierst & operator=(const qualifierst &)=delete
virtual std::size_t count() const override
virtual ~qualifierst()=default
c_qualifierst & operator=(const c_qualifierst &other)
virtual bool is_subset_of(const qualifierst &q) const =0
bool operator!=(const qualifierst &other) const
virtual bool operator==(const qualifierst &other) const =0
c_qualifierst(const typet &src)
virtual std::size_t count() const =0
qualifierst(qualifierst &&)=delete
virtual std::string as_string() const =0
virtual std::string as_string() const override
virtual void write(typet &src) const =0
bool is_transparent_union