edu.washington.cs.knowitall.logic

Class LogicExpression<E>

java.lang.Object

edu.washington.cs.knowitall.logic.LogicExpression<E>

Type Parameters:

E - the type of the base expressions

All Implemented Interfaces:

com.google.common.base.Predicate<E>

public class LogicExpression<E>
extends java.lang.Object
implements com.google.common.base.Predicate<E>

A logic expression engine that operates over user specified objects.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LogicExpression(java.util.List<Expression<E>> expressions)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	apply(E entity)
static <E> Expression.Apply<E>	buildAst(java.util.List<Expression<E>> rpn) Compile a rpn list of tokens into an expression tree.
static <E> LogicExpression<E>	compile(java.util.List<Expression<E>> expressions) Compile an infix list of tokens into an expression tree.
static <E> LogicExpression<E>	compile(java.lang.String input, com.google.common.base.Function<java.lang.String,Expression.Arg<E>> factoryDelegate) Helper factory method to instantiate a LogicExpression.
java.util.List<java.lang.String>	getArgs() Return a list of the arguments contained in the expression.
boolean	isEmpty() If the expression is empty, it returns true for all inputs.
static void	main(java.lang.String[] args) Iteractively interpret logic statements from stdin such as "true | (true & false)".
java.util.List<Expression<E>>	rpn(java.util.List<Expression<E>> tokens) Converts an infix logic representation into a postfix logic representation.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.common.base.Predicate

equals

Constructor Detail

LogicExpression

protected LogicExpression(java.util.List<Expression<E>> expressions)
                   throws LogicException.TokenizeLogicException,
                          LogicException.CompileLogicException

Parameters:

input - an infix representation of the logic expression.

Throws:

LogicException.TokenizeLogicException

LogicException.CompileLogicException

Method Detail

compile

public static <E> LogicExpression<E> compile(java.util.List<Expression<E>> expressions)

Compile an infix list of tokens into an expression tree.

Parameters:

rpn - a list of tokens in infix form.

Returns:

an expression tree.

compile

public static <E> LogicExpression<E> compile(java.lang.String input,
                             com.google.common.base.Function<java.lang.String,Expression.Arg<E>> factoryDelegate)

Helper factory method to instantiate a LogicExpression.

Parameters:

input - The string to parse.

factoryDelegate - The factory to build tokens.

Returns:

a new LogicExpression

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isEmpty

public boolean isEmpty()

If the expression is empty, it returns true for all inputs.

Returns:

true iff the expression is empty.

apply

public boolean apply(E entity)

Specified by:

apply in interface com.google.common.base.Predicate<E>

buildAst

public static <E> Expression.Apply<E> buildAst(java.util.List<Expression<E>> rpn)

Compile a rpn list of tokens into an expression tree.

Parameters:

rpn - a list of tokens in infix form.

Returns:

an expression tree.

getArgs

public java.util.List<java.lang.String> getArgs()

Return a list of the arguments contained in the expression.

Returns:

rpn

public java.util.List<Expression<E>> rpn(java.util.List<Expression<E>> tokens)
                                  throws LogicException.CompileLogicException

Converts an infix logic representation into a postfix logic representation.

Parameters:

tokens - a list of tokens in infix form.

Returns:

a list of tokens in postfix (rpn) form.

Throws:

LogicException.CompileLogicException

main

public static void main(java.lang.String[] args)

Iteractively interpret logic statements from stdin such as "true | (true & false)".

Parameters:

args -