ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: usr / share / doc / perl-Parse-RecDescent-1.967009 / demo

#!/usr/bin/perl -sw

# PARSE AND EVALUATE LOGICAL EXPRESSIONS WITH A AUTOGENERATED OO PARSE TREE

use Parse::RecDescent;
use Data::Dumper;

sub trace_only {
        my ($pattern) = @_;
        $RD_TRACE=1;
        my $_real_trace = \&Parse::RecDescent::_trace;
        *Parse::RecDescent::_trace = sub ($;$$$) {
            my ($msg, $context, $rulename, $level) = @_;
            return if $msg !~ $pattern;
            goto &{$_real_trace};
        };
    }

my $parse = Parse::RecDescent->new(<<'EOG');

<autotree: LOGICAL>
	expr	:	set | clear | disj
	set		:	'set' atom
	clear	:	'clear' atom
	disj	:	<leftop: conj 'or' conj>
				{ bless $item[-1], 'LOGICAL::'.$item[0] }
	conj	:	<leftop: unary 'and' unary>
				{ bless $item[-1], 'LOGICAL::'.$item[0] }
	unary	:	neg | bracket | atom
	bracket :	'(' expr ')'
	neg	:	'not' unary
	atom	:	/[a-z]+/i
EOG

trace_only( qr/Matched|consumed/ );

while (<DATA>)
{
	my $tree = $parse->expr($_);
	print Data::Dumper->Dump([$tree]);
	print $tree->eval(), "\n" if $tree;
}

BEGIN {@var{qw(a c e)} = (1,1,1);}

sub returning
{
 	 # local $^W;
	 # print +(caller(1))[3], " returning ($_[0])\n";
	$_[0];
}

sub LOGICAL::expr::eval		{ my $type = $_[0]->{set}||$_[0]->{clear}
													 ||$_[0]->{disj};
							  returning $type->eval() }
sub LOGICAL::disj::eval     { returning join '', map {$_->eval()} @{$_[0]} }
sub LOGICAL::conj::eval     { returning ! join '', map {! $_->eval()} @{$_[0]} }
sub LOGICAL::unary::eval    { my $type = $_[0]->{neg}||$_[0]->{bracket}
												     ||$_[0]->{atom};
							  returning $type->eval() }
sub LOGICAL::bracket::eval  { returning $_[0]->{expr}->eval() }
sub LOGICAL::neg::eval	   	{ returning ! $_[0]->{unary}->eval() }
sub LOGICAL::set::eval      { returning $::var{$_[0]->{atom}->name()} = 1 }
sub LOGICAL::clear::eval    { returning $::var{$_[0]->{atom}->name()} = 0 }
sub LOGICAL::atom::eval     { returning $::var{$_[0]->{__VALUE__}} }
sub LOGICAL::atom::name     { returning $_[0]->{__VALUE__} }

__DATA__
a or b and not c or d

[-] demo_cpp.pl [edit]
[-] demo_autorule.pl [edit]
[-] demo_errors.pl [edit]
[-] demo_piecewise.pl [edit]
[-] demo_logic.pl [edit]
[-] demo_skipcomment.pl [edit]
[-] demo_implicit.pl [edit]
[-] demo_separators.pl [edit]
[-] demo_perlparsing.pl [edit]
[-] demo_street.pl [edit]
[-] demo_scoredsep.pl [edit]
[-] demo.c [edit]
[-] demo_textgen.pl [edit]
[-] demo.pl [edit]
[-] demo_calc.pl [edit]
[+] ..
[-] demo_another_Cgrammar.pl [edit]
[-] demo_matchrule2.pl [edit]
[-] demo_mccoy.pl [edit]
[-] demo_restructure_painful.pl [edit]
[-] demo_methods.pl [edit]
[-] demo_language.pl [edit]
[-] demo_selfmod.pl [edit]
[-] demo_OOautoparsetree.pl [edit]
[-] demo_codeblock.pl [edit]
[-] demo_simplequery.pl [edit]
[-] demo_restructure_easy.pl [edit]
[-] demo_tokens.pl [edit]
[-] demo_decomment.pl [edit]
[-] demo_recipe.pl [edit]
[-] demo_delete.pl [edit]
[-] demo_lisplike.pl [edit]
[-] demo_bad.pl [edit]
[-] demo_arithmetic.pl [edit]
[-] demo_leftassoc.pl [edit]
[-] demo_PerlCSV.pl [edit]
[-] demo_metaRD.pm [edit]
[-] demo_derived.pl [edit]
[-] demo_opreps.pl [edit]
[-] demo_matchrule.pl [edit]
[-] demo_LaTeXish_autoact.pl [edit]
[-] demo_operator.pl [edit]
[-] demo_autoscoresep.pl [edit]
[-] demo_Cgrammar_v2.pl [edit]
[-] demo_NL2SQL.pl [edit]
[-] demo_Cgrammar.pl [edit]
[-] demo_randomsentence.pl [edit]
[-] demo_template.pl [edit]
[-] demo_quicklist.pl [edit]
[-] demo_itemhash.pl [edit]
[-] demo_buildcalc.pl [edit]
[-] demo_leftop.pl [edit]
[-] demo_decomment_nonlocal.pl [edit]
[-] demo_dot.pl [edit]
[-] demo_LaTeXish.pl [edit]
[-] demo_precalc.pl [edit]
[-] demo_eval.pl [edit]
[-] demo_autostub.pl [edit]
[-] demo_whoson.pl [edit]
[-] demo_lexer.pl [edit]
[-] demo_OOparsetree.pl [edit]
[-] demo_parsetree.pl [edit]
[-] demo_simple.pl [edit]
[-] demo_embedding.pl [edit]
[-] demo_simpleXML.pl [edit]
[-] demo_undumper.pl [edit]