Module DiagramSource

Sourcetype kind =
  1. | Box
  2. | Connector
Sourcetype ends =
  1. | Begin
  2. | End
Sourcetype master = {
  1. name : string;
  2. kind : kind;
  3. cells : (string * string) list;
  4. geometry : (string * string) list;
  5. points : (string * string * Ortho_route.dir) list;
}
Sourcetype shape = {
  1. id : int;
  2. master : string;
  3. kind : kind;
  4. rows : (string * string) list;
  5. geometry : (string * string) list;
  6. points : (string * string * Ortho_route.dir) list;
  7. text : string;
  8. glue : (ends * int * int) list;
}
Sourcetype t
Sourceval empty : t
Sourceval masters : master list
Sourceval shapes : t -> shape list
Sourceval shape : t -> int -> shape option
Sourceval drop : t -> master -> (float * float) -> t * int
Sourceval set_formula : t -> int -> string -> string -> (t, string) result
Sourceval value : t -> int -> string -> float option
Sourceval shown : t -> int -> string -> string
Sourceval set_text : t -> int -> string -> t
Sourceval move : t -> int -> (float * float) -> t
Sourceval resize : t -> int -> (float * float) -> t
Sourceval glue : t -> int -> ends -> target:int -> point:int -> t
Sourceval place_end : t -> int -> ends -> (float * float) -> t
Sourceval delete : t -> int -> t
Sourceval outline : t -> shape -> (float * float) list
Sourceval connection_points : t -> shape -> ((float * float) * Ortho_route.dir) list
Sourceval bounds : t -> shape -> float * float * float * float
Sourceval ends_of : t -> shape -> (float * float) * (float * float)
Sourceval route : t -> shape -> (float * float) list