Changes between Version 11 and Version 12 of C to tass-AST xml

Timestamp:

04/10/11 14:49:40 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -1 +1 @@
 = Notes on TASS AST and Translation to Model =
+
+Questions:
+ * How to handle pre-processor macros?   Include in AST?
+ * How abstract should the AST be?
+ * Should it contain semantic information, e.g., types, and variables?
+ * How will it handle things like (foo)*bar: this could be either a cast of *bar to type foo, or it could be the product of foo and bar; you need to know whether foo defines a type, which is some semantic information
 
 == Elements of a TASS AST ==
@@ -59 +65 @@
 
 Stages
- # All variables, types, etc., are represented simply as identifiers
- # Symbol table information is used to annotate the AST
- # (Static) types are created and associated to every expression
- # Variable objects are created and inserted into AST
- # Variables may be moved around to facilitate translation to model, ....
-
-
-Questions:
- * How to handle pre-processor macros?   Include in AST?
+ 1. All variables, types, etc., are represented simply as identifiers
+ 1. Symbol table information is used to annotate the AST
+ 1. (Static) types are created and associated to every expression
+ 1. Variable objects are created and inserted into AST
+ 1. Variables may be moved around to facilitate translation to model, ....
+
+