github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library@v0.2.0/JSON_API/JSON_API.go (about) 1 // Package JSON_API 2 // Dafny module JSON_API compiled into Go 3 4 package JSON_API 5 6 import ( 7 os "os" 8 9 m_Actions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Actions" 10 m_Base64 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64" 11 m_Base64Lemmas "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64Lemmas" 12 m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts" 13 m_DivInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternals" 14 m_DivInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternalsNonlinear" 15 m_DivMod "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivMod" 16 m_FileIO "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FileIO" 17 m_FloatCompare "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FloatCompare" 18 m_Functions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Functions" 19 m_GeneralInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GeneralInternals" 20 m_GetOpt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GetOpt" 21 m_HexStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/HexStrings" 22 m_JSON_ConcreteSyntax_Spec "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ConcreteSyntax_Spec" 23 m_JSON_ConcreteSyntax_SpecProperties "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ConcreteSyntax_SpecProperties" 24 m_JSON_Deserializer "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Deserializer" 25 m_JSON_Deserializer_ByteStrConversion "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Deserializer_ByteStrConversion" 26 m_JSON_Deserializer_Uint16StrConversion "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Deserializer_Uint16StrConversion" 27 m_JSON_Errors "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Errors" 28 m_JSON_Grammar "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Grammar" 29 m_JSON_Serializer "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Serializer" 30 m_JSON_Serializer_ByteStrConversion "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Serializer_ByteStrConversion" 31 m_JSON_Spec "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Spec" 32 m_JSON_Utils_Cursors "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Cursors" 33 m_JSON_Utils_Lexers_Core "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Lexers_Core" 34 m_JSON_Utils_Lexers_Strings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Lexers_Strings" 35 m_JSON_Utils_Parsers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Parsers" 36 m_JSON_Utils_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Seq" 37 m_JSON_Utils_Str "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Str" 38 m_JSON_Utils_Str_CharStrConversion "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Str_CharStrConversion" 39 m_JSON_Utils_Str_CharStrEscaping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Str_CharStrEscaping" 40 m_JSON_Utils_Vectors "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Vectors" 41 m_JSON_Utils_Views_Core "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Views_Core" 42 m_JSON_Utils_Views_Writers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Utils_Views_Writers" 43 m_JSON_Values "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_Values" 44 m_JSON_ZeroCopy_API "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_API" 45 m_JSON_ZeroCopy_Deserializer "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer" 46 m_JSON_ZeroCopy_Deserializer_API "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_API" 47 m_JSON_ZeroCopy_Deserializer_ArrayParams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_ArrayParams" 48 m_JSON_ZeroCopy_Deserializer_Arrays "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Arrays" 49 m_JSON_ZeroCopy_Deserializer_Constants "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Constants" 50 m_JSON_ZeroCopy_Deserializer_Core "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Core" 51 m_JSON_ZeroCopy_Deserializer_Numbers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Numbers" 52 m_JSON_ZeroCopy_Deserializer_ObjectParams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_ObjectParams" 53 m_JSON_ZeroCopy_Deserializer_Objects "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Objects" 54 m_JSON_ZeroCopy_Deserializer_Strings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Strings" 55 m_JSON_ZeroCopy_Deserializer_Values "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Values" 56 m_JSON_ZeroCopy_Serializer "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Serializer" 57 m_Logarithm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Logarithm" 58 m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_" 59 m_ModInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternals" 60 m_ModInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternalsNonlinear" 61 m_Mul "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Mul" 62 m_MulInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternals" 63 m_MulInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternalsNonlinear" 64 m_Power "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Power" 65 m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations" 66 m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq" 67 m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort" 68 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting" 69 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary" 70 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop" 71 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence" 72 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String" 73 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt" 74 m_Streams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Streams" 75 m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings" 76 m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_" 77 m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm" 78 m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm" 79 m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" 80 m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_" 81 _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" 82 ) 83 84 var _ = os.Args 85 var _ _dafny.Dummy__ 86 var _ m__System.Dummy__ 87 var _ m_Wrappers.Dummy__ 88 var _ m_Relations.Dummy__ 89 var _ m_Seq_MergeSort.Dummy__ 90 var _ m__Math.Dummy__ 91 var _ m_Seq.Dummy__ 92 var _ m_BoundedInts.Dummy__ 93 var _ m__Unicode.Dummy__ 94 var _ m_Functions.Dummy__ 95 var _ m_Utf8EncodingForm.Dummy__ 96 var _ m_Utf16EncodingForm.Dummy__ 97 var _ m_UnicodeStrings.Dummy__ 98 var _ m_FileIO.Dummy__ 99 var _ m_GeneralInternals.Dummy__ 100 var _ m_MulInternalsNonlinear.Dummy__ 101 var _ m_MulInternals.Dummy__ 102 var _ m_Mul.Dummy__ 103 var _ m_ModInternalsNonlinear.Dummy__ 104 var _ m_DivInternalsNonlinear.Dummy__ 105 var _ m_ModInternals.Dummy__ 106 var _ m_DivInternals.Dummy__ 107 var _ m_DivMod.Dummy__ 108 var _ m_Power.Dummy__ 109 var _ m_Logarithm.Dummy__ 110 var _ m_StandardLibraryInterop.Dummy__ 111 var _ m_StandardLibrary_UInt.Dummy__ 112 var _ m_StandardLibrary_Sequence.Dummy__ 113 var _ m_StandardLibrary_String.Dummy__ 114 var _ m_StandardLibrary.Dummy__ 115 var _ m_Streams.Dummy__ 116 var _ m_Sorting.Dummy__ 117 var _ m_HexStrings.Dummy__ 118 var _ m_GetOpt.Dummy__ 119 var _ m_FloatCompare.Dummy__ 120 var _ m_Base64.Dummy__ 121 var _ m_Base64Lemmas.Dummy__ 122 var _ m_Actions.Dummy__ 123 var _ m_JSON_Utils_Views_Core.Dummy__ 124 var _ m_JSON_Utils_Views_Writers.Dummy__ 125 var _ m_JSON_Utils_Lexers_Core.Dummy__ 126 var _ m_JSON_Utils_Lexers_Strings.Dummy__ 127 var _ m_JSON_Utils_Cursors.Dummy__ 128 var _ m_JSON_Utils_Parsers.Dummy__ 129 var _ m_JSON_Utils_Str_CharStrConversion.Dummy__ 130 var _ m_JSON_Utils_Str_CharStrEscaping.Dummy__ 131 var _ m_JSON_Utils_Str.Dummy__ 132 var _ m_JSON_Utils_Seq.Dummy__ 133 var _ m_JSON_Utils_Vectors.Dummy__ 134 var _ m_JSON_Errors.Dummy__ 135 var _ m_JSON_Values.Dummy__ 136 var _ m_JSON_Spec.Dummy__ 137 var _ m_JSON_Grammar.Dummy__ 138 var _ m_JSON_Serializer_ByteStrConversion.Dummy__ 139 var _ m_JSON_Serializer.Dummy__ 140 var _ m_JSON_Deserializer_Uint16StrConversion.Dummy__ 141 var _ m_JSON_Deserializer_ByteStrConversion.Dummy__ 142 var _ m_JSON_Deserializer.Dummy__ 143 var _ m_JSON_ConcreteSyntax_Spec.Dummy__ 144 var _ m_JSON_ConcreteSyntax_SpecProperties.Dummy__ 145 var _ m_JSON_ZeroCopy_Serializer.Dummy__ 146 var _ m_JSON_ZeroCopy_Deserializer_Core.Dummy__ 147 var _ m_JSON_ZeroCopy_Deserializer_Strings.Dummy__ 148 var _ m_JSON_ZeroCopy_Deserializer_Numbers.Dummy__ 149 var _ m_JSON_ZeroCopy_Deserializer_ObjectParams.Dummy__ 150 var _ m_JSON_ZeroCopy_Deserializer_Objects.Dummy__ 151 var _ m_JSON_ZeroCopy_Deserializer_ArrayParams.Dummy__ 152 var _ m_JSON_ZeroCopy_Deserializer_Arrays.Dummy__ 153 var _ m_JSON_ZeroCopy_Deserializer_Constants.Dummy__ 154 var _ m_JSON_ZeroCopy_Deserializer_Values.Dummy__ 155 var _ m_JSON_ZeroCopy_Deserializer_API.Dummy__ 156 var _ m_JSON_ZeroCopy_Deserializer.Dummy__ 157 var _ m_JSON_ZeroCopy_API.Dummy__ 158 159 type Dummy__ struct{} 160 161 // Definition of class Default__ 162 type Default__ struct { 163 dummy byte 164 } 165 166 func New_Default___() *Default__ { 167 _this := Default__{} 168 169 return &_this 170 } 171 172 type CompanionStruct_Default___ struct { 173 } 174 175 var Companion_Default___ = CompanionStruct_Default___{} 176 177 func (_this *Default__) Equals(other *Default__) bool { 178 return _this == other 179 } 180 181 func (_this *Default__) EqualsGeneric(x interface{}) bool { 182 other, ok := x.(*Default__) 183 return ok && _this.Equals(other) 184 } 185 186 func (*Default__) String() string { 187 return "JSON_API.Default__" 188 } 189 func (_this *Default__) ParentTraits_() []*_dafny.TraitID { 190 return [](*_dafny.TraitID){} 191 } 192 193 var _ _dafny.TraitOffspring = &Default__{} 194 195 func (_static *CompanionStruct_Default___) Serialize(js m_JSON_Values.JSON) m_Wrappers.Result { 196 var _0_valueOrError0 m_Wrappers.Result = m_JSON_Serializer.Companion_Default___.JSON(js) 197 _ = _0_valueOrError0 198 if (_0_valueOrError0).IsFailure() { 199 return (_0_valueOrError0).PropagateFailure() 200 } else { 201 var _1_js m_JSON_Grammar.Structural = (_0_valueOrError0).Extract().(m_JSON_Grammar.Structural) 202 _ = _1_js 203 return m_JSON_ZeroCopy_API.Companion_Default___.Serialize(_1_js) 204 } 205 } 206 func (_static *CompanionStruct_Default___) SerializeAlloc(js m_JSON_Values.JSON) m_Wrappers.Result { 207 var bs m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(_dafny.NewArrayWithValue(nil, _dafny.IntOf(0))) 208 _ = bs 209 var _0_valueOrError0 m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(m_JSON_Grammar.Companion_Structural_.Default(m_JSON_Grammar.Companion_Value_.Default())) 210 _ = _0_valueOrError0 211 _0_valueOrError0 = m_JSON_Serializer.Companion_Default___.JSON(js) 212 if (_0_valueOrError0).IsFailure() { 213 bs = (_0_valueOrError0).PropagateFailure() 214 return bs 215 } 216 var _1_js m_JSON_Grammar.Structural 217 _ = _1_js 218 _1_js = (_0_valueOrError0).Extract().(m_JSON_Grammar.Structural) 219 var _out0 m_Wrappers.Result 220 _ = _out0 221 _out0 = m_JSON_ZeroCopy_API.Companion_Default___.SerializeAlloc(_1_js) 222 bs = _out0 223 return bs 224 } 225 func (_static *CompanionStruct_Default___) SerializeInto(js m_JSON_Values.JSON, bs _dafny.Array) m_Wrappers.Result { 226 var len_ m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(uint32(0)) 227 _ = len_ 228 var _0_valueOrError0 m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(m_JSON_Grammar.Companion_Structural_.Default(m_JSON_Grammar.Companion_Value_.Default())) 229 _ = _0_valueOrError0 230 _0_valueOrError0 = m_JSON_Serializer.Companion_Default___.JSON(js) 231 if (_0_valueOrError0).IsFailure() { 232 len_ = (_0_valueOrError0).PropagateFailure() 233 return len_ 234 } 235 var _1_js m_JSON_Grammar.Structural 236 _ = _1_js 237 _1_js = (_0_valueOrError0).Extract().(m_JSON_Grammar.Structural) 238 var _out0 m_Wrappers.Result 239 _ = _out0 240 _out0 = m_JSON_ZeroCopy_API.Companion_Default___.SerializeInto(_1_js, bs) 241 len_ = _out0 242 return len_ 243 } 244 func (_static *CompanionStruct_Default___) Deserialize(bs _dafny.Sequence) m_Wrappers.Result { 245 var _0_valueOrError0 m_Wrappers.Result = m_JSON_ZeroCopy_API.Companion_Default___.Deserialize(bs) 246 _ = _0_valueOrError0 247 if (_0_valueOrError0).IsFailure() { 248 return (_0_valueOrError0).PropagateFailure() 249 } else { 250 var _1_js m_JSON_Grammar.Structural = (_0_valueOrError0).Extract().(m_JSON_Grammar.Structural) 251 _ = _1_js 252 return m_JSON_Deserializer.Companion_Default___.JSON(_1_js) 253 } 254 } 255 256 // End of class Default__