dk.brics.tajs.analysis.nativeobjects.concrete

Class MappedNativeResult<T>

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.concrete.MappedNativeResult<T>

public class MappedNativeResult<T>
extends java.lang.Object

Result of a native call with an (optional) mapping to the concrete receiver and arguments.

Constructor Summary

Constructors

Constructor and Description
MappedNativeResult(java.util.Optional<ConcreteApplyMapping> mapped, NativeResult<T> result)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.Optional<ConcreteApplyMapping>	getMapped()
NativeResult<T>	getResult()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

MappedNativeResult

public MappedNativeResult(java.util.Optional<ConcreteApplyMapping> mapped,
                          NativeResult<T> result)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getMapped

public java.util.Optional<ConcreteApplyMapping> getMapped()

getResult

public NativeResult<T> getResult()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object