Package randoop.util

Class CheckpointingMultiMap.OpKeyVal

java.lang.Object

randoop.util.CheckpointingMultiMap.OpKeyVal

Enclosing class:

CheckpointingMultiMap<K extends @Signed Object,V extends @Signed Object>

private class CheckpointingMultiMap.OpKeyVal
extends Object

A triple of an operation, a key, and a value.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) K	key	A key.
(package private) CheckpointingMultiMap.Ops	op	An operation.
(package private) V	val	A value.

Constructor Summary

Constructors

Constructor	Description
OpKeyVal(CheckpointingMultiMap.Ops op, K key, V val)	Creates a new OpKeyVal.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

op

final CheckpointingMultiMap.Ops op

An operation.

key

final K extends @Signed Object key

A key.

val

final V extends @Signed Object val

A value.

Constructor Detail

OpKeyVal

OpKeyVal(CheckpointingMultiMap.Ops op,
         K key,
         V val)

Creates a new OpKeyVal.

Parameters:

op - an operation

key - a key

val - a value