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;
41 virtual void clear() = 0;
51 return !(*
this == other);
55 virtual std::string
as_string()
const = 0;
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 write(typet &src) const =0
The type of an expression, extends irept.
virtual bool operator==(const qualifierst &other) const override
virtual void read(const typet &src)=0
c_qualifierst & operator=(const c_qualifierst &other)
virtual void clear() override
virtual std::unique_ptr< qualifierst > clone() const =0
friend std::ostream & operator<<(std::ostream &, const qualifierst &)
pretty-print the qualifiers
bool is_transparent_union
virtual void read(const typet &src) override
virtual std::size_t count() const override
virtual qualifierst & operator+=(const qualifierst &b)=0
virtual std::string as_string() const override
qualifierst & operator=(const qualifierst &)=delete
virtual bool operator==(const qualifierst &other) const =0
virtual bool is_subset_of(const qualifierst &other) const override
virtual std::string as_string() const =0
bool operator!=(const qualifierst &other) const
virtual qualifierst & operator+=(const qualifierst &other) override
virtual ~qualifierst()=default
virtual void write(typet &src) const override
virtual std::unique_ptr< qualifierst > clone() const override
virtual bool is_subset_of(const qualifierst &q) const =0
c_qualifierst(const typet &src)
virtual std::size_t count() const =0