Add range trait information

Author: JordonPhillips

smithy-docgen-core/src/main/java/software/amazon/smithy/docgen/core/integrations/BuiltinsIntegration.java

@@ -20,6 +20,7 @@
 import software.amazon.smithy.docgen.core.interceptors.NoReplaceOperationInterceptor;
 import software.amazon.smithy.docgen.core.interceptors.NullabilityInterceptor;
 import software.amazon.smithy.docgen.core.interceptors.PatternInterceptor;
+import software.amazon.smithy.docgen.core.interceptors.RangeInterceptor;
 import software.amazon.smithy.docgen.core.interceptors.RecommendedInterceptor;
 import software.amazon.smithy.docgen.core.interceptors.SensitiveInterceptor;
 import software.amazon.smithy.docgen.core.interceptors.SinceInterceptor;
@@ -68,6 +69,7 @@ public List<? extends CodeInterceptor<? extends CodeSection, DocWriter>> interce
                 new NoReplaceBindingInterceptor(),
                 new NoReplaceOperationInterceptor(),
                 new PatternInterceptor(),
+                new RangeInterceptor(),
                 new LengthInterceptor(),
                 new ExternalDocsInterceptor(),
                 new ErrorFaultInterceptor(),

smithy-docgen-core/src/main/java/software/amazon/smithy/docgen/core/interceptors/RangeInterceptor.java

@@ -0,0 +1,51 @@
+/*
+ * Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+package software.amazon.smithy.docgen.core.interceptors;
+
+import software.amazon.smithy.docgen.core.sections.ShapeSubheadingSection;
+import software.amazon.smithy.docgen.core.writers.DocWriter;
+import software.amazon.smithy.model.traits.RangeTrait;
+import software.amazon.smithy.utils.CodeInterceptor;
+import software.amazon.smithy.utils.SmithyInternalApi;
+
+/**
+ * Adds information to shapes if they have the
+ * <a href="https://smithy.io/2.0/spec/constraint-traits.html#range-trait">
+ * range trait</a>.
+ */
+@SmithyInternalApi
+public final class RangeInterceptor implements CodeInterceptor<ShapeSubheadingSection, DocWriter> {
+    @Override
+    public Class<ShapeSubheadingSection> sectionType() {
+        return ShapeSubheadingSection.class;
+    }
+
+    @Override
+    public boolean isIntercepted(ShapeSubheadingSection section) {
+        return section.shape().getMemberTrait(section.context().model(), RangeTrait.class).isPresent();
+    }
+
+    @Override
+    public void write(DocWriter writer, String previousText, ShapeSubheadingSection section) {
+        var trait = section.shape().getMemberTrait(section.context().model(), RangeTrait.class).get();
+        writer.putContext("min", trait.getMin());
+        writer.putContext("max", trait.getMax());
+
+        writer.write("""
+                ${?min}
+                $1B ${min:L}
+
+                ${/min}
+                ${?max}
+                $2B ${max:L}
+
+                ${/max}
+                $3L""",
+                "Minimum:",
+                "Maximum:",
+                previousText);
+    }
+}

smithy-docgen-test/model/main.smithy

@@ -49,6 +49,7 @@ operation DocumentedOperation {
     input := {
         structure: DocumentedStructure
         lengthExamples: LengthTraitExamples
+        rangeExamples: RangeTraitExamples
     }
     output := {
         structure: DocumentedStructure
@@ -136,6 +137,18 @@ map StringMap {
     value: String
 }
 
+/// This shows how the range trait is applied to various types.
+structure RangeTraitExamples {
+    @range(min: 0)
+    positive: Integer
+
+    @range(max: 0)
+    negative: Long
+
+    @range(min: 0, max: 255)
+    unsignedByte: Short
+}
+
 /// This in an enum that can have one of the following values:
 ///
 /// - `SPAM`: `1`