Struct clingo::Location

pub struct Location(_);

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.

Methods

impl Location

pub fn new(
    begin_file: &str,
    end_file: &str,
    begin_line: usize,
    end_line: usize,
    begin_column: usize,
    end_column: usize
) -> Result<Location, NulError>

Create a new location.

Arguments

• begin_file - the file where the location begins
• end_file - the file where the location ends
• begin_line - the line where the location begins
• end_line - the line where the location ends
• begin_column - the column where the location begins
• end_column - the column where the location ends

Errors

• NulError - if begin_file end_file or contain a nul byte

pub fn begin_file(&self) -> Result<&str, Utf8Error>

the file where the location begins

pub fn end_file(&self) -> Result<&str, Utf8Error>

the file where the location ends

pub fn begin_line(&self) -> usize

the line where the location begins

pub fn end_line(&self) -> usize

the line where the location ends

pub fn begin_column(&self) -> usize

the column where the location begins

pub fn end_column(&self) -> usize

the column where the location ends

Trait Implementations

impl Debug for Location

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for Location

impl Clone for Location

fn clone(&self) -> Location

Returns a copy of the value.

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

Performs copy-assignment from source.