Code

Post-conditions#1972

Code

Draft

HeikoTheissen wants to merge 10 commits intomainoasis-tcs/odata-specs:mainfrom postconditionsoasis-tcs/odata-specs:postconditionsCopy head branch name to clipboard

+139-89

Commits

Commits on Aug 1, 2024

• Post-conditions

  HeikoTheissen

  committed
  c0b95c9

  Copy full SHA for c0b95c9

• Clients SHOULD

  HeikoTheissen

  committed
  86899f9

  Copy full SHA for 86899f9

• Example

  HeikoTheissen

  committed
  28b6a30

  Copy full SHA for 28b6a30

• Split overlong sentence

  HeikoTheissen

  committed
  94bc40b

  Copy full SHA for 94bc40b

• No need for out-of-band knowledge

  HeikoTheissen

  committed
  99daeaa

  Copy full SHA for 99daeaa

• Extend example

  HeikoTheissen

  committed
  6461a23

  Copy full SHA for 6461a23

• annotated -> tagged (to rule out value false)

  HeikoTheissen

  committed
  5c3f40d

  Copy full SHA for 5c3f40d

• typos

  HeikoTheissen

  committed
  6032e08

  Copy full SHA for 6032e08

• annotated -> tagged

  HeikoTheissen

  committed
  c76b66b

  Copy full SHA for c76b66b

• Allow out-of-band knowledge again

  HeikoTheissen

  committed
  aa75d52

  Copy full SHA for aa75d52