func()

in releases/go/mpl/DefaultCMM/DefaultCMM.go [288:392]
105 lines of code
10 McCabe index (conditional complexity)

func (_this *DefaultCMM) GetEncryptionMaterials_k(input m_AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) m_Wrappers.Result {
	{
		var output m_Wrappers.Result = m_Wrappers.Result{}
		_ = output
		var _0_valueOrError0 m_Wrappers.Outcome = m_Wrappers.Companion_Outcome_.Default()
		_ = _0_valueOrError0
		_0_valueOrError0 = m_Wrappers.Companion_Default___.Need(!((input).Dtor_encryptionContext()).Contains(m_Materials.Companion_Default___.EC__PUBLIC__KEY__FIELD()), m_AwsCryptographyMaterialProvidersTypes.Companion_Error_.Create_AwsCryptographicMaterialProvidersException_(_dafny.SeqOfString("Reserved Field found in EncryptionContext keys.")))
		if (_0_valueOrError0).IsFailure() {
			output = (_0_valueOrError0).PropagateFailure()
			return output
		}
		var _1_algorithmId m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
		_ = _1_algorithmId
		if ((input).Dtor_algorithmSuiteId()).Is_Some() {
			_1_algorithmId = ((input).Dtor_algorithmSuiteId()).Dtor_value().(m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId)
		} else {
			_1_algorithmId = m_Defaults.Companion_Default___.GetAlgorithmSuiteForCommitmentPolicy((input).Dtor_commitmentPolicy())
		}
		var _2_valueOrError1 m_Wrappers.Outcome = m_Wrappers.Companion_Outcome_.Default()
		_ = _2_valueOrError1
		_2_valueOrError1 = m_Commitment.Companion_Default___.ValidateCommitmentPolicyOnEncrypt(_1_algorithmId, (input).Dtor_commitmentPolicy())
		if (_2_valueOrError1).IsFailure() {
			output = (_2_valueOrError1).PropagateFailure()
			return output
		}
		var _3_suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
		_ = _3_suite
		_3_suite = m_AlgorithmSuites.Companion_Default___.GetSuite(_1_algorithmId)
		var _4_signingKey m_Wrappers.Option = m_Wrappers.Companion_Option_.Default()
		_ = _4_signingKey
		var _5_verificationKey m_Wrappers.Option = m_Wrappers.Companion_Option_.Default()
		_ = _5_verificationKey
		if ((_3_suite).Dtor_signature()).Is_ECDSA() {
			var _6_maybeECDSAPair m_Wrappers.Result
			_ = _6_maybeECDSAPair
			var _out0 m_Wrappers.Result
			_ = _out0
			_out0 = ((_this).CryptoPrimitives()).GenerateECDSASignatureKey(m_AwsCryptographyPrimitivesTypes.Companion_GenerateECDSASignatureKeyInput_.Create_GenerateECDSASignatureKeyInput_((((_3_suite).Dtor_signature()).Dtor_ECDSA()).Dtor_curve()))
			_6_maybeECDSAPair = _out0
			var _7_valueOrError2 m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(m_AwsCryptographyPrimitivesTypes.Companion_GenerateECDSASignatureKeyOutput_.Default())
			_ = _7_valueOrError2
			_7_valueOrError2 = (_6_maybeECDSAPair).MapFailure(func(coer129 func(m_AwsCryptographyPrimitivesTypes.Error) m_AwsCryptographyMaterialProvidersTypes.Error) func(interface{}) interface{} {
				return func(arg130 interface{}) interface{} {
					return coer129(arg130.(m_AwsCryptographyPrimitivesTypes.Error))
				}
			}(func(_8_e m_AwsCryptographyPrimitivesTypes.Error) m_AwsCryptographyMaterialProvidersTypes.Error {
				return m_AwsCryptographyMaterialProvidersTypes.Companion_Error_.Create_AwsCryptographyPrimitives_(_8_e)
			}))
			if (_7_valueOrError2).IsFailure() {
				output = (_7_valueOrError2).PropagateFailure()
				return output
			}
			var _9_pair m_AwsCryptographyPrimitivesTypes.GenerateECDSASignatureKeyOutput
			_ = _9_pair
			_9_pair = (_7_valueOrError2).Extract().(m_AwsCryptographyPrimitivesTypes.GenerateECDSASignatureKeyOutput)
			_4_signingKey = m_Wrappers.Companion_Option_.Create_Some_((_9_pair).Dtor_signingKey())
			_5_verificationKey = m_Wrappers.Companion_Option_.Create_Some_((_9_pair).Dtor_verificationKey())
		} else {
			_4_signingKey = m_Wrappers.Companion_Option_.Create_None_()
			_5_verificationKey = m_Wrappers.Companion_Option_.Create_None_()
		}
		var _10_valueOrError3 m_Wrappers.Result = m_Wrappers.Result{}
		_ = _10_valueOrError3
		_10_valueOrError3 = m_Materials.Companion_Default___.InitializeEncryptionMaterials(m_AwsCryptographyMaterialProvidersTypes.Companion_InitializeEncryptionMaterialsInput_.Create_InitializeEncryptionMaterialsInput_(_1_algorithmId, (input).Dtor_encryptionContext(), ((input).Dtor_requiredEncryptionContextKeys()).UnwrapOr(_dafny.SeqOf()).(_dafny.Sequence), _4_signingKey, _5_verificationKey))
		if (_10_valueOrError3).IsFailure() {
			output = (_10_valueOrError3).PropagateFailure()
			return output
		}
		var _11_materials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
		_ = _11_materials
		_11_materials = (_10_valueOrError3).Extract().(m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials)
		var _12_valueOrError4 m_Wrappers.Result = m_Wrappers.Result{}
		_ = _12_valueOrError4
		var _out1 m_Wrappers.Result
		_ = _out1
		_out1 = ((_this).Keyring()).OnEncrypt(m_AwsCryptographyMaterialProvidersTypes.Companion_OnEncryptInput_.Create_OnEncryptInput_(_11_materials))
		_12_valueOrError4 = _out1
		if (_12_valueOrError4).IsFailure() {
			output = (_12_valueOrError4).PropagateFailure()
			return output
		}
		var _13_result m_AwsCryptographyMaterialProvidersTypes.OnEncryptOutput
		_ = _13_result
		_13_result = (_12_valueOrError4).Extract().(m_AwsCryptographyMaterialProvidersTypes.OnEncryptOutput)
		var _14_encryptionMaterialsOutput m_AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsOutput
		_ = _14_encryptionMaterialsOutput
		_14_encryptionMaterialsOutput = m_AwsCryptographyMaterialProvidersTypes.Companion_GetEncryptionMaterialsOutput_.Create_GetEncryptionMaterialsOutput_((_13_result).Dtor_materials())
		var _15_valueOrError5 m_Wrappers.Outcome = m_Wrappers.Companion_Outcome_.Default()
		_ = _15_valueOrError5
		_15_valueOrError5 = m_Wrappers.Companion_Default___.Need(m_Materials.Companion_Default___.EncryptionMaterialsHasPlaintextDataKey((_14_encryptionMaterialsOutput).Dtor_encryptionMaterials()), m_AwsCryptographyMaterialProvidersTypes.Companion_Error_.Create_AwsCryptographicMaterialProvidersException_(_dafny.SeqOfString("Could not retrieve materials required for encryption")))
		if (_15_valueOrError5).IsFailure() {
			output = (_15_valueOrError5).PropagateFailure()
			return output
		}
		var _16_valueOrError6 m_Wrappers.Outcome = m_Wrappers.Companion_Outcome_.Default()
		_ = _16_valueOrError6
		_16_valueOrError6 = m_Wrappers.Companion_Default___.Need(m_Materials.Companion_Default___.ValidEncryptionMaterialsTransition(_11_materials, (_14_encryptionMaterialsOutput).Dtor_encryptionMaterials()), m_AwsCryptographyMaterialProvidersTypes.Companion_Error_.Create_AwsCryptographicMaterialProvidersException_(_dafny.SeqOfString("Keyring returned an invalid response")))
		if (_16_valueOrError6).IsFailure() {
			output = (_16_valueOrError6).PropagateFailure()
			return output
		}
		output = m_Wrappers.Companion_Result_.Create_Success_(_14_encryptionMaterialsOutput)
		return output
	}
}