Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Class IncrementalConstraintIDGenerator

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.IncrementalConstraintIDGenerator

All Implemented Interfaces:

ConstraintIDGenerator<LogicConstraintWithoutIDSpec>

public class IncrementalConstraintIDGenerator
extends Object
implements ConstraintIDGenerator<LogicConstraintWithoutIDSpec>

Incremental strategy for obtaining the IDs of newly created logic constraints. It will return identifiers starting from a given start (1 by default). E.g.: 1, 2, 3, ...

Constructor Summary

Constructors

Constructor	Description
IncrementalConstraintIDGenerator()
IncrementalConstraintIDGenerator(int start)

Method Summary

Modifier and Type	Method	Description
ConstraintID	newConstraintID()
ConstraintID	newConstraintID(LogicConstraintWithoutIDSpec lcs)

Methods inherited from class java.lang.Object

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

Constructor Details

IncrementalConstraintIDGenerator

public IncrementalConstraintIDGenerator()

IncrementalConstraintIDGenerator

public IncrementalConstraintIDGenerator(int start)

Method Details

newConstraintID

public ConstraintID newConstraintID(LogicConstraintWithoutIDSpec lcs)

Specified by:

newConstraintID in interface ConstraintIDGenerator<LogicConstraintWithoutIDSpec>

newConstraintID

public ConstraintID newConstraintID()