district_name property

String district_name
getter/setter pair

Implementation

String district_name;