UseSpecIDGenerator (IMP Logics 2.0.0 API)

java.lang.Object

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

All Implemented Interfaces:: ConstraintIDGenerator<LogicConstraintWithIDSpec>

public class UseSpecIDGenerator extends Object implements ConstraintIDGenerator<LogicConstraintWithIDSpec>

Strategy for obtaining the ID of a new logic constraint consisting in taking the id from its specification

Constructor Summary

Constructors

Constructor

Description

UseSpecIDGenerator()
Method Summary

Modifier and Type

Method

Description

ConstraintID

newConstraintID(LogicConstraintWithIDSpec lcs)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- UseSpecIDGenerator
  
  public UseSpecIDGenerator()
Method Details
- newConstraintID
  
  public ConstraintID newConstraintID(LogicConstraintWithIDSpec lcs)
  
  Specified by:
  
  newConstraintID in interface ConstraintIDGenerator<LogicConstraintWithIDSpec>