Add method getCommitTxRecord. Refactor code in validateCommitAndEnqueue()
commit76587f8485620652a409ac2feee25fd79c668a2d
authorSérgio Miguel Fernandes <sergio.fernandes@ist.utl.pt>
Thu, 27 Jun 2013 17:24:47 +0000 (27 18:24 +0100)
committerSérgio Miguel Fernandes <sergio.fernandes@ist.utl.pt>
Thu, 27 Jun 2013 17:24:47 +0000 (27 18:24 +0100)
tree389ba2bf9be55e4bd0ade10054dfdeef072f174e
parent868c675163316d4144843c742e490eee3a913361
Add method getCommitTxRecord. Refactor code in validateCommitAndEnqueue()
src/main/java/jvstm/InevitableTransaction.java
src/main/java/jvstm/TopLevelTransaction.java