Package it.unive.lisa.analysis.representation

Class PairRepresentation

java.lang.Object

it.unive.lisa.analysis.representation.DomainRepresentation

it.unive.lisa.analysis.representation.PairRepresentation

All Implemented Interfaces:

java.lang.Comparable<DomainRepresentation>

Direct Known Subclasses:

InferredValue.InferredPairRepresentation

public class PairRepresentation
extends DomainRepresentation

A DomainRepresentation in the form of a pair of elements.

Field Summary

Fields

Modifier and Type	Field	Description
protected DomainRepresentation	left	The left-most element.
protected DomainRepresentation	right	The right-most element.

Constructor Summary

Constructors

Constructor	Description
PairRepresentation(DomainRepresentation left, DomainRepresentation right)	Builds a new representation containing the given pair of elements.
PairRepresentation(L left, R right, java.util.function.Function<L,DomainRepresentation> leftMapper, java.util.function.Function<R,DomainRepresentation> rightMapper)	Builds a new representation starting from the given pair of elements.

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class it.unive.lisa.analysis.representation.DomainRepresentation

compareTo

Methods inherited from class java.lang.Object

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

Field Detail

left

protected final DomainRepresentation left

The left-most element.

right

protected final DomainRepresentation right

The right-most element.

Constructor Detail

PairRepresentation

public PairRepresentation(L left,
                          R right,
                          java.util.function.Function<L,DomainRepresentation> leftMapper,
                          java.util.function.Function<R,DomainRepresentation> rightMapper)

Builds a new representation starting from the given pair of elements. leftMapper and rightMapper are used for transforming both elements to their individual representation.

Type Parameters:

L - the type of the left element

R - the type of the right element

Parameters:

left - the left element to represent

right - the right element to represent

leftMapper - the function that knows how to convert the left element to its representation

rightMapper - the function that knows how to convert the right element to its representation

PairRepresentation

public PairRepresentation(DomainRepresentation left,
                          DomainRepresentation right)

Builds a new representation containing the given pair of elements.

Parameters:

left - the left-most element

right - the right-most element

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class DomainRepresentation

hashCode

public int hashCode()

Specified by:

hashCode in class DomainRepresentation

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class DomainRepresentation