Class TermVisitorBuilder<I,O>

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.visitors.TermVisitorBuilder<I,O>

public class TermVisitorBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
TermVisitorBuilder()

Method Summary

Modifier and Type	Method	Description
TermVisitorBuilder<I,O>	onConstant(BiFunction<Constant,I,O> f)
TermVisitorBuilder<I,O>	onVariable(BiFunction<Variable,I,O> f)
TermVisitor<I,O>	or(BiFunction<Term,I,O> f)
TermVisitor<I,O>	orCrash()
TermVisitor<I,O>	orNull()

Methods inherited from class java.lang.Object

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

Constructor Details

TermVisitorBuilder

public TermVisitorBuilder()

Method Details

onVariable

public TermVisitorBuilder<I,O> onVariable(BiFunction<Variable,I,O> f)

onConstant

public TermVisitorBuilder<I,O> onConstant(BiFunction<Constant,I,O> f)

or

public TermVisitor<I,O> or(BiFunction<Term,I,O> f)

orNull

public TermVisitor<I,O> orNull()

orCrash

public TermVisitor<I,O> orCrash()