Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
clingo_location Struct Reference

Detailed Description

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.
Examples:
ast.c.

Public Attributes

char const * begin_file
 the file where the location begins
 
char const * end_file
 the file where the location ends
 
size_t begin_line
 the line where the location begins
 
size_t end_line
 the line where the location ends
 
size_t begin_column
 the column where the location begins
 
size_t end_column
 the column where the location ends
 

The documentation for this struct was generated from the following file: