getPropertyAsIntWithDefault method
Get a property as an integer. If the property is not set, the given default value is returned. @param key The property key. @param value The default value to use if the property does not exist. @return The property value interpreted as an integer, or the default value. @see #setProperty
Implementation
@override
int getPropertyAsIntWithDefault(String key, int value) {
var r = _properties[key];
if (r != null) {
r.used = true;
final parsed = int.tryParse(r.value);
if (parsed != null) {
return parsed;
}
}
return value;
}