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
IdProvider(DseIdPoolHelper.IGetRuleExecutions getRuleExecutions, BatchTransformationRule<?,?> rule)

Method Summary

Modifier and Type	Method and Description
int	getId()

Methods inherited from class java.lang.Object

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

Constructor Detail

IdProvider

public IdProvider(DseIdPoolHelper.IGetRuleExecutions getRuleExecutions,
                  BatchTransformationRule<?,?> rule)

Method Detail

getId

public int getId()