generating public getters and setters