Unifier Interface

com.bea.p13n.expression
Unifier Interface

public interface Unifier

An interface implemented by classes that can unify (replace occurrences of a variable with a value) an expression.
The unification process is a stateful operation in that the underlying expression is modified (by assigning variables to values).

Method Summary

public void
unify(Expression expression)
Performs the unification on the supplied expression.

Method Detail

unify(Expression) Method

public void unify(Expression expression)
throws ExpressionException
Performs the unification on the supplied expression.

Parameters

expression
the expression to be unified.

Exceptions

ExpressionException
if the unification fails.