Home
last modified time | relevance | path

Searched refs:txModel (Results 1 – 11 of 11) sorted by relevance

/dports/databases/hsqldb/hsqldb-2.3.4/hsqldb/src/org/hsqldb/persist/
H A DRowStoreAVLDiskData.java224 int txModel) { in commitRow() argument
239 if (txModel == TransactionManager.LOCKS) { in commitRow()
253 int txModel) { in rollbackRow() argument
258 if (txModel == TransactionManager.LOCKS) { in rollbackRow()
265 if (txModel == TransactionManager.LOCKS) { in rollbackRow()
274 if (txModel == TransactionManager.LOCKS) { in rollbackRow()
H A DRowStoreAVLDisk.java245 int txModel) { in commitRow() argument
255 if (txModel == TransactionManager.LOCKS) { in commitRow()
268 if (txModel == TransactionManager.LOCKS) { in commitRow()
279 int txModel) { in rollbackRow() argument
284 if (txModel == TransactionManager.LOCKS) { in rollbackRow()
302 if (txModel != TransactionManager.LOCKS) { in rollbackRow()
H A DRowStoreAVLMemory.java145 int txModel) { in commitRow() argument
172 int txModel) { in rollbackRow() argument
177 if (txModel == TransactionManager.LOCKS) { in rollbackRow()
H A DPersistentStore.java112 void commitRow(Session session, Row row, int changeAction, int txModel);
114 void rollbackRow(Session session, Row row, int changeAction, int txModel);
H A DSimpleStore.java209 int txModel) {} in commitRow() argument
212 int txModel) {} in rollbackRow() argument
H A DRowStoreAVLHybrid.java251 int txModel) {
274 int txModel) {
/dports/databases/hsqldb/hsqldb-2.3.4/hsqldb/src/org/hsqldb/
H A DTransactionManagerCommon.java60 int txModel; field in TransactionManagerCommon
91 if (mode == txModel) { in setTransactionControl()
99 switch (txModel) { in setTransactionControl()
218 action.store.commitRow(session, row, type, txModel); in persistCommit()
220 if (txModel == TransactionManager.LOCKS in persistCommit()
590 if (txModel == TransactionManager.MVLOCKS && session.isReadOnly()) { in setWaitedSessionsTPL()
661 if (txModel == TransactionManager.MVLOCKS && session.isReadOnly()) { in lockTablesTPL()
H A DTransactionManager2PL.java53 txModel = LOCKS; in TransactionManager2PL()
210 action.store.rollbackRow(session, row, type, txModel); in rollbackPartial()
H A DTransactionManagerMV2PL.java62 txModel = MVLOCKS; in TransactionManagerMV2PL()
270 action.store.rollbackRow(session, row, type, txModel); in rollbackPartial()
H A DTransactionManagerMVCC.java76 txModel = MVCC; in TransactionManagerMVCC()
325 action.store.rollbackRow(session, row, type, txModel); in rollbackPartial()
/dports/lang/solidity/solidity_0.8.11/libsolidity/formal/
H A DPredicate.cpp228 string txModel; in formatSummaryCall() local
282 txModel = "{ " + boost::algorithm::join(values, ", ") + " }"; in formatSummaryCall()
286 return contract->name() + ".constructor()" + txModel; in formatSummaryCall()
322 return prefix + fName + "(" + boost::algorithm::join(functionArgs, ", ") + ")" + txModel; in formatSummaryCall()