pub struct DafFileRecord {
pub locidw: String,
pub nd: u32,
pub ni: u32,
pub locifn: String,
pub fward: u32,
pub bward: u32,
pub free: u32,
pub locfmt: String,
pub prenul: Vec<u8>,
pub ftpstr: Vec<u8>,
pub pstnul: Vec<u8>,
}Expand description
The file record at the beginning of every DAF file.
Fields§
§locidw: StringIdentification word (e.g. "DAF/SPK").
nd: u32Number of double-precision components per summary.
ni: u32Number of integer components per summary.
locifn: StringInternal file name.
fward: u32Record number of the first summary record.
bward: u32Record number of the last summary record.
free: u32First free address in the file.
locfmt: StringNumeric binary format ("LTL-IEEE" or "BIG-IEEE").
prenul: Vec<u8>Pre-null bytes.
ftpstr: Vec<u8>FTP validation string.
pstnul: Vec<u8>Post-null bytes.
Trait Implementations§
Source§impl Debug for DafFileRecord
impl Debug for DafFileRecord
Source§impl PartialEq for DafFileRecord
impl PartialEq for DafFileRecord
impl StructuralPartialEq for DafFileRecord
Auto Trait Implementations§
impl Freeze for DafFileRecord
impl RefUnwindSafe for DafFileRecord
impl Send for DafFileRecord
impl Sync for DafFileRecord
impl Unpin for DafFileRecord
impl UnsafeUnpin for DafFileRecord
impl UnwindSafe for DafFileRecord
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.