/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package rulespecs2;

/**
 *
 * @author denis
 */
public class District extends City{
    
    protected String nameDistrict;

    public District(String nameDistrict, String nameCity, String nameCountry) {
        super(nameCity, nameCountry);
        this.nameDistrict = nameDistrict;
    }

    @Override
    public String toString() {
        return "District{" + "nameCountry=" + nameCountry + "nameCity=" + nameCity + "nameDistrict=" + nameDistrict + '}';
    }

    
}