Module `Pml_arinc`

type return_code =

| SUCCESS
| ERROR

and partition_mode =

| IDLE
| COLD_START
| WARM_START
| NORMAL

and status =

| NOTCREATED
| STOPPED
| SUSPENDED
| WAITING
| READY
| DONE

and waiting_for =

| NONE
| BLACKBOARD
| SEMA
| EVENT
| TIME

and queuing_discipline =

| FIFO
| PRIO

val pp_return_code : 
  Ppx_deriving_runtime.Format.formatter ->
  return_code ->
  Ppx_deriving_runtime.unit

val show_return_code : return_code -> Ppx_deriving_runtime.string

val pp_partition_mode : 
  Ppx_deriving_runtime.Format.formatter ->
  partition_mode ->
  Ppx_deriving_runtime.unit

val show_partition_mode : partition_mode -> Ppx_deriving_runtime.string

val pp_status : 
  Ppx_deriving_runtime.Format.formatter ->
  status ->
  Ppx_deriving_runtime.unit

val show_status : status -> Ppx_deriving_runtime.string

val pp_waiting_for : 
  Ppx_deriving_runtime.Format.formatter ->
  waiting_for ->
  Ppx_deriving_runtime.unit

val show_waiting_for : waiting_for -> Ppx_deriving_runtime.string

val pp_queuing_discipline : 
  Ppx_deriving_runtime.Format.formatter ->
  queuing_discipline ->
  Ppx_deriving_runtime.unit

val show_queuing_discipline : queuing_discipline -> Ppx_deriving_runtime.string

val min_return_code : int

val max_return_code : int

val return_code_to_enum : return_code -> int

val return_code_of_enum : int -> return_code option

val min_partition_mode : int

val max_partition_mode : int

val partition_mode_to_enum : partition_mode -> int

val partition_mode_of_enum : int -> partition_mode option

val min_status : int

val max_status : int

val status_to_enum : status -> int

val status_of_enum : int -> status option

val min_waiting_for : int

val max_waiting_for : int

val waiting_for_to_enum : waiting_for -> int

val waiting_for_of_enum : int -> waiting_for option

val min_queuing_discipline : int

val max_queuing_discipline : int

val queuing_discipline_to_enum : queuing_discipline -> int

val queuing_discipline_of_enum : int -> queuing_discipline option

val extract_types : string list

val init : 
  ?nproc:int ->
  ?nsema:int ->
  ?nevent:int ->
  ?nbboard:int ->
  unit ->
  unit * string

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Pml_arinc/index.html

Module `Pml_arinc`

package goblint

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Pml_arinc/index.html

Module Pml_arinc

dune-project
Dependency

Module `Pml_arinc`