Enum Class DungReasonerCalleeFactory.Command

java.lang.Object
java.lang.Enum<DungReasonerCalleeFactory.Command>
org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command
All Implemented Interfaces:
Serializable, Comparable<DungReasonerCalleeFactory.Command>, Constable
Enclosing class:
DungReasonerCalleeFactory

public static enum DungReasonerCalleeFactory.Command extends Enum<DungReasonerCalleeFactory.Command>
Enumeration of commands supported by the factory, each with a unique ID and label.
  • Enum Constant Details

  • Field Details

    • id

      public String id
      ID of the command
    • label

      public String label
      Label of the command
  • Method Details

    • values

      public static DungReasonerCalleeFactory.Command[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared
    • valueOf

      public static DungReasonerCalleeFactory.Command valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null
    • getCommand

      public static DungReasonerCalleeFactory.Command getCommand(String id)
      Retrieves the Command enum based on the provided ID.
      Parameters:
      id - ID of the command
      Returns:
      The corresponding Command enum, or null if not found