package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cpu = {
  1. os : os;
  2. appmodes : appmode list;
  3. tasks : task list;
  4. counters : counter list;
  5. interrupts : isr list;
}
and obj =
  1. | Os of os
  2. | Appmode of os
  3. | Task of task
  4. | Counter of counter
  5. | Alarm of alarm
  6. | Resource of resource
  7. | Event of event
  8. | Isr of isr
  9. | Message of message
  10. | Com of unit
  11. | Ipdu of unit
  12. | Nm of unit
and os = {
  1. status : [ `STANDARD | `EXTENDED ];
  2. errorhook : bool;
  3. pretaskhook : bool;
  4. startuphook : bool;
  5. shutdownhook : bool;
  6. userrescheduler : bool;
}
and appmode = {
  1. name : string;
}
and task = {
  1. priority : int;
  2. schedule : [ `NON | `FULL ];
  3. activation : int;
  4. autostart : [ `FALSE | `TRUE of appmode list ];
  5. resources : resource list;
  6. events : event list;
  7. messages : message list;
}
and counter = {
  1. maxallowedvalue : int;
  2. ticksperbase : int;
  3. mincycle : int;
}
and alarm = {
  1. counter : counter;
  2. action : [ `ACTIVATETASK of task | `SETEVENT of task * event | `ALARMCALLBACK of string ];
  3. alarm_autostart : [ `FALSE | `TRUE of alarm_autostart ];
}
and alarm_autostart = {
  1. alarmtime : int;
  2. cycletime : int;
  3. appmode : appmode list;
}
and resource = {
  1. resourceproperty : [ `STANDARD | `LINKED | `INTERNAL ];
}
and event = {
  1. mask : [ `Bits of int64 | `AUTO ];
}
and isr = {
  1. category : int;
  2. isr_resources : resource list;
  3. isr_messages : message list;
}
and message = {
  1. messageproperty : [ `SEND | `RECEIVE ];
  2. notification : message_notification;
  3. notificationerror : message_notification;
}
and message_notification = [
  1. | `NONE
  2. | `ACTIVATETASK of task
  3. | `SETEVENT of task * event
  4. | `COMCALLBACK of string
  5. | `FLAG of string
  6. | `INMCALLBACK
]
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct