keyFilename property

dynamic get keyFilename

Generate filename from key

• If filenamePrefix is not empty, filename = filenamePrefix.key.json, else key.json

JsonPreferences don't use this internally. This is provided as an utility for external use.

Implementation

get keyFilename {
  if (filenamePrefix.isEmpty) {
    return '$key.json';
  } else {
    return '$filenamePrefix.$key.json';
  }
}