Felix 104: C bindings

• C Bindings
  • Lifting Primitives
  • Lifting Class types
  • C function types
  • Lifting C structs and unions
  • Lifting functions and procedures
  • Lifting Constants and Expressions
  • Lifting enums
  • Lifting Flags
• Floating Insertions
  • Insertion Locations
  • Polymorphic Insertions
  • Requires Clause
  • Tag names
  • Closure Formation
  • Order of Insertion
  • Global Insertions
  • Triggering Insertions
• Fixed Insertions
  • Lifting Plain Statements
  • Lifting NonReturning Executable Statements
  • Lifts with arguments
  • Lifting Expressions
  • Lifting Variables
• Binding Callbacks
  • Complete Example