Module org.jgrapht.io

Package org.jgrapht.nio

Class IntegerIdProvider<T>

java.lang.Object

org.jgrapht.nio.IntegerIdProvider<T>

Type Parameters:

T - the element type

All Implemented Interfaces:

Function<T,String>

public class IntegerIdProvider<T>
extends Object
implements Function<T,String>

Assign a unique integer identifier to a set of elements. Each instance of provider maintains an internal map between every element it has ever seen and the unique integer representing that element.

Author:

Trevor Harmon

Constructor Summary

Constructors

Constructor	Description
IntegerIdProvider()	Create a new provider
IntegerIdProvider(int nextId)	Create a new provider.

Method Summary

Modifier and Type	Method	Description
String	apply(T t)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

IntegerIdProvider

public IntegerIdProvider()

Create a new provider

IntegerIdProvider

public IntegerIdProvider(int nextId)

Create a new provider.

Parameters:

nextId - identifier to start from

Method Details

apply

public String apply(T t)

Specified by:

apply in interface Function<T,String>