Class DeLPPost

java.lang.Object
org.tweetyproject.web.services.delp.DeLPPost

public class DeLPPost extends Object
The DeLPPost class represents a data structure for holding information related to a Defeasible Logic Program (DeLP) request sent via HTTP POST.
  • Constructor Details

    • DeLPPost

      public DeLPPost()
      Default constructor for DeLPPost.
    • DeLPPost

      public DeLPPost(String cmd, String email, String compcriterion, String kb, String query, int timeout, String unit_timeout)
      Parameterized constructor for DeLPPost.
      Parameters:
      cmd - The command type
      email - The email associated with the request
      compcriterion - The completeness criterion
      kb - The knowledge base (KB)
      query - The query string
      timeout - The timeout value (in seconds)
      unit_timeout - The unit timeout value
  • Method Details

    • getCmd

      public String getCmd()
      Gets the command type for the DeLP request.
      Returns:
      The command type for the DeLP request.
    • setCmd

      public void setCmd(String cmd)
      Sets the command type for the DeLP request.
      Parameters:
      cmd - The command type for the DeLP request.
    • getEmail

      public String getEmail()
      Gets the email associated with the DeLP request.
      Returns:
      The email associated with the DeLP request.
    • setEmail

      public void setEmail(String email)
      Sets the email associated with the DeLP request.
      Parameters:
      email - The email associated with the DeLP request.
    • getCompcriterion

      public String getCompcriterion()
      Gets the completeness criterion specified in the DeLP request.
      Returns:
      The completeness criterion specified in the DeLP request.
    • setCompcriterion

      public void setCompcriterion(String compcriterion)
      Sets the completeness criterion specified in the DeLP request.
      Parameters:
      compcriterion - The completeness criterion specified in the DeLP request.
    • getKb

      public String getKb()
      Gets the knowledge base (KB) provided in the DeLP request.
      Returns:
      The knowledge base (KB) provided in the DeLP request.
    • setKb

      public void setKb(String kb)
      Sets the knowledge base (KB) provided in the DeLP request.
      Parameters:
      kb - The knowledge base (KB) provided in the DeLP request.
    • getQuery

      public String getQuery()
      Gets the query string in the DeLP request.
      Returns:
      The query string in the DeLP request.
    • setQuery

      public void setQuery(String query)
      Sets the query string in the DeLP request.
      Parameters:
      query - The query string in the DeLP request.
    • getTimeout

      public int getTimeout()
      Gets the timeout value (in seconds) specified in the DeLP request.
      Returns:
      The timeout value (in seconds) specified in the DeLP request.
    • setTimeout

      public void setTimeout(int timeout)
      Sets the timeout value (in seconds) specified in the DeLP request.
      Parameters:
      timeout - The timeout value (in seconds) specified in the DeLP request.
    • getUnit_timeout

      public String getUnit_timeout()
      Gets the unit timeout value specified in the DeLP request.
      Returns:
      The unit timeout value specified in the DeLP request.
    • setUnit_timeout

      public void setUnit_timeout(String unit_timeout)
      Sets the unit timeout value specified in the DeLP request.
      Parameters:
      unit_timeout - The unit timeout value specified in the DeLP request.
    • cmd

      public DeLPPost cmd(String cmd)
      Sets the command type for the DeLP request.
      Parameters:
      cmd - The command type for the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • email

      public DeLPPost email(String email)
      Sets the email associated with the DeLP request.
      Parameters:
      email - The email associated with the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • compcriterion

      public DeLPPost compcriterion(String compcriterion)
      Sets the completeness criterion specified in the DeLP request.
      Parameters:
      compcriterion - The completeness criterion specified in the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • kb

      public DeLPPost kb(String kb)
      Sets the knowledge base (KB) provided in the DeLP request.
      Parameters:
      kb - The knowledge base (KB) provided in the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • query

      public DeLPPost query(String query)
      Sets the query string in the DeLP request.
      Parameters:
      query - The query string in the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • timeout

      public DeLPPost timeout(int timeout)
      Sets the timeout value (in seconds) specified in the DeLP request.
      Parameters:
      timeout - The timeout value (in seconds) specified in the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • unit_timeout

      public DeLPPost unit_timeout(String unit_timeout)
      Sets the unit timeout value specified in the DeLP request.
      Parameters:
      unit_timeout - The unit timeout value specified in the DeLP request.
      Returns:
      The current instance of DeLPPost.
    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object