org.ggp.base.util.Pair Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util;

import java.util.Comparator;
import java.util.Map;

public class Pair  {
    public final L left;
    public final R right;

    private Pair(L left, R right) {
        this.left = left;
        this.right = right;
    }

    public static  Pair of(L left, R right) {
        return new Pair(left, right);
    }

    public static  Pair from(Map.Entry entry) {
        return of(entry.getKey(), entry.getValue());
    }

    @Override
    public int hashCode() {
        final int prime = 31;
        int result = 1;
        result = prime * result + ((left == null) ? 0 : left.hashCode());
        result = prime * result + ((right == null) ? 0 : right.hashCode());
        return result;
    }

    @Override
    public boolean equals(Object obj) {
        if (this == obj)
            return true;
        if (obj == null)
            return false;
        if (getClass() != obj.getClass())
            return false;
        Pair other = (Pair) obj;
        if (left == null) {
            if (other.left != null)
                return false;
        } else if (!left.equals(other.left))
            return false;
        if (right == null) {
            if (other.right != null)
                return false;
        } else if (!right.equals(other.right))
            return false;
        return true;
    }

    @Override
    public String toString() {
        return "<" + left + ", " + right + ">";
    }

    public static , R> Comparator> getLeftComparator() {
        return new Comparator>() {
            @Override
            public int compare(Pair pair1, Pair pair2) {
                return pair1.left.compareTo(pair2.left);
            }
        };
    }
}