Searched refs:make_source_location (Results 1 – 1 of 1) sorted by relevance
642 def make_source_location(self, lineno: int, col: int) -> SourceLocation: member in PetscDocString970 floc = SourceRange.from_locations(self.make_source_location(end_line, 1), cursor_start)