Jadex 0.96

jadex.testcases.misc
Agent DFMobile

jadex.testcases.misc.DFMobile
  • jadex.planlib.DFMobile
  • jadex.planlib.Test

  • agent DFMobile
    contains jadex.planlib.Test, jadex.planlib.DFMobile


    Agent arguments: timeout
    timeout long
    , testcenter
    testcenter AgentIdentifier

    Test the mobile DF capability.

    DF Mobile test agent. Tests the mobile df plans. Identical to DFTest agent but uses different DF capability.


    Belief Summary
    beliefsetref reports
              
    beliefref int testcase_cnt
              
    exported beliefref AgentIdentifier testcenter
              
    exported beliefref long timeout
              
     
    Goal Summary
    achievegoalref df_deregister
              
    maintaingoalref df_keep_registered
              
    achievegoalref df_register
              
    achievegoalref df_search
              
     
    Plan Summary
    standard plan test()
              
     
    Configuration Summary
    default configuration  default
              
     

    Belief Detail

    testcase_cnt

    beliefref int testcase_cnt
    Default fact:
    1
    Referenced from:
    testcase_cnt in capability jadex.planlib.Test

    timeout

    exported beliefref long timeout
    Default fact:
    0
    Referenced from:
    timeout in capability jadex.planlib.Test

    testcenter

    exported beliefref AgentIdentifier testcenter
    Referenced from:
    testcenter in capability jadex.planlib.Test

    reports

    beliefsetref  reports
    Referenced from:
    reports in capability jadex.planlib.Test
    Goal Detail

    df_register

    achievegoalref df_register
    Parameters:
    parameterref description
    parameterref df
    parameterref leasetime
    parameterref result
    Referenced from:
    df_register in capability jadex.planlib.DFMobile

    df_deregister

    achievegoalref df_deregister
    Parameters:
    parameterref description
    parameterref df
    Referenced from:
    df_deregister in capability jadex.planlib.DFMobile

    df_search

    achievegoalref df_search
    Parameters:
    parameterref constraints
    parameterref description
    parameterref df
    parameterref result
    Referenced from:
    df_search in capability jadex.planlib.DFMobile

    df_keep_registered

    maintaingoalref df_keep_registered
    Parameters:
    parameterref buffertime
    parameterref current_time
    parameterref description
    parameterref df
    parameterref leasetime
    parameterref result
    Referenced from:
    df_keep_registered in capability jadex.planlib.DFMobile
    Plan Detail

    test

    standard plan test()
    Plan body:
    Configuration Detail

    default

    default configuration default
    Initial Beliefs:
    testcase_cnt Initial value:  14
    Initial Goals:
    df_keep_registered (description=$propertybase.getProperty("fipa.agentdescription.dftest")
    , leasetime=4000
    )
    Initial Plans:
    test

    Jadex 0.96

    Submit a bug or feature
    For further API reference and developer documentation, see the Jadex User Guide and the Jadex Tutorial. That documentation contains more detailed, developer-targeted descriptions, with conceptual overviews, definitions of terms, and working code examples.

    Copyright (C) 2002-2007 Lars Braubach, Alexander Pokahr - University of Hamburg. Use is subject to license terms.