Uses of Interface
net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration.IAdditionalInformationLogger
-
Packages that use ReasonerConfiguration.IAdditionalInformationLogger Package Description net.ssehub.easy.reasoning.core.reasoner All classes and interfaces needed to implement a reasoner.
How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Addorg.eclipse.equinox.dsto the required plugins andorg.osgi.service.componentto the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core. -
-
Uses of ReasonerConfiguration.IAdditionalInformationLogger in net.ssehub.easy.reasoning.core.reasoner
Fields in net.ssehub.easy.reasoning.core.reasoner declared as ReasonerConfiguration.IAdditionalInformationLogger Modifier and Type Field Description static ReasonerConfiguration.IAdditionalInformationLoggerReasonerConfiguration. ADDITIONAL_INFO_LOG_NONEstatic ReasonerConfiguration.IAdditionalInformationLoggerReasonerConfiguration. ADDITIONAL_INFO_LOG_SYSOUTprivate ReasonerConfiguration.IAdditionalInformationLoggerReasonerConfiguration. loggerMethods in net.ssehub.easy.reasoning.core.reasoner that return ReasonerConfiguration.IAdditionalInformationLogger Modifier and Type Method Description ReasonerConfiguration.IAdditionalInformationLoggerReasonerConfiguration. getLogger()Returns the additional information logger.Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type ReasonerConfiguration.IAdditionalInformationLogger Modifier and Type Method Description voidReasoningResult. logInformation(Project prj, ReasonerConfiguration.IAdditionalInformationLogger infoLogger, boolean withMessages)Logs reasoning summary based onprj, the measures and the messages.ReasonerConfigurationReasonerConfiguration. setAdditionalInformationLogger(ReasonerConfiguration.IAdditionalInformationLogger logger)Defines the additional information logger.
-