String publicNameFromDiskName(String diskName){
  if (!shouldDiskNameBeVisible(diskName)) {
    throw new IllegalArgumentException("disk file should not be visible: " + diskName);
  }
  return diskName.substring(mFilePrefix.length(),diskName.length());
}

String publicNameFromDiskName ( String diskName ) { if ( ! shouldDiskNameBeVisible ( diskName ) ) { throw new IllegalArgumentException ( "disk file should not be visible: " + diskName ) ; } return diskName . substring ( mFilePrefix . length ( ) , diskName . length ( ) ) ; }
returns the public name ( everything following the prefix ) of the given diskname .
