[Jason-bugs] ObjectTermImpl equality bug

[Tim C. <tim...@ya...>]

Jason developers,

The last patch I sent regarding the ObjectTermImpl equals method is not 100% correct. There is a case where a variable can be assigned a value. In such circumstances the variable must equate with anything equal to what it is bound to. This patch fixes this issue and adds an additional test to demonstrate that the equality is now/again reflective. Now an ObjectTermImpl and a variable that is bound to an ObjectTermImpl (that is equal to the other ObjectTermImpl) will be equal.

regards,
Tim Cleaver 

Send instant messages to your online friends http://au.messenger.yahoo.com