Implement simple attribute checking

Bug #598838 reported by Eike
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Freeode
Fix Released
High
Eike

Bug Description

Currently there are no semantic checks after the interpreter. There should be at least the most basic checking against illegal usage of attributes.

Constants:
- All constants must be known.
- No assignments to constants.

Parameters:
- All must be assigned in all init**** function.
- No assignment to parameters elsewhere.

Variables:
- All derivatives must be assigned in dynamic function.
- No states must be assigned in dynamic function.
- All states must be assigned initial values in init*** function.

Eike (eike-welk)
Changed in freeode:
importance: Undecided → High
assignee: nobody → Eike (eike-welk)
milestone: none → 0.4.0
status: New → Confirmed
Eike (eike-welk)
Changed in freeode:
status: Confirmed → Fix Released
status: Fix Released → Fix Committed
Eike (eike-welk)
Changed in freeode:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.