package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Module `AstTabSymbol`Source

Maps ident to entities (const, type et oper) in some particular contexts.

Sourcetype 'a elt =

Symbol table elements.

Sourcetype t

Sourceval create : unit -> t

Manip de AstTabSymbol.t

Sourceval find_type : t -> Lv6Id.t -> Lxm.t -> AstCore.type_info Lxm.srcflagged elt

Raise a proper compil error message if not found

Sourceval find_const : t -> Lv6Id.t -> Lxm.t -> AstCore.const_info Lxm.srcflagged elt

Sourceval find_node : t -> Lv6Id.t -> Lxm.t -> AstCore.node_info Lxm.srcflagged elt

Sourceval find_pack_of_type : t -> Lv6Id.t -> Lxm.t -> Lv6Id.pack_name

Sourceval find_pack_of_const : t -> Lv6Id.t -> Lxm.t -> Lv6Id.pack_name

Sourceval add_import_const : t -> Lv6Id.pack_name -> Lv6Id.t -> Lv6Id.long -> unit

Ajout de nom d'item import�s (via uses)

Sourceval add_import_type : t -> Lv6Id.t -> Lv6Id.long -> unit

val add_import_node : 
  t ->
  Lv6Id.t ->
  Lv6Id.long ->
  AstCore.static_param Lxm.srcflagged list ->
  unit

val add_type : 
  t ->
  Lv6Id.pack_name ->
  Lv6Id.t ->
  AstCore.type_info Lxm.srcflagged ->
  unit

Add local items declaration

val add_const : 
  t ->
  Lv6Id.pack_name ->
  Lv6Id.t ->
  AstCore.const_info Lxm.srcflagged ->
  unit

Sourceval add_node : t -> Lv6Id.t -> AstCore.node_info Lxm.srcflagged -> unit

It�rer sur les items

val iter_types : 
  t ->
  (Lv6Id.t -> AstCore.type_info Lxm.srcflagged elt -> unit) ->
  unit

val iter_consts : 
  t ->
  (Lv6Id.t -> AstCore.const_info Lxm.srcflagged elt -> unit) ->
  unit

val iter_nodes : 
  t ->
  (Lv6Id.t -> AstCore.node_info Lxm.srcflagged elt -> unit) ->
  unit