/* * Efecto: obtiene el número de notificaciones. * Requiere: n/a * Modifica: n/a */ internal int getNotificaciones() { return(controladoraNotificaciones.getNumeroDeNotificaciones()); }
internal int getNotificaciones() { return(notificaciones.getNumeroDeNotificaciones()); }