class EditorModel {

  public boolean isScriptFile(File f) {
    if (f != null  &&
        (!f.exists() || f.isFile())) {

      final int lastDot = f.getName().lastIndexOf('.');

      if (lastDot >= 0) {
        final String suffix = f.getName().substring(lastDot + 1).toLowerCase();

        return s_knownScriptTypes.contains(suffix);
      }
    }

    return false;
  }

  public  EditorModel(Resources resources,
                     TextSource.Factory textSourceFactory,
                     AgentCacheState agentCacheState,
                     FileChangeWatcher fileChangeWatcher);

}