software.amazon.cryptography.keystore.internaldafny.types

Class DafnyCallEvent<I,O>

java.lang.Object

software.amazon.cryptography.keystore.internaldafny.types.DafnyCallEvent<I,O>

public class DafnyCallEvent<I,O>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
I	_input
O	_output

Constructor Summary

Constructors

Constructor and Description
DafnyCallEvent(I input, O output)

Method Summary

Modifier and Type	Method and Description
static <I,O> dafny.TypeDescriptor<DafnyCallEvent<I,O>>	_typeDescriptor(dafny.TypeDescriptor<I> _td_I, dafny.TypeDescriptor<O> _td_O)
static <I,O> DafnyCallEvent<I,O>	create_DafnyCallEvent(I input, O output)
static <I,O> DafnyCallEvent<I,O>	create(I input, O output)
static <I,O> DafnyCallEvent<I,O>	Default(I _default_I, O _default_O)
I	dtor_input()
O	dtor_output()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_DafnyCallEvent()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_input

public I _input

_output

public O _output

Constructor Detail

DafnyCallEvent

public DafnyCallEvent(I input,
                      O output)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static <I,O> DafnyCallEvent<I,O> Default(I _default_I,
                                                O _default_O)

_typeDescriptor

public static <I,O> dafny.TypeDescriptor<DafnyCallEvent<I,O>> _typeDescriptor(dafny.TypeDescriptor<I> _td_I,
                                                                              dafny.TypeDescriptor<O> _td_O)

create

public static <I,O> DafnyCallEvent<I,O> create(I input,
                                               O output)

create_DafnyCallEvent

public static <I,O> DafnyCallEvent<I,O> create_DafnyCallEvent(I input,
                                                              O output)

is_DafnyCallEvent

public boolean is_DafnyCallEvent()

dtor_input

public I dtor_input()

dtor_output

public O dtor_output()