Code

Post-conditions via annotations#268

Code

Draft

HeikoTheissen wants to merge 4 commits intov4.02-release-candidateoasis-tcs/odata-vocabularies:v4.02-release-candidatefrom Validation.PostConditionoasis-tcs/odata-vocabularies:Validation.PostConditionCopy head branch name to clipboard

+112-11

Commits

Commits on Aug 1, 2024

• Post-conditions via annotations

  HeikoTheissen

  committed
  e732700

  Copy full SHA for e732700

• Rephrased

  HeikoTheissen

  committed
  3741a84

  Copy full SHA for 3741a84

• nullable

  HeikoTheissen

  committed
  37bd20f

  Copy full SHA for 37bd20f

Commits on Aug 2, 2024

• Modern formatting

  HeikoTheissen

  committed
  558a55b

  Copy full SHA for 558a55b