ROSE  0.9.11.10
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 203 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

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< EnvValue > env () 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...
 

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 206 of file BinaryConcolic.h.

Member Function Documentation

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

Allocating default constructor.

Definition at line 224 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.

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: