Data Property: sourceAnchor
http://www.ifi.unizh.ch/ddis/evoont/2008/11/sourceAnchor
Annotations
-
comment: "Identifies the location in the source where the information is extracted.
The exact format of the qualifier is dependent on the source of the information. Usually, it will be an anchor in a source file, in which case the following format should be used
file "<filespec>" start <start_index> end <end_index>. Where <filespec> is a string holding the name of the source-file in an operating system dependent format (preferably a filename relative to some project directory). Note that filenames may contain spaces and double quotation marks. A double quotation mark in a filename should be escaped with a \". <start_index> and <end_index> are indices starting at 1 and holding the beginning/ending character position in the source file. Extra position indices or whole source anchors may be added to handle anchors in files that may need to be displayed with external editors. For instance, the line and column of the character (startline, startcol, endline, endcol). Or the negative offset counting from the end of the file instead of from the beginning (negstart, negend)." (en)
Property Characteristics (and other axioms)
-
functional (sourceAnchor)
Domains
Ranges