|
Oracle Fusion Middleware Java API for Oracle WebLogic Portal 10g Release 3 (10.3.4) E14255-03 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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. |
Method Detail |
---|
void unify(Expression expression) throws ExpressionException
expression
- the expression to be unified.
ExpressionException
- if the unification fails.
|
Oracle Fusion Middleware Java API for Oracle WebLogic Portal 10g Release 3 (10.3.4) E14255-03 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |