j.l.r.Parameter.hashCode() question

[elena votchennikova]

Hello,

the API spec to the j.l.r.Parameter.hashCode() method says "Returns a 
hash code based on the executable's hash code and the index."
Could you please explain me does this mean that the hash codes must be 
identical for the two Parameters with the same executables and the same 
indexes and the hash codes must be different for the Parameters with 
different executables or indexes?
What does mean "based" in this context?


Thanks a lot,
Elena