Home
last modified time | relevance | path

Searched refs:get_file (Results 1 – 5 of 5) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/
H A D_linter.py59 filename = cursor.get_file()
228 end = clx.SourceLocation.from_position(tu, tu.get_file(tu.spelling), startline, -1)
499 origin_file = func.get_file()
731 self.patches[cursor.get_file()].append(patch)
H A D_src_pos.py26 new_file = self[tu] = tu.get_file(tu.spelling)
H A D_cursor.py710 def get_file(self) -> Path: member in Cursor
/petsc/doc/tutorials/
H A Din_person.md66 …[Slides](http://www.tacc.utexas.edu/c/document_library/get_file?uuid=802633ce-f165-407f-bec8-f0efc…
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/
H A D_doc_section.py162 with open(cursor.get_file()) as fh: