This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:attributes [2008/11/20 15:15] ligeza null, nd, na |
hekate:attributes [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| **Version**: Draft 2008Q3 | **Version**: Draft 2008Q3 | ||
| + | |||
| + | //Please put bigger remarks/discussusion, to the [[hekatedev:attributes|attributes development page]]// | ||
| ===== Introduction ===== | ===== Introduction ===== | ||
| Line 137: | Line 139: | ||
| ==== Implicit Notation ==== | ==== Implicit Notation ==== | ||
| - | FIXME ALi | ||
| For setting attribute value the same implicit notation as for the domains should be used (a sum of ranges or values), | For setting attribute value the same implicit notation as for the domains should be used (a sum of ranges or values), | ||
| ''i.e. S=<5,8>u{3}.'' | ''i.e. S=<5,8>u{3}.'' | ||
| Line 143: | Line 144: | ||
| I agree. We should define the rules for well-formed expressions (enabling unique calculation of values), and allow for using it. This should be based on set algebra and incorporate the notational variants, such as ''A > 5'' (which in fact means ''A={6,7}'' if the domain of A is {1,2,3,4,5,6,7}. | I agree. We should define the rules for well-formed expressions (enabling unique calculation of values), and allow for using it. This should be based on set algebra and incorporate the notational variants, such as ''A > 5'' (which in fact means ''A={6,7}'' if the domain of A is {1,2,3,4,5,6,7}. | ||
| + | |||
| + | So we use the //sum// SetTheory operator and sets of values. | ||
| + | |||
| + | Syntactic suger on the interface level, | ||
| + | consider attribute T, domain {0,50}, we mean, t=<10, the tool sould hint, t=<0,10>, | ||
| + | in //STATE// we store t=<0,10>, see above. | ||
| Line 227: | Line 234: | ||
| //Symbol// might also be called //String//. | //Symbol// might also be called //String//. | ||
| + | |||
| + | check types in Hibernate!!! FIXME | ||
| Basic types in other languages (also called primitive types): | Basic types in other languages (also called primitive types): | ||
