org.mozilla.mentat

Class TxReport

java.lang.Object

org.mozilla.mentat.TxReport

All Implemented Interfaces:

Closeable, AutoCloseable

public class TxReport
extends Object

This class wraps a raw pointer than points to a Rust `TxReport` object.

The `TxReport` contains information about a successful Mentat transaction.

This information includes:

• `txId` - the identifier for the transaction.
• `txInstant` - the time that the transaction occured.
• a map of temporary identifiers provided in the transaction and the `Entid`s that they were mapped to.

Access an `Entid` for a temporary identifier that was provided in the transaction can be done through `entid(String:)`.

 TxReport report = mentat.transact("[[:db/add "a" :foo/boolean true]]");
 long aEntid = report.getEntidForTempId("a");

Constructor Summary

Constructors

Constructor and Description
TxReport(com.sun.jna.Pointer pointer)

Method Summary

Modifier and Type	Method and Description
void	close()
Long	getEntidForTempId(String tempId) Access an `Entid` for a temporary identifier that was provided in the transaction.
com.sun.jna.Pointer	getPointerForUUID(UUID uuid)
Long	getTxId() Get the identifier for the transaction.
Date	getTxInstant() Get the time that the transaction occured.
UUID	getUUIDFromPointer(com.sun.jna.Pointer uuidPtr)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TxReport

public TxReport(com.sun.jna.Pointer pointer)

Method Detail

getTxId

public Long getTxId()

Get the identifier for the transaction.

Returns:

The identifier for the transaction.

getTxInstant

public Date getTxInstant()

Get the time that the transaction occured.

Returns:

The time that the transaction occured.

getEntidForTempId

public Long getEntidForTempId(String tempId)

Access an `Entid` for a temporary identifier that was provided in the transaction.

Parameters:

tempId - A String representing the temporary identifier to fetch the `Entid` for.

Returns:

The `Entid` for the temporary identifier, if present, otherwise `null`.

close

public void close()

getPointerForUUID

public com.sun.jna.Pointer getPointerForUUID(UUID uuid)

getUUIDFromPointer

public UUID getUUIDFromPointer(com.sun.jna.Pointer uuidPtr)