Skip to content
Snippets Groups Projects
Commit 2310f145 authored by Christian Dietrich's avatar Christian Dietrich
Browse files

RTSC/OIL: Remove all RTSC bits in favour of the OIL description

Since we have no longer an dependency on RTSC, we fully remove the
support for XML files written by RTSC. Therefore, the our OIL Parser was
extended to recognize several no standard constructs:

- Task Groups (Task in RTSC Nomenclature, OSEK Tasks are SubTasks)

  TASKGROUP taskname {
     PROMISE = SERIALIZED;
  }

  TASK subtaskname {
    ...
    TASKGROUP = taskname;
  };

- CheckedObjects
  We can declare data objects that are checked by a concurrently running
  checker core.

  CHECKEDOBJECT name {
      TYPEDEF = mytype;
      HEADER  = "foo/bar/baz.h";
      CHECKFUNCTION = datacheck;
  };

Change-Id: I6dce83cfa8266cc802d9a83d8432680fb905bc3d
parent 79e40cae
Branches
Tags
No related merge requests found
Showing
with 261 additions and 770 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment