24 #include <core/threading/thread_finalizer.h>
25 #include <logging/logger.h>
26 #include <plugins/asp/aspect/asp.h>
27 #include <plugins/asp/aspect/asp_inifin.h>
28 #include <plugins/asp/aspect/clingo_access.h>
29 #include <plugins/asp/aspect/clingo_control_manager.h>
57 if (asp_thread ==
nullptr) {
59 "but RTTI says it has not.",
63 asp_thread->init_ASPAspect(
64 ctrl_mgr_->create_control(asp_thread->control_name_, asp_thread->log_comp_));
70 ASPAspect *asp_thread =
dynamic_cast<ASPAspect *
>(thread);
71 if (asp_thread ==
nullptr) {
72 throw CannotFinalizeThreadException(
"Thread '%s' claims to have the ASPAspect, "
73 "but RTTI says it has not.",
77 asp_thread->finalize_ASPAspect();