move hashcode into header...part of prep to switch class libraries
authorbdemsky <bdemsky>
Thu, 14 Apr 2011 18:53:46 +0000 (18:53 +0000)
committerbdemsky <bdemsky>
Thu, 14 Apr 2011 18:53:46 +0000 (18:53 +0000)
commit929fa62c50d2b835470836378912bb879b656202
tree12eda1378868df21bab0c90860f124dfb00525f2
parent023c8898fea8a8e2c2ba3879f54bf173f4146508
move hashcode into header...part of prep to switch class libraries
Robust/src/ClassLibrary/Bristlecone/Object.java
Robust/src/ClassLibrary/FastCheck/Object.java
Robust/src/ClassLibrary/Java/Object.java
Robust/src/ClassLibrary/JavaDSM/Object.java
Robust/src/ClassLibrary/JavaSTM/Object.java
Robust/src/ClassLibrary/JavaThread/Object.java
Robust/src/ClassLibrary/MGC/Object.java
Robust/src/Runtime/object.c
Robust/src/Runtime/runtime.c