t/findall.t

   1 use strictures 1;
   2 use Test::More;
   3 use DX::Solver;
   4 use DX::OrderedSet;
   5
   6 my $solver = DX::Solver->new;
   7
   8 { package My::Server;
   9   use Moo;
  10   has name => (is => 'ro', required => 1);
  11
  12   package My::ShellInstalled;
  13   use Moo;
  14   has server => (is => 'ro', required => 1);
  15   has shell => (is => 'ro', required => 1);
  16 }
  17
  18 $solver->facts->{server} = DX::OrderedSet->new(
  19   values => [ map My::Server->new(name => $_), qw(one two three four five) ]
  20 );
  21 $solver->facts->{shell_installed} = DX::OrderedSet->new(
  22   values => [
  23     (map My::ShellInstalled->new(server => $_, shell => 'bash'),
  24        qw(one three four)),
  25     (map My::ShellInstalled->new(server => $_, shell => 'csh'),
  26        qw(two three five)),
  27   ],
  28 );
  29
  30 my @r = $solver->query([ 'X' ],
  31   [ findall => X => S =>
  32     [ member_of => 'S', \'server' ],
  33     [ exists => [ qw(Name SI) ] =>
  34       [ member_of => 'SI', \'shell_installed' ],
  35       [ prop => 'SI' => \'server' => 'Name' ],
  36       [ prop => 'S' => \'name' => 'Name' ],
  37       [ prop => 'SI' => \'shell' => \'bash' ]
  38     ],
  39   ]
  40 )->results;
  41
  42 is_deeply(
  43   [ map $_->name, $r[0]->value_for('X')->all ],
  44   [ qw(one three four) ]
  45 );
  46
  47 done_testing;