mc2lib::memconsistency::cats::Architecture Class Reference

#include <cats.hpp>

Inheritance diagram for mc2lib::memconsistency::cats::Architecture:

Public Member Functions
	Architecture ()
virtual	~Architecture ()
virtual void	Clear ()
virtual std::unique_ptr< Checker >	MakeChecker (const Architecture *arch, const ExecWitness *exec) const =0
virtual EventRel	ppo (const ExecWitness &ew) const =0
virtual EventRel	fences (const ExecWitness &ew) const =0
virtual EventRel	prop (const ExecWitness &ew) const =0
virtual EventRel	hb (const ExecWitness &ew) const
virtual Event::Type	EventTypeRead () const =0
virtual Event::Type	EventTypeWrite () const =0
void	set_proxy (const Architecture *proxy)

Protected Attributes
const Architecture *	proxy_

Constructor & Destructor Documentation

Architecture()

mc2lib::memconsistency::cats::Architecture::Architecture ( )

inline

~Architecture()

virtual mc2lib::memconsistency::cats::Architecture::~Architecture ( )

inlinevirtual

Member Function Documentation

Clear()

virtual void mc2lib::memconsistency::cats::Architecture::Clear ( )

inlinevirtual

Reimplemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

EventTypeRead()

virtual Event::Type mc2lib::memconsistency::cats::Architecture::EventTypeRead ( ) const

pure virtual

Should return the mask of all types that are classed as read.

Implemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, mc2lib::memconsistency::cats::Arch_SC, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

EventTypeWrite()

virtual Event::Type mc2lib::memconsistency::cats::Architecture::EventTypeWrite ( ) const

pure virtual

Should return the mask of all types that are classed as write.

Implemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, mc2lib::memconsistency::cats::Arch_SC, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

fences()

virtual EventRel mc2lib::memconsistency::cats::Architecture::fences ( const ExecWitness &  ew ) const

pure virtual

Implemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, mc2lib::memconsistency::cats::Arch_SC, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

hb()

virtual EventRel mc2lib::memconsistency::cats::Architecture::hb ( const ExecWitness &  ew ) const

inlinevirtual

Reimplemented in mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

MakeChecker()

virtual std::unique_ptr<Checker> mc2lib::memconsistency::cats::Architecture::MakeChecker ( const Architecture *  arch, const ExecWitness *  exec  ) const

pure virtual

Creates a checker compatible with this Architecture.

Implemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, mc2lib::memconsistency::cats::Arch_SC, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

ppo()

virtual EventRel mc2lib::memconsistency::cats::Architecture::ppo ( const ExecWitness &  ew ) const

pure virtual

Implemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, mc2lib::memconsistency::cats::Arch_SC, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

prop()

virtual EventRel mc2lib::memconsistency::cats::Architecture::prop ( const ExecWitness &  ew ) const

pure virtual

Implemented in mc2lib::memconsistency::cats::Arch_ARMv7, mc2lib::memconsistency::cats::Arch_TSO, mc2lib::memconsistency::cats::Arch_SC, and mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >.

set_proxy()

void mc2lib::memconsistency::cats::Architecture::set_proxy ( const Architecture *  proxy )

inline

Member Data Documentation

proxy_

const Architecture* mc2lib::memconsistency::cats::Architecture::proxy_

protected

---

The documentation for this class was generated from the following file:

• include/mc2lib/memconsistency/cats.hpp