LightJason - AgentSpeak(L++)
CExists.java
Go to the documentation of this file.
1 /*
2  * @cond LICENSE
3  * ######################################################################################
4  * # LGPL License #
5  * # #
6  * # This file is part of the LightJason AgentSpeak(L++) #
7  * # Copyright (c) 2015-19, LightJason (info@lightjason.org) #
8  * # This program is free software: you can redistribute it and/or modify #
9  * # it under the terms of the GNU Lesser General Public License as #
10  * # published by the Free Software Foundation, either version 3 of the #
11  * # License, or (at your option) any later version. #
12  * # #
13  * # This program is distributed in the hope that it will be useful, #
14  * # but WITHOUT ANY WARRANTY; without even the implied warranty of #
15  * # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
16  * # GNU Lesser General Public License for more details. #
17  * # #
18  * # You should have received a copy of the GNU Lesser General Public License #
19  * # along with this program. If not, see http://www.gnu.org/licenses/ #
20  * ######################################################################################
21  * @endcond
22  */
23 
24 package org.lightjason.agentspeak.action.builtin.storage;
25 
32 
33 import javax.annotation.Nonnegative;
34 import javax.annotation.Nonnull;
35 import javax.annotation.Nullable;
36 import java.util.List;
37 import java.util.function.Function;
38 import java.util.stream.Stream;
39 
40 
48 public final class CExists extends IStorage
49 {
53  private static final long serialVersionUID = 8505190439682767260L;
54 
58  public CExists()
59  {
60  super();
61  }
62 
68  public CExists( @Nonnull final Function<String, Boolean> p_resolver )
69  {
70  super( p_resolver );
71  }
72 
78  public CExists( @Nullable final String... p_forbidden )
79  {
80  super( p_forbidden );
81  }
82 
88  public CExists( @Nonnull final Stream<String> p_fordbidden )
89  {
90  super( p_fordbidden );
91  }
92 
93  @Nonnegative
94  @Override
95  public final int minimalArgumentNumber()
96  {
97  return 1;
98  }
99 
100  @Nonnull
101  @Override
102  public final IFuzzyValue<Boolean> execute( final boolean p_parallel, @Nonnull final IContext p_context,
103  @Nonnull final List<ITerm> p_argument, @Nonnull final List<ITerm> p_return
104  )
105  {
106  CCommon.flatten( p_argument )
107  .map( ITerm::<String>raw )
108  .map( i -> ( !m_resolver.apply( i ) ) && ( p_context.agent().storage().containsKey( i ) ) )
109  .map( CRawTerm::from )
110  .forEach( p_return::add );
111 
112  return CFuzzyValue.from( true );
113  }
114 
115 }
CExists( @Nonnull final Stream< String > p_fordbidden)
ctor
Definition: CExists.java:88
CExists( @Nonnull final Function< String, Boolean > p_resolver)
ctor
Definition: CExists.java:68
static< N > IFuzzyValue< N > from( @Nonnull final N p_value)
factory
common structure for execution definition
final Function< String, Boolean > m_resolver
set with forbidden keys
execution context with local data
Definition: IContext.java:42
check if an element exists within the agent-storage.
Definition: CExists.java:48
static Stream< ITerm > flatten( @Nonnull final Collection<? extends ITerm > p_terms)
flat term-in-term collection into a straight term list
result for an immutable fuzzy value
static< N > CRawTerm< N > from(final N p_value)
factory for a raw term
Definition: CRawTerm.java:104
final int minimalArgumentNumber()
minimum number of arguments
Definition: CExists.java:95
final IFuzzyValue< Boolean > execute(final boolean p_parallel, @Nonnull final IContext p_context, @Nonnull final List< ITerm > p_argument, @Nonnull final List< ITerm > p_return)
defines a plan-body operation
Definition: CExists.java:102
CExists( @Nullable final String... p_forbidden)
ctor
Definition: CExists.java:78
term structure for simple datatypes
Definition: CRawTerm.java:45