validate the transaction check that the version of read locations , which are maintained by the elastic tx , are consistent concode_field_sep ReadFieldAccess[] entries concode_elem_sep int size concode_field_sep void add concode_elem_sep int getSize concode_elem_sep boolean contains concode_elem_sep int size concode_elem_sep void initArray concode_elem_sep void clear concode_elem_sep void copy
boolean function ( int arg0 ) { int loc0 ; for ( int loc1 = 0 ; loc1 < size ; loc1 ++ ) { ReadFieldAccess loc2 = entries [ loc1 ] ; loc0 = LockTable . checkLock ( loc2 . getHash ( ) , arg0 ) ; if ( loc0 >= 0 && loc0 != loc2 . getLock ( ) ) { return false ; } } return true ; }