"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Rose/BinaryAnalysis/Concolic/Database.h" between
rose-0.11.49.0.tar.gz and rose-0.11.50.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

Database.h  (rose-0.11.49.0):Database.h  (rose-0.11.50.0)
skipping to change at line 154 skipping to change at line 154
//-------------------------------------------------------------------------- ---------------------------------------------- //-------------------------------------------------------------------------- ----------------------------------------------
// Execution events // Execution events
//-------------------------------------------------------------------------- ---------------------------------------------- //-------------------------------------------------------------------------- ----------------------------------------------
/** All execution events. /** All execution events.
* *
* If this database object has a current test suite, then the return value is limited to execution events used by that * If this database object has a current test suite, then the return value is limited to execution events used by that
* test suite, otherwise all execution events are returned. */ * test suite, otherwise all execution events are returned. */
std::vector<ExecutionEventId> executionEvents(); std::vector<ExecutionEventId> executionEvents();
/** All execution events for a particular test case. */ /** All execution events for a particular test case.
*
* The events are sorted according to @ref ExecutionLocation::isSorted. */
std::vector<ExecutionEventId> executionEvents(TestCaseId); std::vector<ExecutionEventId> executionEvents(TestCaseId);
/** Number of execution events for a particular test case. */ /** Number of execution events for a particular test case. */
size_t nExecutionEvents(TestCaseId); size_t nExecutionEvents(TestCaseId);
/** Execution events at a specific location. /** Execution events at a specific location.
* *
* Returns the execution events for a specific location. All events for the primary key of the location are returned, * Returns the execution events for a specific location. All events for the primary key of the location are returned,
* sorted by the secondary key. */ * sorted according to @ref ExecutionLocation::isSorted. */
std::vector<ExecutionEventId> executionEvents(TestCaseId, uint64_t primaryKe y); std::vector<ExecutionEventId> executionEvents(TestCaseId, uint64_t primaryKe y);
/** Execution events from the specified event onward. */ /** Execution events from the specified event onward.
*
* The returned events are sorted according to @ref ExecutionLocation::isSo
rted. */
std::vector<ExecutionEventId> executionEventsSince(TestCaseId, ExecutionEven tId startingAt); std::vector<ExecutionEventId> executionEventsSince(TestCaseId, ExecutionEven tId startingAt);
/** Primary keys for the location events. /** Primary keys for the location events.
* *
* The return value is the vector for all the primary location key values f or the specified test case. */ * The return value is the vector for all the primary location key values f or the specified test case. */
std::vector<uint64_t> executionEventKeyFrames(TestCaseId); std::vector<uint64_t> executionEventKeyFrames(TestCaseId);
/** Erase all events for a test case. */ /** Erase all events for a test case. */
void eraseExecutionEvents(TestCaseId); void eraseExecutionEvents(TestCaseId);
 End of changes. 3 change blocks. 
3 lines changed or deleted 8 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)