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

Description

Information about how to run a specimen.

Definition at line 137 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 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...
 
- 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 140 of file BinaryConcolic.h.

Member Function Documentation

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

Allocating default constructor.

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


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