Add a New Comment (Rich Markup)
I think it needs a non-negligible work. Postpone to curtiss.
it seems useful to add a new type of RUN_FEATURE for self-initializing attributes and to disallow normal attributes to have contracts.
Using the new 'attribute' keyword to define instance variables allows the definition of a pre- and postcondition. These are only relevant for self-initialization, which is currently not implemented. Also it seems, that the postcondition is currently not check correctly. Also necessary to test: rescure clause, local variables, contracts and body only executed for first access. BTW: for self-initialization with a constant this can be optimized to do the init at the end of all creation procedures.
(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)
Attach Files: Comment:
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Only logged-in users can vote.
Please enter the title of George Orwell's famous dystopian book (it's a date):
Follow 4 latest changes.
Copyright © 2023 Free Software Foundation, Inc. Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved. The Levitating, Meditating, Flute-playing Gnu logo is a GNU GPL'ed image provided by the Nevrax Design Team. Source Code
Powered by Savane 3.11