Logo Search packages:      
Sourcecode: undertaker version File versions  Download package

Public Types | Public Member Functions | Protected Attributes

DeadBlockDefect Class Reference

Checks a given block for "un-selectable block" defects. More...

#include <BlockDefectAnalyzer.h>

Inheritance diagram for DeadBlockDefect:
Inheritance graph
[legend]
Collaboration diagram for DeadBlockDefect:
Collaboration graph
[legend]

List of all members.

Public Types

enum  DEFECTTYPE { None, Implementation, Configuration, Referential }

Public Member Functions

 DeadBlockDefect (CodeSatStream *cs, const char *block)
 c'tor for Dead Block Defect Analysis
virtual void defectIsGlobal ()
 mark defect als valid on all models
virtual int defectType () const
const std::string defectTypeToString () const
 human readable identifier for the defect type
std::string getBlockPrecondition (const ConfigurationModel *model) const
virtual std::list< std::string > getOKList ()
const std::string getSuffix () const
virtual bool isDefect (const ConfigurationModel *model)
 checks for a defect
virtual bool isGlobal () const
 checks if the defect applies to all models
virtual void markOk (const std::string &arch)
virtual bool needsCrosscheck () const
 defect will be present on every model
virtual bool writeReportToFile () const
 Write out a report to a file.

Protected Attributes

const char * _arch
const char * _block
CodeSatStream_cs
int _defectType
std::string _formula
bool _isGlobal
bool _needsCrosscheck
std::list< std::string > _OKList
 List of architectures on which this is proved to be OK.
const char * _suffix

Detailed Description

Checks a given block for "un-selectable block" defects.

Definition at line 81 of file BlockDefectAnalyzer.h.


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

Generated by  Doxygen 1.6.0   Back to index