Code

Contract: Add invariant contract#2829

Code

Merged

privat merged 9 commits intonitlang:masternitlang/nit:masterfrom Delja:contract_refactoringDelja/nit:contract_refactoringCopy head branch name to clipboardAug 16, 2024

+598-18

Commits

Commits on Sep 3, 2020

• model_contract: Add model representation of class invariant

  Show description for 7790547
  Delja

  committed
  7790547

• model_contract: Improve comment

  Show description for ba13320
  Delja

  committed
  ba13320

• astbuilder: Use the is_fictive flag

  Show description for 6df2861
  Delja

  committed
  6df2861

• check_annotation: Add invariant annotation

  Show description for 84d90f0
  Delja

  committed
  84d90f0

• toolcontext: Move the contract options

  Show description for fff2fa1
  Delja

  committed
  fff2fa1

• contrats: Add invariant usage

  Show description for 66425fc
  Delja

  committed
  66425fc

• tests: Add invariant contract tests

  Show description for ffde08c
  Delja

  committed
  ffde08c

• man/nitc: Update man page

  Show description for c77fb03
  Delja

  committed
  c77fb03

• tests: Update annotation syntax test result

  Show description for dbe708a
  Delja

  committed
  dbe708a