6 #ifndef CPROVER_JAVA_BYTECODE_JAVA_QUALIFIERS_H 7 #define CPROVER_JAVA_BYTECODE_JAVA_QUALIFIERS_H 26 virtual std::unique_ptr<qualifierst>
clone()
const override;
34 virtual std::size_t
count()
const override;
36 virtual void clear()
override;
38 virtual void read(
const typet &src)
override;
44 virtual std::string
as_string()
const override;
47 #endif // CPROVER_JAVA_BYTECODE_JAVA_QUALIFIERS_H java_qualifierst(const namespacet &ns)
The type of an expression, extends irept.
virtual void write(typet &src) const override
virtual std::unique_ptr< qualifierst > clone() const override
virtual std::string as_string() const override
virtual std::size_t count() const override
virtual void read(const typet &src) override
const std::vector< java_annotationt > & get_annotations() const
virtual bool operator==(const qualifierst &other) const override
virtual void clear() override
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
java_qualifierst & operator=(const java_qualifierst &other)
virtual bool is_subset_of(const qualifierst &other) const override
std::vector< java_annotationt > annotations
virtual qualifierst & operator+=(const qualifierst &other) override