Searched refs:sourceFile (Results 1 – 2 of 2) sorted by relevance
94 File sourceFile = new File(dataDirectory, zoneId); in ZoneCompactor() local95 long length = sourceFile.length(); in ZoneCompactor()100 copyFile(sourceFile, allData); in ZoneCompactor()
1558 for (let sourceFile of this.sourceFiles) {1560 let lineNumbers = Object.keys(sourceFile.showLines);1563 let code = getHtml('pre', {text: sourceFile.code[lineNumber]});1564 let countInfo = sourceFile.showLines[lineNumber];1586 this.div.append(getHtml('pre', {text: sourceFile.path}));