Struct clingo_sys::clingo_location

#[repr(C)]
pub struct clingo_location {
    pub begin_file: *const c_char,
    pub end_file: *const c_char,
    pub begin_line: usize,
    pub end_line: usize,
    pub begin_column: usize,
    pub end_column: usize,
}

! Represents a source code location marking its beginnig and end. ! ! @note Not all locations refer to physical files. ! By convention, such locations use a name put in angular brackets as filename. ! The string members of a location object are internalized and valid for the duration of the process.

Fields

begin_file: *const c_char

!< the file where the location begins

end_file: *const c_char

!< the file where the location ends

begin_line: usize

!< the line where the location begins

end_line: usize

!< the line where the location ends

begin_column: usize

!< the column where the location begins

end_column: usize

!< the column where the location ends

Trait Implementations

impl Clone for clingo_location

fn clone(&self) -> clingo_location

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for clingo_location

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for clingo_location