Class DungReasonerCalleeFactory
java.lang.Object
org.tweetyproject.web.services.dung.DungReasonerCalleeFactory
Factory for creating Dung reasoner callees from web request data.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic enumEnumeration of commands supported by the factory, each with a unique ID and label. -
Method Summary
Modifier and TypeMethodDescriptionstatic CalleegetCallee(DungReasonerCalleeFactory.Command cmd, AbstractExtensionReasoner reasoner, DungTheory bbase) Creates and returns a Callee instance based on the provided Command, AbstractExtensionReasoner, and DungTheory parameters.static DungReasonerCalleeFactory.Command[]Retrieves an array of all available Command enums.
-
Method Details
-
getCommands
Retrieves an array of all available Command enums.- Returns:
- An array of Command enums
-
getCallee
public static Callee getCallee(DungReasonerCalleeFactory.Command cmd, AbstractExtensionReasoner reasoner, DungTheory bbase) Creates and returns a Callee instance based on the provided Command, AbstractExtensionReasoner, and DungTheory parameters.- Parameters:
cmd- The command to be executedreasoner- The AbstractExtensionReasoner to be usedbbase- The DungTheory to be processed- Returns:
- A Callee instance corresponding to the specified command
- Throws:
RuntimeException- If the specified command is not found
-