Last change
on this file since 9476549 was
fcf3493,
checked in by JiadaL <j82liang@…>, 6 weeks ago
|
update on thesis
|
-
Property mode set to
100644
|
File size:
1.3 KB
|
Rev | Line | |
---|
[18ebc28] | 1 | \chapter{Conclusion} |
---|
[fcf3493] | 2 | \label{c:conclusion} |
---|
[18ebc28] | 3 | |
---|
[fcf3493] | 4 | The goal of this thesis is to adapt enumeration in \CFA to be aligned with the analogous features in |
---|
| 5 | other languages while being backward-compatiable to C. |
---|
| 6 | The presented features are based off on tools and techniques that widely used in |
---|
| 7 | other languages but they were adapted to better fix \CFA's feature set. Additionally, the thesis provides |
---|
| 8 | an improvement on safety and productivity of C enumeration, including enumerator overloading, |
---|
| 9 | name scoping and type checking. |
---|
| 10 | |
---|
| 11 | To further explores the potential of enumerated types, this thesis presents a new \CFA enumeration |
---|
| 12 | that is independent on C enumeration. The \CFA enumeration aims to solve the data harmonization problem |
---|
| 13 | and have natural support to \CFA generic type, along with some new features that fit with \CFA's |
---|
| 14 | programming pattern, such as enumerator conctrol structures. |
---|
| 15 | |
---|
| 16 | The \CFA project's test suite has been expanded to test the enumerations with respect to its |
---|
| 17 | implicit conversions, inheritance, interaction with the polymorphic types, and the features |
---|
| 18 | built on top of enumeration traits. |
---|
| 19 | |
---|
| 20 | The enumerated type is an attempt to adapt classic data types into \CFA unique type system. It brings |
---|
| 21 | valuable new feature to \CFA in its own right, but also serve as a motivation to adapt other data types |
---|
| 22 | in \CFA. |
---|
| 23 | |
---|
| 24 | % \section{Future Work} |
---|
[18ebc28] | 25 | |
---|
Note: See
TracBrowser
for help on using the repository browser.