Interface IToolKeywordsMenu

All Superinterfaces:
Serializable
public interface IToolKeywordsMenu extends Serializable
Contract for enumerations that should contain the set of keywords descri

  • Method Details

    • getToolName

      String getToolName()
      Returns:
      the reasoner name

    • getToolBinding

      Class<? extends IToolBinding> getToolBinding()
      Returns:
      the tool binding for the reasoner

    • getSupportedFormats

      Collection<Enum<?>> getSupportedFormats()

    • sanityCheck

      default void sanityCheck()
      Checks for the consistency of the file

    • getTopLevelEnums

      static Collection<Class<? extends Enum<?>>> getTopLevelEnums(Class<?> clazz)
      Retrieves the list of top-level enums declared within a specified class.
      Parameters:
      clazz - The class to inspect.
      Returns:
      A list of enum classes declared at the top level within the specified class.