Lines Matching refs:extension
1602 # "extensions" maps the file extension ("c", "py").
1872 extension = os.path.splitext(filename)[1][1:]
1873 if not extension:
1877 language = extensions[extension](filename)
2442 # All the functions after here are intended as extension points.
