@range implementation for integer shapes

CHANGELOG.next.toml

@@ -242,13 +242,14 @@ message = """
 
 * The `length` trait on `string` shapes.
 * The `length` trait on `map` shapes.
+* The `range` trait on `integer` shapes.
 * The `pattern` trait on `string` shapes.
 
 Upon receiving a request that violates the modeled constraints, the server SDK will reject it with a message indicating why.
 
 Unsupported (constraint trait, target shape) combinations will now fail at code generation time, whereas previously they were just ignored. This is a breaking change to raise awareness in service owners of their server SDKs behaving differently than what was modeled. To continue generating a server SDK with unsupported constraint traits, set `codegenConfig.ignoreUnsupportedConstraints` to `true` in your `smithy-build.json`.
 """
-references = ["smithy-rs#1199", "smithy-rs#1342", "smithy-rs#1401", "smithy-rs#1998"]
+references = ["smithy-rs#1199", "smithy-rs#1342", "smithy-rs#1401", "smithy-rs#2005", "smithy-rs#1998"]
 meta = { "breaking" = true, "tada" = true, "bug" = false, "target" = "server" }
 author = "david-perez"
 

codegen-core/common-test-models/constraints.smithy

@@ -19,7 +19,6 @@ service ConstraintsService {
         // combination.
         QueryParamsTargetingLengthMapOperation,
         QueryParamsTargetingMapOfLengthStringOperation,
-        QueryParamsTargetingMapOfEnumStringOperation,
         QueryParamsTargetingMapOfListOfLengthStringOperation,
         QueryParamsTargetingMapOfSetOfLengthStringOperation,
         QueryParamsTargetingMapOfListOfEnumStringOperation,
@@ -30,6 +29,9 @@ service ConstraintsService {
         QueryParamsTargetingMapOfListOfLengthPatternStringOperation,
 
         HttpPrefixHeadersTargetingLengthMapOperation,
+
+        QueryParamsTargetingMapOfEnumStringOperation,
+        QueryParamsTargetingMapOfListOfEnumStringOperation,
         // TODO(https://github.com/awslabs/smithy-rs/issues/1431)
         // HttpPrefixHeadersTargetingMapOfEnumStringOperation,
 
@@ -47,7 +49,7 @@ operation ConstrainedShapesOperation {
     errors: [ValidationException]
 }
 
-@http(uri: "/constrained-http-bound-shapes-operation/{lengthStringLabel}/{enumStringLabel}", method: "POST")
+@http(uri: "/constrained-http-bound-shapes-operation/{rangeIntegerLabel}/{lengthStringLabel}/{enumStringLabel}", method: "POST")
 operation ConstrainedHttpBoundShapesOperation {
     input: ConstrainedHttpBoundShapesOperationInputOutput,
     output: ConstrainedHttpBoundShapesOperationInputOutput,
@@ -173,18 +175,24 @@ structure ConstrainedHttpBoundShapesOperationInputOutput {
     @httpLabel
     lengthStringLabel: LengthString,
 
+    @required
+    @httpLabel
+    rangeIntegerLabel: RangeInteger,
+
     @required
     @httpLabel
     enumStringLabel: EnumString,
 
-    // TODO(https://github.com/awslabs/smithy-rs/issues/1394) `@required` not working
-    // @required
-    @httpPrefixHeaders("X-Prefix-Headers-")
+    @required
+    @httpPrefixHeaders("X-Length-String-Prefix-Headers-")
     lengthStringHeaderMap: MapOfLengthString,
 
     @httpHeader("X-Length")
     lengthStringHeader: LengthString,
 
+    @httpHeader("X-Range-Integer")
+    rangeIntegerHeader: RangeInteger,
+
     // @httpHeader("X-Length-MediaType")
     // lengthStringHeaderWithMediaType: MediaTypeLengthString,
 
@@ -196,6 +204,14 @@ structure ConstrainedHttpBoundShapesOperationInputOutput {
     @httpHeader("X-Length-List")
     lengthStringListHeader: ListOfLengthString,
 
+    // TODO(https://github.com/awslabs/smithy-rs/issues/1401): a `set` shape is
+    //  just a `list` shape with `uniqueItems`, which hasn't been implemented yet.
+    // @httpHeader("X-Range-Integer-Set")
+    // rangeIntegerSetHeader: SetOfRangeInteger,
+
+    @httpHeader("X-Range-Integer-List")
+    rangeIntegerListHeader: ListOfRangeInteger,
+
     // TODO(https://github.com/awslabs/smithy-rs/issues/1431)
     // @httpHeader("X-Enum")
     //enumStringHeader: EnumString,
@@ -206,6 +222,9 @@ structure ConstrainedHttpBoundShapesOperationInputOutput {
     @httpQuery("lengthString")
     lengthStringQuery: LengthString,
 
+    @httpQuery("rangeInteger")
+    rangeIntegerQuery: RangeInteger,
+
     @httpQuery("enumString")
     enumStringQuery: EnumString,
 
@@ -217,6 +236,14 @@ structure ConstrainedHttpBoundShapesOperationInputOutput {
     // @httpQuery("lengthStringSet")
     // lengthStringSetQuery: SetOfLengthString,
 
+    @httpQuery("rangeIntegerList")
+    rangeIntegerListQuery: ListOfRangeInteger,
+
+    // TODO(https://github.com/awslabs/smithy-rs/issues/1401): a `set` shape is
+    //  just a `list` shape with `uniqueItems`, which hasn't been implemented yet.
+    // @httpQuery("rangeIntegerSet")
+    // rangeIntegerSetQuery: SetOfRangeInteger,
+
     @httpQuery("enumStringList")
     enumStringListQuery: ListOfEnumString,
 }
@@ -332,6 +359,11 @@ structure ConA {
     maxLengthString: MaxLengthString,
     fixedLengthString: FixedLengthString,
 
+    rangeInteger: RangeInteger,
+    minRangeInteger: MinRangeInteger,
+    maxRangeInteger: MaxRangeInteger,
+    fixedValueInteger: FixedValueInteger,
+
     conBList: ConBList,
     conBList2: ConBList2,
 
@@ -352,7 +384,13 @@ structure ConA {
     // setOfLengthString: SetOfLengthString,
     mapOfLengthString: MapOfLengthString,
 
-    nonStreamingBlob: NonStreamingBlob,
+    listOfRangeInteger: ListOfRangeInteger,
+    // TODO(https://github.com/awslabs/smithy-rs/issues/1401): a `set` shape is
+    //  just a `list` shape with `uniqueItems`, which hasn't been implemented yet.
+    // setOfRangeInteger: SetOfRangeInteger,
+    mapOfRangeInteger: MapOfRangeInteger,
+
+    nonStreamingBlob: NonStreamingBlob
 
     patternString: PatternString,
     mapOfPatternString: MapOfPatternString,
@@ -374,6 +412,11 @@ map MapOfLengthString {
     value: LengthString,
 }
 
+map MapOfRangeInteger {
+    key: String,
+    value: RangeInteger,
+}
+
 map MapOfEnumString {
     key: EnumString,
     value: EnumString,
@@ -407,6 +450,13 @@ map MapOfSetOfLengthString {
     value: ListOfLengthString
 }
 
+// TODO(https://github.com/awslabs/smithy-rs/issues/1401): a `set` shape is
+//  just a `list` shape with `uniqueItems`, which hasn't been implemented yet.
+// map MapOfSetOfRangeInteger {
+//     key: LengthString,
+//     value: SetOfRangeInteger,
+// }
+
 @length(min: 2, max: 8)
 list LengthListOfLengthString {
     member: LengthString
@@ -418,7 +468,7 @@ string LengthString
 @length(min: 2)
 string MinLengthString
 
-@length(min: 69)
+@length(max: 69)
 string MaxLengthString
 
 @length(min: 69, max: 69)
@@ -435,6 +485,18 @@ string LengthPatternString
 @length(min: 1, max: 69)
 string MediaTypeLengthString
 
+@range(min: -0, max: 69)
+integer RangeInteger
+
+@range(min: -10)
+integer MinRangeInteger
+
+@range(max: 69)
+integer MaxRangeInteger
+
+@range(min: 69, max: 69)
+integer FixedValueInteger
+
 /// A union with constrained members.
 union ConstrainedUnion {
     enumString: EnumString,
@@ -480,6 +542,16 @@ list ListOfLengthString {
     member: LengthString
 }
 
+// TODO(https://github.com/awslabs/smithy-rs/issues/1401): a `set` shape is
+//  just a `list` shape with `uniqueItems`, which hasn't been implemented yet.
+// set SetOfRangeInteger {
+//     member: RangeInteger
+// }
+
+list ListOfRangeInteger {
+    member: RangeInteger
+}
+
 list ListOfEnumString {
     member: EnumString
 }