|
HAL
v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
|

Public Types | |
| enum | StorageFormat { Double = 0 , Uint64 = 0x206c6168 , Coded = 0x786c6168 } |
| SALEAE storage format for transition time values. More... | |
Public Member Functions | |
| SaleaeHeader () | |
| SaleaeStatus::ErrorCode | read (std::ifstream &ff) |
| SaleaeStatus::ErrorCode | write (std::ofstream &of) const |
| StorageFormat | storageFormat () const |
| Getter for storage format, see above. More... | |
| void | setStorageFormat (StorageFormat sf) |
| Setter for storage format, see above. More... | |
| int32_t | value () const |
| Getter for initial value. More... | |
| void | setValue (int32_t v) |
| Setter for initial value. More... | |
| uint64_t | beginTime () const |
| Getter for time of first event. More... | |
| void | setBeginTime (uint64_t t) |
| Setter for time of first event. More... | |
| uint64_t | endTime () const |
| Getter for time of last event. More... | |
| void | setEndTime (uint64_t t) |
| Setter for time of last event. More... | |
| uint64_t | numTransitions () const |
| Getter for number of transitions stored in file. Remember that the total number of events is numTransitions()+1 (start value). More... | |
| void | setNumTransitions (uint64_t n) |
| Setter for number of transitions stored in file. More... | |
| void | incrementTransitions () |
| Increment number of transitions by one. More... | |
Public Attributes | |
| char | mIdent [9] |
| int32_t | mVersion |
| StorageFormat | mStorageFormat |
| int32_t | mValue |
| uint64_t | mBeginTime |
| uint64_t | mEndTime |
| uint64_t | mNumTransitions |
Static Public Attributes | |
| static const char * | sIdent = "<SALEAE>" |
The header of a SALEAE binary waveform file, which stores the value format and the number of transitions.
Definition at line 57 of file saleae_file.h.
SALEAE storage format for transition time values.
| Enumerator | |
|---|---|
| Double | |
| Uint64 | Double values,. |
| Coded | |
Definition at line 61 of file saleae_file.h.
| hal::SaleaeHeader::SaleaeHeader | ( | ) |
Definition at line 35 of file saleae_file.cpp.
|
inline |
Getter for time of first event.
Definition at line 103 of file saleae_file.h.
References mBeginTime.
Referenced by hal::SaleaeOutputFile::fileIndex(), hal::SaleaeInputFile::get_buffered_data(), hal::SaleaeInputFile::get_file_position(), hal::SaleaeInputFile::get_next_value(), hal::VcdSerializer::importSaleae(), and hal::SaleaeInputFile::SaleaeInputFile().
|
inline |
Getter for time of last event.
Definition at line 109 of file saleae_file.h.
References mEndTime.
Referenced by hal::SaleaeOutputFile::fileIndex(), hal::SaleaeInputFile::get_file_position(), and hal::VcdSerializer::importSaleae().
|
inline |
Increment number of transitions by one.
Definition at line 121 of file saleae_file.h.
References mNumTransitions.
Referenced by hal::SaleaeOutputFile::writeTimeValue().
|
inline |
Getter for number of transitions stored in file. Remember that the total number of events is numTransitions()+1 (start value).
Definition at line 115 of file saleae_file.h.
References mNumTransitions.
Referenced by hal::SaleaeOutputFile::fileIndex(), hal::SaleaeInputFile::get_buffered_data(), hal::SaleaeInputFile::get_file_position(), hal::SaleaeInputFile::get_next_value(), hal::VcdSerializer::importSaleae(), hal::WaveData::neighborTransition(), and hal::SaleaeInputFile::skip_transitions().
| SaleaeStatus::ErrorCode hal::SaleaeHeader::read | ( | std::ifstream & | ff | ) |
Read SALEAE header from open input stream
| ff | The file stream to read header from |
Definition at line 42 of file saleae_file.cpp.
References hal::SaleaeStatus::BadIndentifier, Coded, Double, hal::ff, mBeginTime, mEndTime, mIdent, mNumTransitions, mStorageFormat, mValue, mVersion, hal::SaleaeStatus::Ok, sIdent, hal::SaleaeParser::sTimeScaleFactor, type, Uint64, and hal::SaleaeStatus::UnsupportedType.
Referenced by hal::SaleaeInputFile::SaleaeInputFile().
|
inline |
Setter for time of first event.
Definition at line 106 of file saleae_file.h.
References mBeginTime.
Referenced by hal::SaleaeOutputFile::writeTimeValue().
|
inline |
Setter for time of last event.
Definition at line 112 of file saleae_file.h.
References mEndTime.
Referenced by hal::SaleaeOutputFile::put_data(), and hal::SaleaeOutputFile::writeTimeValue().
|
inline |
Setter for number of transitions stored in file.
Definition at line 118 of file saleae_file.h.
References mNumTransitions.
Referenced by hal::SaleaeOutputFile::put_data().
|
inline |
Setter for storage format, see above.
Definition at line 94 of file saleae_file.h.
References mStorageFormat.
Referenced by hal::SaleaeOutputFile::put_data().
|
inline |
Setter for initial value.
Definition at line 100 of file saleae_file.h.
References mValue.
Referenced by hal::SaleaeOutputFile::put_data(), and hal::SaleaeOutputFile::writeTimeValue().
|
inline |
Getter for storage format, see above.
Definition at line 91 of file saleae_file.h.
References mStorageFormat.
Referenced by hal::SaleaeInputFile::get_buffered_data(), hal::SaleaeInputFile::get_int_value(), hal::SaleaeInputFile::get_next_value(), saleae_cat(), hal::SaleaeInputFile::SaleaeInputFile(), and hal::SaleaeOutputFile::writeTimeValue().
|
inline |
Getter for initial value.
Definition at line 97 of file saleae_file.h.
References mValue.
Referenced by hal::SaleaeInputFile::get_buffered_data(), hal::SaleaeInputFile::get_int_value(), and hal::SaleaeInputFile::get_next_value().
| SaleaeStatus::ErrorCode hal::SaleaeHeader::write | ( | std::ofstream & | of | ) | const |
Write SALEAE header into open output stream
| of | The file stream to write header into |
Definition at line 85 of file saleae_file.cpp.
References mBeginTime, mEndTime, mIdent, mNumTransitions, mStorageFormat, mValue, mVersion, hal::SaleaeStatus::Ok, and type.
Referenced by hal::SaleaeOutputFile::close(), and hal::SaleaeOutputFile::SaleaeOutputFile().
| uint64_t hal::SaleaeHeader::mBeginTime |
Definition at line 68 of file saleae_file.h.
Referenced by beginTime(), read(), saleae_cat(), saleae_ls(), setBeginTime(), and write().
| uint64_t hal::SaleaeHeader::mEndTime |
Definition at line 69 of file saleae_file.h.
Referenced by endTime(), read(), saleae_cat(), saleae_ls(), setEndTime(), and write().
| char hal::SaleaeHeader::mIdent[9] |
Definition at line 64 of file saleae_file.h.
Referenced by read(), SaleaeHeader(), and write().
| uint64_t hal::SaleaeHeader::mNumTransitions |
Definition at line 70 of file saleae_file.h.
Referenced by incrementTransitions(), numTransitions(), read(), saleae_cat(), saleae_diff(), saleae_ls(), setNumTransitions(), and write().
| StorageFormat hal::SaleaeHeader::mStorageFormat |
Definition at line 66 of file saleae_file.h.
Referenced by read(), setStorageFormat(), storageFormat(), and write().
| int32_t hal::SaleaeHeader::mValue |
Definition at line 67 of file saleae_file.h.
Referenced by read(), saleae_cat(), setValue(), value(), and write().
| int32_t hal::SaleaeHeader::mVersion |
Definition at line 65 of file saleae_file.h.
|
static |
Definition at line 72 of file saleae_file.h.
Referenced by read(), and SaleaeHeader().