----------------------------------
Fichier de sortie ATS : export.ats
----------------------------------

#Creation date : Wed Mar 22 11:30:02 CET 2006
############################################################
ATS
  Clapet

DATAPART
  TYPES
    ETATCLAPET {ouvert, ferme }
    NATURAL
  GLOBALVARS
    temp:NATURAL,
    clapet:ETATCLAPET
    
GLOBALPROPERTIES
  temp<=30 &
  clapet=ferme

INITIALISATION
  {
    temp:=20
    clapet:=ferme
  }

BEHAVIOUR
  fermerClapet =
  {
    clapet:=ferme
  }

  ouvrirClapet =
  {
    clapet:=ouvert
  }

  monterTemp =
  {
    temp:=temp+1
  }
  []
  {
    temp:=temp+3
  }

  baisserTemp =
  LOCALCONTEXT
    temp>10
  {
    temp:=temp-1
  }
STA