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 © 2000, 2008, Oracle and/or its affiliates. All rights reserved.
Oracle is a registered trademark of Oracle Corporation and/or its affiliates.
Other names may be trademarks of their respective owners.