com.salesforce.jgrapht.ext.IntegerEdgeNameProvider Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of AptSpringProcessor Show documentation

This project contains the apt processor that implements all the checks enumerated in @Verify. It is a self contained, and shaded jar.

There is a newer version: 2.0.7

Show newest version

/*
 * (C) Copyright 2005-2017, by Trevor Harmon and Contributors.
 *
 * JGraphT : a free Java graph-theory library
 *
 * This program and the accompanying materials are dual-licensed under
 * either
 *
 * (a) the terms of the GNU Lesser General Public License version 2.1
 * as published by the Free Software Foundation, or (at your option) any
 * later version.
 *
 * or (per the licensee's choosing)
 *
 * (b) the terms of the Eclipse Public License v1.0 as published by
 * the Eclipse Foundation.
 */
package com.salesforce.jgrapht.ext;

import java.util.*;

/**
 * Assigns a unique integer to represent each edge. Each instance of IntegerEdgeNameProvider
 * maintains an internal map between every edge it has ever seen and the unique integer representing
 * that edge. As a result it is probably desirable to have a separate instance for each distinct
 * graph.
 * 
 * @param  the graph edge type
 *
 * @author Trevor Harmon
 * 
 * @deprecated in favor of {@link IntegerComponentNameProvider}
 */
@Deprecated
public class IntegerEdgeNameProvider
    implements EdgeNameProvider
{
    private int nextID = 1;
    private final Map idMap = new HashMap<>();

    /**
     * Clears all cached identifiers, and resets the unique identifier counter.
     */
    public void clear()
    {
        nextID = 1;
        idMap.clear();
    }

    /**
     * Returns the String representation of an edge.
     *
     * @param edge the edge to be named
     */
    @Override
    public String getEdgeName(E edge)
    {
        Integer id = idMap.get(edge);
        if (id == null) {
            id = nextID++;
            idMap.put(edge, id);
        }

        return id.toString();
    }
}

// End IntegerEdgeNameProvider.java