keyFilename property
dynamic
get
keyFilename
Generate filename from key
- If filenamePrefix is not empty, filename = filenamePrefix.key.json, else key.json
This is an utility function for external use.
Implementation
get keyFilename {
if (filenamePrefix.isEmpty) {
return '$key.json';
} else {
return '$filenamePrefix.$key.json';
}
}