Project

General

Profile

Actions
Copy link

Feature #9247

open

CFG-to-C printer

Added by Sergey Smolov about 6 years ago. Updated almost 5 years ago.

Status:
Open
Priority:
High
Assignee:
Sergey Smolov
Category:
Engine (Printer)
Target version:
1.2
Start date:
08/24/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

The CFG-to-C printer is an engine that prints CFG model into the C program form. String Template should be used to accomplish such a task.

All the CFG model variables should be interpreted as uint64_t global variables. The CFG model itself is described by the DeviceState structure with the following fields: variables, number 'N' of processes, null-terminated list of process-related structures.

Every CFG process is represented by a structure, which field is a pointer to run function called 'proc(void*)'. In that function the DeviceState is an input data.

Actions
Copy link

Also available in: Atom PDF