561 |
optional<String> DeviceCreationParameterInt::RangeMin(std::map<String,String> Parameters) { |
optional<String> DeviceCreationParameterInt::RangeMin(std::map<String,String> Parameters) { |
562 |
optional<int> rangemin = RangeMinAsInt(Parameters); |
optional<int> rangemin = RangeMinAsInt(Parameters); |
563 |
if (!rangemin) return optional<String>::nothing; |
if (!rangemin) return optional<String>::nothing; |
564 |
return ToString(rangemin); |
return ToString(*rangemin); |
565 |
} |
} |
566 |
|
|
567 |
optional<String> DeviceCreationParameterInt::RangeMax(std::map<String,String> Parameters) { |
optional<String> DeviceCreationParameterInt::RangeMax(std::map<String,String> Parameters) { |
568 |
optional<int> rangemax = RangeMaxAsInt(Parameters); |
optional<int> rangemax = RangeMaxAsInt(Parameters); |
569 |
if (!rangemax) return optional<String>::nothing; |
if (!rangemax) return optional<String>::nothing; |
570 |
return ToString(rangemax); |
return ToString(*rangemax); |
571 |
} |
} |
572 |
|
|
573 |
optional<String> DeviceCreationParameterInt::Possibilities(std::map<String,String> Parameters) { |
optional<String> DeviceCreationParameterInt::Possibilities(std::map<String,String> Parameters) { |