in releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Values/JSON_ZeroCopy_Deserializer_Values.go [187:301]
func (_static *CompanionStruct_Default___) Value(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result {
var _0_c int16 = (cs).Peek()
_ = _0_c
if (_0_c) == (int16(_dafny.Char('{'))) {
var _1_valueOrError0 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Objects.Companion_Default___.Object(cs, Companion_Default___.ValueParser(cs))
_ = _1_valueOrError0
if (_1_valueOrError0).IsFailure() {
return (_1_valueOrError0).PropagateFailure()
} else {
var _let_tmp_rhs0 m_JSON_Utils_Cursors.Split = (_1_valueOrError0).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs0
var _2_obj m_JSON_Grammar.Bracketed = _let_tmp_rhs0.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Grammar.Bracketed)
_ = _2_obj
var _3_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs0.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _3_cs_k
var _4_v m_JSON_Grammar.Value = m_JSON_Grammar.Companion_Value_.Create_Object_(_2_obj)
_ = _4_v
var _5_sp m_JSON_Utils_Cursors.Split = m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(_4_v, _3_cs_k)
_ = _5_sp
return m_Wrappers.Companion_Result_.Create_Success_(_5_sp)
}
} else if (_0_c) == (int16(_dafny.Char('['))) {
var _6_valueOrError1 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Arrays.Companion_Default___.Array(cs, Companion_Default___.ValueParser(cs))
_ = _6_valueOrError1
if (_6_valueOrError1).IsFailure() {
return (_6_valueOrError1).PropagateFailure()
} else {
var _let_tmp_rhs1 m_JSON_Utils_Cursors.Split = (_6_valueOrError1).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs1
var _7_arr m_JSON_Grammar.Bracketed = _let_tmp_rhs1.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Grammar.Bracketed)
_ = _7_arr
var _8_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs1.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _8_cs_k
var _9_v m_JSON_Grammar.Value = m_JSON_Grammar.Companion_Value_.Create_Array_(_7_arr)
_ = _9_v
var _10_sp m_JSON_Utils_Cursors.Split = m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(_9_v, _8_cs_k)
_ = _10_sp
return m_Wrappers.Companion_Result_.Create_Success_(_10_sp)
}
} else if (_0_c) == (int16(_dafny.Char('"'))) {
var _11_valueOrError2 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Strings.Companion_Default___.String(cs)
_ = _11_valueOrError2
if (_11_valueOrError2).IsFailure() {
return (_11_valueOrError2).PropagateFailure()
} else {
var _let_tmp_rhs2 m_JSON_Utils_Cursors.Split = (_11_valueOrError2).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs2
var _12_str m_JSON_Grammar.Jstring = _let_tmp_rhs2.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Grammar.Jstring)
_ = _12_str
var _13_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs2.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _13_cs_k
return m_Wrappers.Companion_Result_.Create_Success_(m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(m_JSON_Grammar.Companion_Value_.Create_String_(_12_str), _13_cs_k))
}
} else if (_0_c) == (int16(_dafny.Char('t'))) {
var _14_valueOrError3 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Constants.Companion_Default___.Constant(cs, m_JSON_Grammar.Companion_Default___.TRUE())
_ = _14_valueOrError3
if (_14_valueOrError3).IsFailure() {
return (_14_valueOrError3).PropagateFailure()
} else {
var _let_tmp_rhs3 m_JSON_Utils_Cursors.Split = (_14_valueOrError3).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs3
var _15_cst m_JSON_Utils_Views_Core.View__ = _let_tmp_rhs3.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Utils_Views_Core.View__)
_ = _15_cst
var _16_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs3.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _16_cs_k
return m_Wrappers.Companion_Result_.Create_Success_(m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(m_JSON_Grammar.Companion_Value_.Create_Bool_(_15_cst), _16_cs_k))
}
} else if (_0_c) == (int16(_dafny.Char('f'))) {
var _17_valueOrError4 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Constants.Companion_Default___.Constant(cs, m_JSON_Grammar.Companion_Default___.FALSE())
_ = _17_valueOrError4
if (_17_valueOrError4).IsFailure() {
return (_17_valueOrError4).PropagateFailure()
} else {
var _let_tmp_rhs4 m_JSON_Utils_Cursors.Split = (_17_valueOrError4).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs4
var _18_cst m_JSON_Utils_Views_Core.View__ = _let_tmp_rhs4.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Utils_Views_Core.View__)
_ = _18_cst
var _19_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs4.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _19_cs_k
return m_Wrappers.Companion_Result_.Create_Success_(m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(m_JSON_Grammar.Companion_Value_.Create_Bool_(_18_cst), _19_cs_k))
}
} else if (_0_c) == (int16(_dafny.Char('n'))) {
var _20_valueOrError5 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Constants.Companion_Default___.Constant(cs, m_JSON_Grammar.Companion_Default___.NULL())
_ = _20_valueOrError5
if (_20_valueOrError5).IsFailure() {
return (_20_valueOrError5).PropagateFailure()
} else {
var _let_tmp_rhs5 m_JSON_Utils_Cursors.Split = (_20_valueOrError5).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs5
var _21_cst m_JSON_Utils_Views_Core.View__ = _let_tmp_rhs5.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Utils_Views_Core.View__)
_ = _21_cst
var _22_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs5.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _22_cs_k
return m_Wrappers.Companion_Result_.Create_Success_(m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(m_JSON_Grammar.Companion_Value_.Create_Null_(_21_cst), _22_cs_k))
}
} else {
var _23_valueOrError6 m_Wrappers.Result = m_JSON_ZeroCopy_Deserializer_Numbers.Companion_Default___.Number(cs)
_ = _23_valueOrError6
if (_23_valueOrError6).IsFailure() {
return (_23_valueOrError6).PropagateFailure()
} else {
var _let_tmp_rhs6 m_JSON_Utils_Cursors.Split = (_23_valueOrError6).Extract().(m_JSON_Utils_Cursors.Split)
_ = _let_tmp_rhs6
var _24_num m_JSON_Grammar.Jnumber = _let_tmp_rhs6.Get_().(m_JSON_Utils_Cursors.Split_SP).T.(m_JSON_Grammar.Jnumber)
_ = _24_num
var _25_cs_k m_JSON_Utils_Cursors.Cursor__ = _let_tmp_rhs6.Get_().(m_JSON_Utils_Cursors.Split_SP).Cs
_ = _25_cs_k
var _26_v m_JSON_Grammar.Value = m_JSON_Grammar.Companion_Value_.Create_Number_(_24_num)
_ = _26_v
var _27_sp m_JSON_Utils_Cursors.Split = m_JSON_Utils_Cursors.Companion_Split_.Create_SP_(_26_v, _25_cs_k)
_ = _27_sp
return m_Wrappers.Companion_Result_.Create_Success_(_27_sp)
}
}
}