File: sketch.mli

package info (click to toggle)
marionnet 0.90.6+bzr508-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 9,532 kB
  • sloc: ml: 18,130; sh: 5,384; xml: 1,152; makefile: 1,003; ansic: 275
file content (74 lines) | stat: -rw-r--r-- 3,220 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
module Recursive_mutex : MutexExtra.Extended_signature 
  with type t = MutexExtra.Recursive.t

module Refresh_sketch_thunk : sig  type t = unit -> unit  val set : t -> unit  end
val refresh_sketch : unit -> unit

type shuffler = index list
and index = int

class type toolbar_driver =
  object
    method get_extrasize             : float
    method get_iconsize              : string
    method get_image                 : GdkPixbuf.pixbuf
    method get_image_current_height  : int
    method get_image_current_width   : int
    method get_image_original_height : int
    method get_image_original_width  : int
    method get_labeldistance         : float
    method get_nodesep               : float
    method reset_image_size          : unit   -> unit
    method set_extrasize             : float  -> unit
    method set_iconsize              : string -> unit
    method set_labeldistance         : float  -> unit
    method set_nodesep               : float  -> unit
  end

class tuning :
  ?iconsize: string ->
  ?shuffler: shuffler ->
  ?rankdir: string ->
  ?nodesep: float ->
  ?labeldistance: float ->
  ?extrasize: float ->
  ?curved_lines: bool ->
  network: < reversed_cable_set: bool -> string -> unit; reversed_cables: string list; to_forest: Xforest.forest; .. > ->
  unit ->           
  object
    val mutable gui_callbacks_disable : bool
    method crossover_cable_color      : string
    method curved_lines               : bool Cortex.t
    method curved_lines_commute       : bool
    method direct_cable_color         : string
    method disable_gui_callbacks      : unit -> unit
    method enable_gui_callbacks       : unit -> unit
    method eval_forest_attribute      : Xforest.attribute -> unit
    method eval_forest_child          : Xforest.tree -> unit
    method extrasize                  : float Cortex.t
    method extrasize_reset            : unit
    method from_tree                  : Xforest.node -> Xforest.forest -> unit
    method gui_callbacks_disable      : bool
    method iconsize                   : string Cortex.t
    method iconsize_for_dot           : string
    method labeldistance              : float Cortex.t
    method labeldistance_for_dot      : string
    method load_from_file             : project_version:[ `v0 | `v1 | `v2 ] -> string -> unit
    method nodesep                    : float Cortex.t
    method nodesep_for_dot            : string
    method rankdir                    : string Cortex.t
    method rankdir_for_dot            : string
    method ratio                      : string
    method reset_defaults             : unit -> unit
    method save_to_file               : string -> unit
    method set_gui_callbacks_disable  : bool -> unit
    method set_reversed_cables        : string list -> unit
    method set_toolbar_widgets        : unit -> unit
    method shuffler                   : int list Cortex.t
    method shuffler_reset             : unit
    method shuffler_as_function       : int -> int
    method to_forest                  : Xforest.forest
    method to_tree                    : Xforest.tree
    method toolbar_driver             : toolbar_driver
    method set_toolbar_driver         : toolbar_driver -> unit
  end