function and statement behaviors

ID0000484: This issue was created automatically from Mantis Issue 484. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000484	Frama-C	Kernel > ACSL implementation	public	2010-05-18	2014-02-12

Reporter	patrick	Assigned To	patrick	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Boron-20100401	Target Version	-	Fixed in Version	Frama-C Carbon-20101201-beta1

Description :

1. implements require clauses given into function and statement behaviors
2. changes the grammar of behavior-body-stmt:

behavior-body-stmt ::= assumes-clause* requires-clause* simple-clauses-stmt* simple-clause-stmt ::= simple-clause | abrupt-clause-stmt