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 anLogicConstraintNotFoundExceptionwith one argument indicating the nonexistent constraintID.Constructs anRepeatedConstraintIDExceptionwith 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 LogicConstraintWithIDSpecLogicSchemaToSpecHelper.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 TypeMethodDescriptionvoidSchemaTraceabilityMap.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)