github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library@v0.2.0/JSON_ZeroCopy_API/JSON_ZeroCopy_API.go (about) 1 // Package JSON_ZeroCopy_API 2 // Dafny module JSON_ZeroCopy_API compiled into Go 3 4 package JSON_ZeroCopy_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_Deserializer "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer" 45 m_JSON_ZeroCopy_Deserializer_API "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_API" 46 m_JSON_ZeroCopy_Deserializer_ArrayParams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_ArrayParams" 47 m_JSON_ZeroCopy_Deserializer_Arrays "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Arrays" 48 m_JSON_ZeroCopy_Deserializer_Constants "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Constants" 49 m_JSON_ZeroCopy_Deserializer_Core "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Core" 50 m_JSON_ZeroCopy_Deserializer_Numbers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Numbers" 51 m_JSON_ZeroCopy_Deserializer_ObjectParams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_ObjectParams" 52 m_JSON_ZeroCopy_Deserializer_Objects "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Objects" 53 m_JSON_ZeroCopy_Deserializer_Strings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Strings" 54 m_JSON_ZeroCopy_Deserializer_Values "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Values" 55 m_JSON_ZeroCopy_Serializer "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Serializer" 56 m_Logarithm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Logarithm" 57 m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_" 58 m_ModInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternals" 59 m_ModInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternalsNonlinear" 60 m_Mul "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Mul" 61 m_MulInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternals" 62 m_MulInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternalsNonlinear" 63 m_Power "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Power" 64 m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations" 65 m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq" 66 m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort" 67 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting" 68 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary" 69 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop" 70 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence" 71 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String" 72 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt" 73 m_Streams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Streams" 74 m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings" 75 m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_" 76 m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm" 77 m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm" 78 m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" 79 m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_" 80 _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" 81 ) 82 83 var _ = os.Args 84 var _ _dafny.Dummy__ 85 var _ m__System.Dummy__ 86 var _ m_Wrappers.Dummy__ 87 var _ m_Relations.Dummy__ 88 var _ m_Seq_MergeSort.Dummy__ 89 var _ m__Math.Dummy__ 90 var _ m_Seq.Dummy__ 91 var _ m_BoundedInts.Dummy__ 92 var _ m__Unicode.Dummy__ 93 var _ m_Functions.Dummy__ 94 var _ m_Utf8EncodingForm.Dummy__ 95 var _ m_Utf16EncodingForm.Dummy__ 96 var _ m_UnicodeStrings.Dummy__ 97 var _ m_FileIO.Dummy__ 98 var _ m_GeneralInternals.Dummy__ 99 var _ m_MulInternalsNonlinear.Dummy__ 100 var _ m_MulInternals.Dummy__ 101 var _ m_Mul.Dummy__ 102 var _ m_ModInternalsNonlinear.Dummy__ 103 var _ m_DivInternalsNonlinear.Dummy__ 104 var _ m_ModInternals.Dummy__ 105 var _ m_DivInternals.Dummy__ 106 var _ m_DivMod.Dummy__ 107 var _ m_Power.Dummy__ 108 var _ m_Logarithm.Dummy__ 109 var _ m_StandardLibraryInterop.Dummy__ 110 var _ m_StandardLibrary_UInt.Dummy__ 111 var _ m_StandardLibrary_Sequence.Dummy__ 112 var _ m_StandardLibrary_String.Dummy__ 113 var _ m_StandardLibrary.Dummy__ 114 var _ m_Streams.Dummy__ 115 var _ m_Sorting.Dummy__ 116 var _ m_HexStrings.Dummy__ 117 var _ m_GetOpt.Dummy__ 118 var _ m_FloatCompare.Dummy__ 119 var _ m_Base64.Dummy__ 120 var _ m_Base64Lemmas.Dummy__ 121 var _ m_Actions.Dummy__ 122 var _ m_JSON_Utils_Views_Core.Dummy__ 123 var _ m_JSON_Utils_Views_Writers.Dummy__ 124 var _ m_JSON_Utils_Lexers_Core.Dummy__ 125 var _ m_JSON_Utils_Lexers_Strings.Dummy__ 126 var _ m_JSON_Utils_Cursors.Dummy__ 127 var _ m_JSON_Utils_Parsers.Dummy__ 128 var _ m_JSON_Utils_Str_CharStrConversion.Dummy__ 129 var _ m_JSON_Utils_Str_CharStrEscaping.Dummy__ 130 var _ m_JSON_Utils_Str.Dummy__ 131 var _ m_JSON_Utils_Seq.Dummy__ 132 var _ m_JSON_Utils_Vectors.Dummy__ 133 var _ m_JSON_Errors.Dummy__ 134 var _ m_JSON_Values.Dummy__ 135 var _ m_JSON_Spec.Dummy__ 136 var _ m_JSON_Grammar.Dummy__ 137 var _ m_JSON_Serializer_ByteStrConversion.Dummy__ 138 var _ m_JSON_Serializer.Dummy__ 139 var _ m_JSON_Deserializer_Uint16StrConversion.Dummy__ 140 var _ m_JSON_Deserializer_ByteStrConversion.Dummy__ 141 var _ m_JSON_Deserializer.Dummy__ 142 var _ m_JSON_ConcreteSyntax_Spec.Dummy__ 143 var _ m_JSON_ConcreteSyntax_SpecProperties.Dummy__ 144 var _ m_JSON_ZeroCopy_Serializer.Dummy__ 145 var _ m_JSON_ZeroCopy_Deserializer_Core.Dummy__ 146 var _ m_JSON_ZeroCopy_Deserializer_Strings.Dummy__ 147 var _ m_JSON_ZeroCopy_Deserializer_Numbers.Dummy__ 148 var _ m_JSON_ZeroCopy_Deserializer_ObjectParams.Dummy__ 149 var _ m_JSON_ZeroCopy_Deserializer_Objects.Dummy__ 150 var _ m_JSON_ZeroCopy_Deserializer_ArrayParams.Dummy__ 151 var _ m_JSON_ZeroCopy_Deserializer_Arrays.Dummy__ 152 var _ m_JSON_ZeroCopy_Deserializer_Constants.Dummy__ 153 var _ m_JSON_ZeroCopy_Deserializer_Values.Dummy__ 154 var _ m_JSON_ZeroCopy_Deserializer_API.Dummy__ 155 var _ m_JSON_ZeroCopy_Deserializer.Dummy__ 156 157 type Dummy__ struct{} 158 159 // Definition of class Default__ 160 type Default__ struct { 161 dummy byte 162 } 163 164 func New_Default___() *Default__ { 165 _this := Default__{} 166 167 return &_this 168 } 169 170 type CompanionStruct_Default___ struct { 171 } 172 173 var Companion_Default___ = CompanionStruct_Default___{} 174 175 func (_this *Default__) Equals(other *Default__) bool { 176 return _this == other 177 } 178 179 func (_this *Default__) EqualsGeneric(x interface{}) bool { 180 other, ok := x.(*Default__) 181 return ok && _this.Equals(other) 182 } 183 184 func (*Default__) String() string { 185 return "JSON_ZeroCopy_API.Default__" 186 } 187 func (_this *Default__) ParentTraits_() []*_dafny.TraitID { 188 return [](*_dafny.TraitID){} 189 } 190 191 var _ _dafny.TraitOffspring = &Default__{} 192 193 func (_static *CompanionStruct_Default___) Serialize(js m_JSON_Grammar.Structural) m_Wrappers.Result { 194 return m_Wrappers.Companion_Result_.Create_Success_((m_JSON_ZeroCopy_Serializer.Companion_Default___.Text(js)).Bytes()) 195 } 196 func (_static *CompanionStruct_Default___) SerializeAlloc(js m_JSON_Grammar.Structural) m_Wrappers.Result { 197 var bs m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(_dafny.NewArrayWithValue(nil, _dafny.IntOf(0))) 198 _ = bs 199 var _out0 m_Wrappers.Result 200 _ = _out0 201 _out0 = m_JSON_ZeroCopy_Serializer.Companion_Default___.Serialize(js) 202 bs = _out0 203 return bs 204 } 205 func (_static *CompanionStruct_Default___) SerializeInto(js m_JSON_Grammar.Structural, bs _dafny.Array) m_Wrappers.Result { 206 var len_ m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(uint32(0)) 207 _ = len_ 208 var _out0 m_Wrappers.Result 209 _ = _out0 210 _out0 = m_JSON_ZeroCopy_Serializer.Companion_Default___.SerializeTo(js, bs) 211 len_ = _out0 212 return len_ 213 } 214 func (_static *CompanionStruct_Default___) Deserialize(bs _dafny.Sequence) m_Wrappers.Result { 215 return m_JSON_ZeroCopy_Deserializer_API.Companion_Default___.OfBytes(bs) 216 } 217 218 // End of class Default__