Method getFileName

arduino-core/src/processing/app/SketchFile.java:199–201

()

   * Returns the filename include extension.
   */
  public String getFileName() {
    return file.getName();
  }

  /**
   * Returns the filename without extension for normal sketch files