org.eclipse.viatra.dse.base

Class DseIdPoolHelper.IdProvider

java.lang.Object

org.eclipse.viatra.dse.base.DseIdPoolHelper.IdProvider

Enclosing class:

DseIdPoolHelper

public static class DseIdPoolHelper.IdProvider
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DseIdPoolHelper.IdProvider(ThreadContext context, DSETransformationRule<?,?> rule)

Method Summary

Methods

Modifier and Type	Method and Description
int	getId()

Methods inherited from class java.lang.Object

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

Constructor Detail

DseIdPoolHelper.IdProvider

public DseIdPoolHelper.IdProvider(ThreadContext context,
                          DSETransformationRule<?,?> rule)

Method Detail

getId

public int getId()