ROSE  0.9.11.125
Public Types | Public Member Functions | Static Public Member Functions | List of all members
Rose::BinaryAnalysis::Concolic::TestCase Class Reference

Description

Information about how to run a specimen.

This object points to a specimen and also contains all the information necessary to run the specimen.

Definition at line 224 of file BinaryConcolic.h.

#include <BinaryConcolic.h>

Inheritance diagram for Rose::BinaryAnalysis::Concolic::TestCase:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::Concolic::TestCase:
Collaboration graph
[legend]

Public Types

typedef Sawyer::SharedPointer< TestCasePtr
 Reference counting pointer to a TestCase. More...
 

Public Member Functions

std::string printableName (const DatabasePtr &db=DatabasePtr())
 Returns printable name of test case for diagnostic output. More...
 
bool hasConcolicTest () const
 returns if the test has been run concollically. More...
 
void concolicTest (bool)
 sets the status of the concolic test to true. More...
 
bool hasConcreteTest () const
 returns if the test has been run concretely. More...
 
Sawyer::Optional< double > concreteRank () const
 returns the concrete rank. More...
 
void concreteRank (Sawyer::Optional< double > val)
 sets the concrete rank. More...
 
std::string name () const
 Property: Test case name. More...
 
void name (const std::string &)
 Property: Test case name. More...
 
Specimen::Ptr specimen () const
 Property: Specimen. More...
 
void specimen (const Specimen::Ptr &)
 Property: Specimen. More...
 
std::vector< std::string > args () const
 Command line arguments.
 
void args (std::vector< std::string > arguments)
 Command line arguments.
 
std::vector< EnvValueenv () const
 Environment variables.
 
void env (std::vector< EnvValue > envvars)
 Environment variables.
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 
- Public Member Functions inherited from Sawyer::SharedFromThis< TestCase >
SharedPointer< TestCase > sharedFromThis ()
 Create a shared pointer from this. More...
 
SharedPointer< const TestCase > sharedFromThis () const
 Create a shared pointer from this. More...
 

Static Public Member Functions

static Ptr instance ()
 Allocating default constructor. More...
 
static Ptr instance (const Specimen::Ptr &specimen)
 Allocating constructor. More...
 

Member Typedef Documentation

Reference counting pointer to a TestCase.

Definition at line 227 of file BinaryConcolic.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::Concolic::TestCase::instance ( )
inlinestatic

Allocating default constructor.

Definition at line 245 of file BinaryConcolic.h.

static Ptr Rose::BinaryAnalysis::Concolic::TestCase::instance ( const Specimen::Ptr specimen)
static

Allocating constructor.

std::string Rose::BinaryAnalysis::Concolic::TestCase::name ( ) const

Property: Test case name.

This should be a printable name, such as a specimen name and/or serial number. It's used mostly for informational purposes such as debugging. There is no requirement that the name be unique or non-empty.

Thread safety: This method is thread safe.

void Rose::BinaryAnalysis::Concolic::TestCase::name ( const std::string &  )

Property: Test case name.

This should be a printable name, such as a specimen name and/or serial number. It's used mostly for informational purposes such as debugging. There is no requirement that the name be unique or non-empty.

Thread safety: This method is thread safe.

std::string Rose::BinaryAnalysis::Concolic::TestCase::printableName ( const DatabasePtr db = DatabasePtr())

Returns printable name of test case for diagnostic output.

Returns a string suitable for printing to a terminal, containing the words "test case", the database ID if appropriate, and the test case name using C-style double-quoted string literal syntax if not empty. The database ID is shown if a non-null database is specified and this test case exists in that database.

Specimen::Ptr Rose::BinaryAnalysis::Concolic::TestCase::specimen ( ) const

Property: Specimen.

The specimen that is being examined by this test case.

Thread safety: This method is thread safe.

void Rose::BinaryAnalysis::Concolic::TestCase::specimen ( const Specimen::Ptr )

Property: Specimen.

The specimen that is being examined by this test case.

Thread safety: This method is thread safe.

bool Rose::BinaryAnalysis::Concolic::TestCase::hasConcolicTest ( ) const

returns if the test has been run concollically.

void Rose::BinaryAnalysis::Concolic::TestCase::concolicTest ( bool  )

sets the status of the concolic test to true.

bool Rose::BinaryAnalysis::Concolic::TestCase::hasConcreteTest ( ) const

returns if the test has been run concretely.

Sawyer::Optional<double> Rose::BinaryAnalysis::Concolic::TestCase::concreteRank ( ) const

returns the concrete rank.

void Rose::BinaryAnalysis::Concolic::TestCase::concreteRank ( Sawyer::Optional< double >  val)

sets the concrete rank.


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