com.bea.p13n.expression
Interface Unifier
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 |
void |
unify(Expression expression)
Performs the unification on the supplied expression. |
unify
void unify(Expression expression)
throws ExpressionException
- Performs the unification on the supplied expression.
- Parameters
expression
- the expression to be unified.
- Throws
ExpressionException
- if the unification fails.
Copyright © 2006 BEA Systems, Inc. All Rights Reserved