( filename )
| 108 | return lines |
| 109 | |
| 110 | def convertFile( filename ) : |
| 111 | |
| 112 | lines = open( filename ).readlines() |
| 113 | lines = convertIncludes( lines ) |
| 114 | lines = convertNamespaces( lines ) |
| 115 | lines = convertUsingNamespace( lines ) |
| 116 | |
| 117 | with open( filename, "w" ) as f : |
| 118 | for line in lines : |
| 119 | f.write( line ) |
| 120 | |
| 121 | directory = vars( args )["source-directory"] |
| 122 | for root, dirs, files in os.walk( directory ) : |
no test coverage detected