org.eclipse.viatra.dse.solutionstore

Class IdBasedSolutionNameProvider

java.lang.Object

org.eclipse.viatra.dse.solutionstore.IdBasedSolutionNameProvider

All Implemented Interfaces:

ISolutionNameProvider

public class IdBasedSolutionNameProvider
extends java.lang.Object
implements ISolutionNameProvider

Provides file name with a String [prefix][id].[extension] pattern.

Constructor Summary

Constructors

Constructor and Description
IdBasedSolutionNameProvider(java.lang.String prefix, java.lang.String extension)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName()

Methods inherited from class java.lang.Object

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

Constructor Detail

IdBasedSolutionNameProvider

public IdBasedSolutionNameProvider(java.lang.String prefix,
                                   java.lang.String extension)

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in interface ISolutionNameProvider