Module Syntax.Task

Task configuration. See: 6.8.2 Tasks

type t
type data_source =
  1. | DSConstant of constant
  2. | DSGlobalVar of VarUse.t
  3. | DSDirectVar of VarUse.t
  4. | DSProgOutput of string * VarUse.t

Data sources used in task configuration

val data_source_to_yojson : data_source -> Yojson.Safe.t
val create : string -> TI.t -> t
val set_interval : t -> data_source -> t

Set task interval input.

val set_single : t -> data_source -> t

Set task single input.

val set_priority : t -> int -> t

Set task priority value.