Extraction

The parc::extract module converts a parsed C AST into the normalized SourcePackage IR. It handles all declaration families.

Quick Start

#![allow(unused)]
fn main() {
use parc::extract;

let source = r#"
    typedef unsigned long size_t;
    void *malloc(size_t size);
    struct point { int x; int y; };
"#;

let pkg = extract::extract_from_source(source).unwrap();
assert_eq!(pkg.function_count(), 1);
assert_eq!(pkg.record_count(), 1);
assert_eq!(pkg.type_alias_count(), 1);
}

API Functions

extract_from_source

Parse and extract in one step using GNU C11 flavor:

#![allow(unused)]
fn main() {
let pkg = parc::extract::extract_from_source("int foo(void);").unwrap();
}

parse_and_extract

Parse and extract with a specific flavor:

#![allow(unused)]
fn main() {
let pkg = parc::extract::parse_and_extract(
    "int foo(void);",
    parc::driver::Flavor::StdC11,
).unwrap();
}

extract_from_translation_unit

Extract from an already-parsed AST:

#![allow(unused)]
fn main() {
let unit = parc::parse::translation_unit("int foo(void);", parc::driver::Flavor::StdC11).unwrap();
let pkg = parc::extract::extract_from_translation_unit(&unit, Some("test.h".into()));
}

parse_and_extract_resilient

Parse with error recovery and extract what’s possible:

#![allow(unused)]
fn main() {
let pkg = parc::extract::parse_and_extract_resilient(
    "int valid;\n@@@bad@@@;\nint also_valid;",
    parc::driver::Flavor::StdC11,
);
}

extract_file

Read a file from disk and extract:

#![allow(unused)]
fn main() {
let pkg = parc::extract::extract_file("path/to/header.h", parc::driver::Flavor::GnuC11).unwrap();
assert!(pkg.source_path.is_some());
}

What Gets Extracted

Diagnostics

The extractor produces diagnostics for constructs it cannot fully represent:

• Bitfield widths (partial representation)
• Inline/noreturn specifiers (ignored)
• Calling convention attributes (captured on function, other attributes warned)
• K&R function declarations (unsupported)
• Block pointers (unsupported)
• Static functions (not bindable)