Module Syntax.ProgramConfig

type t
type qualifier =
  1. | QRetain
  2. | QNonRetain
  3. | QConstant

Qualifier of IEC program

val qualifier_to_yojson : qualifier -> Yojson.Safe.t
val create : string -> TI.t -> t
val set_qualifier : t -> qualifier -> t

Set program qualifier.

val set_task : t -> Task.t -> t

Set task configuration.

val set_conn_vars : t -> VarUse.t list -> t

Set connected variables.

val get_name : t -> string

Get name of a program.

val to_yojson : t -> Yojson.Safe.t