class Platform {

  public String getSharedLibraryFileName(String baseName) {
    return String.format("%s%s.%s", getSharedLibraryPrefix(), baseName,
        getSharedLibraryFileExtension());
  }

  public  Platform(String operatingSystem, String architecture);
  public  Platform();

}