Last change
on this file since d6c5faa was
fcf3493,
checked in by JiadaL <j82liang@…>, 6 weeks ago
|
update on thesis
|
-
Property mode set to
100644
|
File size:
1.3 KB
|
Line | |
---|
1 | \chapter{Conclusion} |
---|
2 | \label{c:conclusion} |
---|
3 | |
---|
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} |
---|
25 | |
---|
Note: See
TracBrowser
for help on using the repository browser.