(File file, String extension)
| 83 | |
| 84 | |
| 85 | public SketchCode(File file, String extension) { |
| 86 | this.file = file; |
| 87 | this.extension = extension; |
| 88 | |
| 89 | makePrettyName(); |
| 90 | |
| 91 | try { |
| 92 | load(); |
| 93 | } catch (IOException e) { |
| 94 | System.err.println("Error while loading code " + file.getName()); |
| 95 | } |
| 96 | } |
| 97 | |
| 98 | |
| 99 | protected void makePrettyName() { |
nothing calls this directly
no test coverage detected