void function ( ) { EventListener loc0 ; EventHandler loc1 ; this . serviceStatus = ServiceStatus . STARTED ; }
service interface implementation . concode_field_sep ErrorManager errorManager concode_elem_sep ServiceStatus serviceStatus concode_elem_sep EventManager eventManager concode_elem_sep PlatformDatabaseSystem platformDatabaseSystem concode_elem_sep PlatformFileSystem platformFileSystem concode_elem_sep DeviceUser mLoggedInDeviceUser concode_elem_sep List<EventListener> listenersAdded concode_field_sep void resume concode_elem_sep void recoverLastState concode_elem_sep User getUser concode_elem_sep ServiceStatus getStatus concode_elem_sep void pause concode_elem_sep void setEventManager concode_elem_sep void loadUser concode_elem_sep void stop concode_elem_sep void setPlatformDatabaseSystem concode_elem_sep void setErrorManager concode_elem_sep DeviceUser getLoggedInUser concode_elem_sep DeviceUser createUser concode_elem_sep void setPlatformFileSystem