package crs
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=c9639ddde0d9126acf847a7b27a84db161b2bfbb7d3c69bba88a4fcfe1d3db21
sha512=34cfa8d001b5f8a87bdf3b78c15150f338c99cb575e8c85e6c398381f953727e0a0267c564d757330e28a57a5eedc27cb72681f82833197b17fa8d1c28a2df05
doc/crs.cr-comment/Cr_comment/Header/With_loc/index.html
Module Header.With_loc
Source
These getters allows you to access the position of each elements of the CR header. This is meant for tools processing CRs automatically, such as CRs rewriters.
The location includes the entire reporter username, without the surrounding spaces.
The location includes the entire assignee username, if it is present, without the surrounding spaces. In particular, the location does not include the "for"
keyword itself.
The location includes the entire keyword "CR"
or "XCR"
depending on the case. It stops right before the following char, that being a space or a '-'
(and thus does not include it).
When the CR is due Soon
or Someday
, the location returned starts right after the dash separator (but does not include it), and contains the entire due keyword. For example, the location will include "soon"
for a CR-soon
. When the CR is due Now
, there is no keyword to attach a location to : conventionally, we return instead the location of the CR kind
in this case.