public void NonEmptyStringValidatesCorrectly(string value, bool isSuccess) { Assert.AreEqual(isSuccess, NonEmptyString.Create(value).IsSuccess); var exceptionConstraint = isSuccess.Match <IConstraint>( t => Throws.Nothing, f => Throws.TypeOf <ArgumentException>() ); Assert.That(() => NonEmptyString.CreateUnsafe(value), exceptionConstraint); }
private static ISequenceStartingWithOne <Invoice> CreditInvoiceNonAssociatedForForeignCompany() { return(SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( new Invoice(CreditInvoice.Create( info: CreateInvoiceInfo(), revenueItems: SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( NegativeRevenue.Create(NegativeAmount.Create(-88.50m).Success.Get(), NonPositiveAmount.Create(-11.50m).Success.Get(), CreateRevenueInfo(TaxType.Vat13, RevenueType.Products)).Success.Get(), NegativeRevenue.Create(NegativeAmount.Create(-88.50m).Success.Get(), NonPositiveAmount.Create(-11.50m).Success.Get(), CreateRevenueInfo(TaxType.Vat13, RevenueType.Services)).Success.Get(), NegativeRevenue.Create(NegativeAmount.Create(-88.50m).Success.Get(), NonPositiveAmount.Create(-11.50m).Success.Get(), CreateRevenueInfo(TaxType.Vat13, RevenueType.Other)).Success.Get() )), payments: NonEmptyEnumerable.Create( NegativePayment.Create(NegativeAmount.Create(-100m).Success.Get(), PaymentType.Cash).Success.Get(), NegativePayment.Create(NegativeAmount.Create(-100m).Success.Get(), PaymentType.OnCredit).Success.Get(), NegativePayment.Create(NegativeAmount.Create(-100m).Success.Get(), PaymentType.DomesticPaymentsAccountNumber).Success.Get() ), counterPart: CreateInvoiceParty(Countries.Greece, "090701900", address: new Address(postalCode: NonEmptyString.CreateUnsafe("12"), city: NonEmptyString.CreateUnsafe("City"))) ).Success.Get()) ))); }
public async Task ValidNegativeInvoiceWorks() { // Arrange var client = new AadeClient(UserId, UserSubscriptionKey, AadeEnvironment.Sandbox); // Act // Step 1 - regular invoice var country = Countries.Greece; var invoices = SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( new Invoice(SalesInvoice.Create( info: AadeTestInvoicesData.CreateInvoiceInfo(invoiceSerialNumber: "50021"), revenueItems: SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( NonNegativeRevenue.Create(NonNegativeAmount.Create(88.50m).Success.Get(), NonNegativeAmount.Create(11.50m).Success.Get(), AadeTestInvoicesData.CreateRevenueInfo(TaxType.Vat13, RevenueType.Products)).Success.Get(), NonNegativeRevenue.Create(NonNegativeAmount.Create(88.50m).Success.Get(), NonNegativeAmount.Create(11.50m).Success.Get(), AadeTestInvoicesData.CreateRevenueInfo(TaxType.Vat13, RevenueType.Services)).Success.Get(), NonNegativeRevenue.Create(NonNegativeAmount.Create(88.50m).Success.Get(), NonNegativeAmount.Create(11.50m).Success.Get(), AadeTestInvoicesData.CreateRevenueInfo(TaxType.Vat13, RevenueType.Other)).Success.Get() )), payments: NonEmptyEnumerable.Create( NonNegativePayment.Create(NonNegativeAmount.Create(100m).Success.Get(), PaymentType.Cash).Success.Get(), NonNegativePayment.Create(NonNegativeAmount.Create(100m).Success.Get(), PaymentType.OnCredit).Success.Get(), NonNegativePayment.Create(NonNegativeAmount.Create(100m).Success.Get(), PaymentType.DomesticPaymentsAccountNumber).Success.Get() ), counterpart: AadeTestInvoicesData.CreateInvoiceParty(country, "090701900") ).Success.Get()) )); var response = await client.SendInvoicesAsync(invoices); Assert.True(response.SendInvoiceResults.IsSuccess); Assert.All(response.SendInvoiceResults.Success.Get().Values, result => Assert.True(result.Value.IsSuccess)); // We need to wait some time to allow external system to store the mark from the first call await Task.Delay(1000); // Step 2 - negative invoice var correlatedInvoice = response.SendInvoiceResults.Success.Get().Values.First().Value.Success.InvoiceRegistrationNumber.Value; var negativeInvoice = SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( new Invoice(CreditInvoice.Create( correlatedInvoice: correlatedInvoice, info: AadeTestInvoicesData.CreateInvoiceInfo(invoiceSerialNumber: "50021"), revenueItems: SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( NegativeRevenue.Create(NegativeAmount.Create(-53.65m).Success.Get(), NonPositiveAmount.Create(-12.88m).Success.Get(), AadeTestInvoicesData.CreateRevenueInfo(TaxType.Vat6, RevenueType.Products)).Success.Get(), NegativeRevenue.Create(NegativeAmount.Create(-53.65m).Success.Get(), NonPositiveAmount.Create(-12.88m).Success.Get(), AadeTestInvoicesData.CreateRevenueInfo(TaxType.Vat6, RevenueType.Services)).Success.Get(), NegativeRevenue.Create(NegativeAmount.Create(-53.65m).Success.Get(), NonPositiveAmount.Create(-12.88m).Success.Get(), AadeTestInvoicesData.CreateRevenueInfo(TaxType.Vat6, RevenueType.Other)).Success.Get() )), payments: NonEmptyEnumerable.Create( NegativePayment.Create(NegativeAmount.Create(-133.06m).Success.Get(), PaymentType.Cash).Success.Get(), NegativePayment.Create(NegativeAmount.Create(-66.53m).Success.Get(), PaymentType.DomesticPaymentsAccountNumber).Success.Get() ), counterPart: AadeTestInvoicesData.CreateInvoiceParty(country, "090701900", address: new Address(postalCode: NonEmptyString.CreateUnsafe("12"), city: NonEmptyString.CreateUnsafe("City"))) ).Success.Get()) )); var negativeInvoiceResponse = await client.SendInvoicesAsync(negativeInvoice); // Assert Assert.True(negativeInvoiceResponse.SendInvoiceResults.IsSuccess); Assert.All(negativeInvoiceResponse.SendInvoiceResults.Success.Get().Values, result => Assert.True(result.Value.IsSuccess)); }
private static ISequenceStartingWithOne <Invoice> InvoiceForForeignCompany() { return(SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( new Invoice(SalesInvoice.Create( info: CreateInvoiceInfo(), revenueItems: SequenceStartingWithOne.FromPreordered(NonEmptyEnumerable.Create( NonNegativeRevenue.Create(NonNegativeAmount.Create(100m).Success.Get(), NonNegativeAmount.Create(0m).Success.Get(), CreateRevenueInfo(TaxType.Vat0, RevenueType.Products, VatExemptionType.VatIncludedArticle43)).Success.Get(), NonNegativeRevenue.Create(NonNegativeAmount.Create(100m).Success.Get(), NonNegativeAmount.Create(0m).Success.Get(), CreateRevenueInfo(TaxType.Vat0, RevenueType.Services, VatExemptionType.VatIncludedArticle43)).Success.Get(), NonNegativeRevenue.Create(NonNegativeAmount.Create(100m).Success.Get(), NonNegativeAmount.Create(0m).Success.Get(), CreateRevenueInfo(TaxType.Vat0, RevenueType.Other, VatExemptionType.VatIncludedArticle43)).Success.Get() )), payments: NonEmptyEnumerable.Create( NonNegativePayment.Create(NonNegativeAmount.Create(100m).Success.Get(), PaymentType.Cash).Success.Get(), NonNegativePayment.Create(NonNegativeAmount.Create(100m).Success.Get(), PaymentType.OnCredit).Success.Get(), NonNegativePayment.Create(NonNegativeAmount.Create(100m).Success.Get(), PaymentType.DomesticPaymentsAccountNumber).Success.Get() ), counterpart: CreateInvoiceParty(Countries.Greece, "090701900", address: new Address(postalCode: NonEmptyString.CreateUnsafe("12"), city: NonEmptyString.CreateUnsafe("City"))) ).Success.Get()) ))); }