java_qualifiers.h

Go to the documentation of this file.

// Author: Diffblue Ltd.
 
 
#ifndef CPROVER_JAVA_BYTECODE_JAVA_QUALIFIERS_H
#define CPROVER_JAVA_BYTECODE_JAVA_QUALIFIERS_H
 
#include "java_types.h"
#include <ansi-c/c_qualifiers.h>
 
class java_qualifierst : public c_qualifierst
{
private:
  const namespacet &ns;
  std::vector<java_annotationt> annotations;
 
public:
  explicit java_qualifierst(const namespacet &ns)
    : ns(ns)
  {}
  explicit java_qualifierst(const namespacet &ns) {…}
 
protected:
  java_qualifierst &operator=(const java_qualifierst &other);
public:
  std::unique_ptr<c_qualifierst> clone() const override;
 
  java_qualifierst &operator+=(const java_qualifierst &other);
 
  const std::vector<java_annotationt> &get_annotations() const
  {
    return annotations;
  }
  const std::vector<java_annotationt> &get_annotations() const {…}
  std::size_t count() const override;
 
  void clear() override;
 
  void read(const typet &src) override;
  void write(typet &src) const override;
 
  bool is_subset_of(const java_qualifierst &other) const;
  bool operator==(const java_qualifierst &other) const;
  bool operator!=(const java_qualifierst &other) const
  {
    return !(*this == other);
  }
  bool operator!=(const java_qualifierst &other) const {…}
 
  std::string as_string() const override;
};
class java_qualifierst : public c_qualifierst {…};
 
#endif // CPROVER_JAVA_BYTECODE_JAVA_QUALIFIERS_H