blob: 98b4b697d42dfbda4ba3a92f0a53256062d7096b [file] [log] [blame]
process b : t_book {
b.getTitle().println();
}
operation t_book getTitle() : String {
return self.a_title;
}