Attribute Flow Grammars (AFG)

An Attribute-Flow Grammar (AFG) is a novel grammar utilized by this project. AFGs use the concept of “flow” variables to replace traditional attributes used in Attribute Grammars. The syntax used to specify AFGs is similar to that of Extended Backus-Naur Form and makes heavy use of over-loadable C++ operators. As a result, a valid AFG can be embedded in C++ code and is clean and easy to read. In this section, we discuss the details about the syntax and semantic properties of AFGs.