Prepared C AST translation to support C function definitions

Author: IsaacShelton

Diff for: src/c/ast/mod.rs

@@ -477,6 +477,7 @@ pub struct FunctionDefinition {
     pub attributes: Vec<Attribute>,
     pub declaration_specifiers: DeclarationSpecifiers,
     pub declarator: Declarator,
+    pub parameter_type_list: ParameterTypeList,
     pub body: CompoundStatement,
 }
 

Diff for: src/c/parser/mod.rs

@@ -110,6 +110,7 @@ impl<'a> Parser<'a> {
                                         &declaration.declaration_specifiers,
                                         declarator,
                                         parameter_type_list,
+                                        None,
                                         self.diagnostics,
                                         self.c_file_type,
                                     )?;
@@ -120,7 +121,19 @@ impl<'a> Parser<'a> {
                     Declaration::StaticAssert(_) => todo!("c static assert"),
                     Declaration::Attribute(_) => todo!("c attribute declaration"),
                 },
-                ExternalDeclaration::FunctionDefinition(_) => todo!("define c function"),
+                ExternalDeclaration::FunctionDefinition(function_definition) => {
+                    declare_function(
+                        &mut self.typedefs,
+                        &mut ast_file,
+                        &function_definition.attributes,
+                        &function_definition.declaration_specifiers,
+                        &function_definition.declarator,
+                        &function_definition.parameter_type_list,
+                        Some(function_definition.body),
+                        self.diagnostics,
+                        self.c_file_type,
+                    )?;
+                }
             }
         }
 
@@ -141,10 +154,23 @@ impl<'a> Parser<'a> {
         let declarator = self.parse_declarator()?;
         let body = self.parse_function_body()?;
 
+        let (declarator, parameter_type_list) = match declarator.kind {
+            DeclaratorKind::Function(declarator, parameter_type_list) => {
+                (*declarator, parameter_type_list)
+            }
+            _ => {
+                return Err(ParseError::message(
+                    "Invalid function definition",
+                    declarator.source,
+                ))
+            }
+        };
+
         Ok(FunctionDefinition {
             attributes,
             declaration_specifiers,
             declarator,
+            parameter_type_list,
             body,
         })
     }

Diff for: src/c/translation/function.rs

@@ -4,8 +4,8 @@ use crate::{
     ast::{self, AstFile, Func, FuncHead, Param, Params},
     c::{
         ast::{
-            Attribute, CTypedef, DeclarationSpecifiers, Declarator, ParameterDeclarationCore,
-            ParameterTypeList, StorageClassSpecifier,
+            Attribute, CTypedef, CompoundStatement, DeclarationSpecifiers, Declarator,
+            ParameterDeclarationCore, ParameterTypeList, StorageClassSpecifier,
         },
         parser::{error::ParseErrorKind, ParseError},
     },
@@ -21,6 +21,7 @@ pub fn declare_function(
     declaration_specifiers: &DeclarationSpecifiers,
     declarator: &Declarator,
     parameter_type_list: &ParameterTypeList,
+    body: Option<CompoundStatement>,
     diagnostics: &Diagnostics,
     c_file_type: CFileType,
 ) -> Result<(), ParseError> {