7 my @dep_types = qw(EXISTENCE_OF TYPE_OF INDICES_OF CONTENTS_OF),
8 my @ev_types = qw(VALUE_SET VALUE_EXISTS),
13 (my @builders = qw(step string number dict proposition)),
19 dep_types => \@dep_types,
20 event_types => \@ev_types,
21 builders => \@builders,
26 # use constant INDICES_OF => \*INDICES_OF;
29 map {; no strict 'refs'; $_ => \*$_ } @const
32 # $EXISTENCE_OF = 1, ...
34 do { no strict 'refs'; ${$dep_types[$_-1]} = $_ } for 1..@dep_types;
36 # VALUE_EXISTS needs to trigger indices checks on its parent
38 our $VALUE_EXISTS = 1;
40 # VALUE_EXISTS triggers all types, VALUE_SET all but EXISTENCE_OF
42 our @VALUE_EXISTS = (EXISTENCE_OF(), TYPE_OF(), INDICES_OF(), CONTENTS_OF());
43 our @VALUE_SET = (TYPE_OF(), INDICES_OF(), CONTENTS_OF());
46 my ($tag, $thing) = @_;
47 my $dp = deparse($thing);
49 warn "${tag}: ${dp}\n";
53 require DX::Step::Normal;
54 DX::Step::Normal->new(@_);
58 require DX::Value::String;
59 DX::Value::String->new(string_value => $_[0])
63 require DX::Value::Number;
64 DX::Value::Number->new(number_value => $_[0]);
68 require DX::Value::Dict;
75 my ($pred, @args) = @_;
76 require DX::Proposition;