jade.domain
Class DFMemKB

java.lang.Object
  jade.domain.KBManagement.KB
      jade.domain.KBManagement.MemKB
          jade.domain.DFMemKB

public class DFMemKB
extends jade.domain.KBManagement.MemKB

Author:

Elisabetta Cortese - TILab

Field Summary

Fields inherited from class jade.domain.KBManagement.MemKB

currentReg, facts, lm, MAX_REGISTER_WITHOUT_CLEAN, sr, subscriptions

Constructor Summary

DFMemKB(int maxResultLimit)
Constructor

Method Summary

protected void	clean() Scan the facts and remove those whose lease time has expired.
static boolean	compare(java.lang.Object template, java.lang.Object fact)
static boolean	compareServiceDesc(ServiceDescription template, ServiceDescription fact)
protected java.lang.Object	insert(java.lang.Object name, java.lang.Object fact)
boolean	match(java.lang.Object template, java.lang.Object fact)

Methods inherited from class jade.domain.KBManagement.MemKB

getSubscriptionDfAgentDescriptions, getSubscriptions, getSubscriptions, iterator, matchAID, remove, search, subscribe, unsubscribe

Methods inherited from class jade.domain.KBManagement.KB

deregister, register, search, setLeaseManager, setSubscriptionResponder

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFMemKB

public DFMemKB(int maxResultLimit)

Constructor

Parameters:

maxResultLimit - JADE internal limit for maximum number of search results

Method Detail

insert

protected java.lang.Object insert(java.lang.Object name,
                                  java.lang.Object fact)

Overrides:

insert in class jade.domain.KBManagement.MemKB

clean

protected void clean()

Scan the facts and remove those whose lease time has expired.

Specified by:

clean in class jade.domain.KBManagement.MemKB

match

public final boolean match(java.lang.Object template,
                           java.lang.Object fact)

Specified by:

match in class jade.domain.KBManagement.MemKB

compare

public static final boolean compare(java.lang.Object template,
                                    java.lang.Object fact)

compareServiceDesc

public static final boolean compareServiceDesc(ServiceDescription template,
                                               ServiceDescription fact)