|
Jlm
|
#include <Annotation.hpp>


Public Member Functions | |
| ~EntryAnnotationSet () noexcept override | |
| EntryAnnotationSet (VariableSet readSet, VariableSet allWriteSet, VariableSet fullWriteSet) | |
| EntryAnnotationSet (VariableSet readSet, VariableSet allWriteSet, VariableSet fullWriteSet, VariableSet topSet) | |
| std::string | DebugString () const noexcept override |
| bool | operator== (const AnnotationSet &other) const override |
Public Member Functions inherited from jlm::llvm::AnnotationSet | |
| virtual | ~AnnotationSet () noexcept |
| AnnotationSet (VariableSet readSet, VariableSet allWriteSet, VariableSet fullWriteSet) | |
| AnnotationSet (const AnnotationSet &)=delete | |
| AnnotationSet (AnnotationSet &&) noexcept=delete | |
| AnnotationSet & | operator= (const AnnotationSet &)=delete |
| AnnotationSet & | operator= (AnnotationSet &&)=delete |
| const VariableSet & | ReadSet () const noexcept |
| const VariableSet & | AllWriteSet () const noexcept |
| const VariableSet & | FullWriteSet () const noexcept |
| bool | operator!= (const AnnotationSet &other) const |
Static Public Member Functions | |
| static std::unique_ptr< EntryAnnotationSet > | Create (VariableSet readSet, VariableSet allWriteSet, VariableSet fullWriteSet) |
Public Attributes | |
| VariableSet | TopSet_ |
Definition at line 257 of file Annotation.hpp.
|
overridedefaultnoexcept |
|
inline |
Definition at line 262 of file Annotation.hpp.
|
inline |
Definition at line 266 of file Annotation.hpp.
|
inlinestatic |
Definition at line 276 of file Annotation.hpp.
|
overridevirtualnoexcept |
Implements jlm::llvm::AnnotationSet.
Definition at line 39 of file Annotation.cpp.
|
overridevirtual |
Reimplemented from jlm::llvm::AnnotationSet.
Definition at line 57 of file Annotation.cpp.
| VariableSet jlm::llvm::EntryAnnotationSet::TopSet_ |
Definition at line 290 of file Annotation.hpp.