Uses of Record Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConstraintID
Packages that use ConstraintID
Package
Description
-
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return ConstraintIDMethods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type ConstraintIDConstructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type ConstraintID -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions
Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions with parameters of type ConstraintIDModifierConstructorDescriptionLogicConstraintNotFoundException
(ConstraintID constraintID) Constructs anLogicConstraintNotFoundException
with one argument indicating the nonexistent constraintID.Constructs anRepeatedConstraintIDException
with one argument indicating the repeatedConstraintID
. -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor with parameters of type ConstraintID -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation that return ConstraintIDModifier 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
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with parameters of type ConstraintIDModifier and TypeMethodDescriptionstatic LogicConstraintWithIDSpec
LogicSchemaToSpecHelper.buildLogicConstraintSpec
(ConstraintID id, List<Literal> body) -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer with parameters of type ConstraintID -
Uses of ConstraintID in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes that return ConstraintIDModifier and TypeMethodDescriptionSchemaTraceabilityMap.getOriginalConstraintID
(ConstraintID constraintID) SchemaTransformation.getOriginalConstraintID
(ConstraintID transformedConstraintID) Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes that return types with arguments of type ConstraintIDModifier and TypeMethodDescriptionMultipleConstraintIDGenerator.generateNewConstraintsIDs
(ConstraintID originalID, int numberOfRequiredIDs) Generates a list of constraintIDs from a single constraintID.SuffixMultipleConstraintIDGenerator.generateNewConstraintsIDs
(ConstraintID originalID, int numberOfRequiredIDs) Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes with parameters of type ConstraintIDModifier 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)