Uses of Record Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID
Package
Description
-
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
-
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
-
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
-
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Modifier and TypeMethodDescriptionConstraintIDGenerator.newConstraintID
(T lcs) IncrementalConstraintIDGenerator.newConstraintID()
IncrementalConstraintIDGenerator.newConstraintID
(LogicConstraintWithoutIDSpec lcs) UseSpecIDGenerator.newConstraintID
(LogicConstraintWithIDSpec lcs) -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
Modifier and TypeMethodDescriptionstatic LogicConstraintWithIDSpec
LogicSchemaToSpecHelper.buildLogicConstraintSpec
(ConstraintID id, List<Literal> body) -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer
-
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes
Modifier and TypeMethodDescriptionSchemaTraceabilityMap.getOriginalConstraintID
(ConstraintID constraintID) SchemaTransformation.getOriginalConstraintID
(ConstraintID transformedConstraintID) Modifier and TypeMethodDescriptionMultipleConstraintIDGenerator.generateNewConstraintsIDs
(ConstraintID originalID, int numberOfRequiredIDs) Generates a list of constraintIDs from a single constraintID.SuffixMultipleConstraintIDGenerator.generateNewConstraintsIDs
(ConstraintID originalID, int numberOfRequiredIDs) Modifier and TypeMethodDescriptionvoid
SchemaTraceabilityMap.addConstraintIDOrigin
(ConstraintID constraintID, ConstraintID originalID) Adds the mapping between the constraintID and the originalIDMultipleConstraintIDGenerator.generateNewConstraintsIDs
(ConstraintID originalID, int numberOfRequiredIDs) Generates a list of constraintIDs from a single constraintID.SuffixMultipleConstraintIDGenerator.generateNewConstraintsIDs
(ConstraintID originalID, int numberOfRequiredIDs) SchemaTraceabilityMap.getOriginalConstraintID
(ConstraintID constraintID) SchemaTransformation.getOriginalConstraintID
(ConstraintID transformedConstraintID)