## About this project 

TODO ..

## HOW TO

travail à faire : ajouter OBSERVER


eventInBlock_list=[] => ([blockName, classInstanceTuple list, eventInBlock list, eventInSynchronizationTuple list], [], …)
eventInClass_list=[(className, state list, event list, transitionTuple list), … ]

Door A, B
Door : ClassNameIdentifier
A,B : ClassInstanceIdentifier

block_list : une list contenant tous les noms des blocks 
class_list : une list contenant tous les noms des classes
event_list : (dans class automate) une liste contenant tous les noms des events
event_InTransition : (dans class automate)…
className_list : (dans block automate) les noms des class déclaré dans un block
classInstance_list : les noms des instances dans un block
eventInEventPath_list et classInEventPath_list : 
	par example, A.openning => classInEventPath.eventInEventPath
Pour l’instant, on ne fais pas la correspondance!!!!

synchronization
  aopen : A.opening
  bopen : B.opening
  -> eventPathInSynchronization_list : [(A.opening),(B.opening)]


fais attention : 
class Door
state open, close 
event opening, closing1 
transition
opening: close -> open
closing2: open -> close
end

在block中，把A和opening关联起来！！！ A.opening


accèsibilité : vérifier s'il y les points qui ne sont pas accèsible
unsafe : dans une boucle, il y a pas d'arrêt sortant sauf ce qui pointe sur les point dans cette boucle

block_list=[]
class_list=[]
event_list=[]
state_list=[]
eventInTransition_list=[]
className_list=[]
classInstance_list=[]
eventInEventPath_list=[]
classInEventPath_list=[]
originalStateInTransition_list=[]
destStateInTransition_list=[]
eventInSynchronisation_list=[]
eventPathInSynchronization_list=[]