de.zib.scalaris.operations
Class ReadRandomFromListOp.Result
java.lang.Object
de.zib.scalaris.operations.ReadRandomFromListOp.Result
- Enclosing class:
- ReadRandomFromListOp
public static class ReadRandomFromListOp.Result
- extends Object
Result type of random_from_list operations.
- Since:
- 3.18
- Version:
- 3.18
- Author:
- Nico Kruber, kruber@zib.de
randomElement
public final ErlangValue randomElement
- A random value from the stored list.
listLength
public final int listLength
- The length of the whole list stored in Scalaris.
toString
public String toString()
- Overrides:
toString
in class Object