Class AgentIdFilter

  • All Implemented Interfaces:
    AgentFilter

    public class AgentIdFilter
    extends Object
    implements AgentFilter
    Agent filter that filters for agent names.
    • Constructor Detail

      • AgentIdFilter

        public AgentIdFilter​(String... ids)
        Creates a new filter.
        Parameters:
        ids - the ids to filter for.
    • Method Detail

      • isIncluded

        public boolean isIncluded​(Agent agent)
        Checks if the given agent is included by this filter.
        Specified by:
        isIncluded in interface AgentFilter
        Parameters:
        agent - the agent to check.
        Returns:
        true if the given agent id is included in this filter.