(File file)
| 55 | } |
| 56 | |
| 57 | static public File checkSketchFile(File file) { |
| 58 | // check to make sure that this .pde file is |
| 59 | // in a folder of the same name |
| 60 | String fileName = file.getName(); |
| 61 | File parent = file.getParentFile(); |
| 62 | String parentName = parent.getName(); |
| 63 | String pdeName = parentName + ".pde"; |
| 64 | File altPdeFile = new File(parent, pdeName); |
| 65 | String inoName = parentName + ".ino"; |
| 66 | File altInoFile = new File(parent, inoName); |
| 67 | |
| 68 | if (pdeName.equals(fileName) || inoName.equals(fileName)) |
| 69 | return file; |
| 70 | |
| 71 | if (altPdeFile.exists()) |
| 72 | return altPdeFile; |
| 73 | |
| 74 | if (altInoFile.exists()) |
| 75 | return altInoFile; |
| 76 | |
| 77 | return null; |
| 78 | } |
| 79 | |
| 80 | /** |
| 81 | * Reload the list of files. This checks the sketch directory on disk, |
no test coverage detected