|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jEquivalenceMapping
public class jEquivalenceMapping
This class is used to register jVariable
mapped pairs during
equivalence testing.
Field Summary | |
---|---|
protected java.util.Hashtable |
variables
|
Constructor Summary | |
---|---|
jEquivalenceMapping()
|
Method Summary | |
---|---|
boolean |
mapVariablePair(jVariable v1,
jVariable v2)
Adds a mapping between two different variables. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.util.Hashtable variables
Constructor Detail |
---|
public jEquivalenceMapping()
Method Detail |
---|
public final boolean mapVariablePair(jVariable v1, jVariable v2)
jVariable
during equivalence testing.
v1
- a variable to pair.v2
- the other variable in the pair.
true
if the variables were previously unmapped, or this is the same mapping
false
otherwise.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |