Module Utils.Names

Prefix constants for variable names, with testers and builders

Special names

val return_variable : string

Name of the variable that holds the return value of a GIL function call.

Prefixes

val lloc_prefix : string

Literal location prefix

val pvar_prefix : string

Program variable prefix

val aloc_prefix : string

Abstract location prefix

val lvar_prefix : string

Logical variable prefix

val lvar_prefix_bi : string

Logical variable prefix

Name testers

val is_pvar_name : string -> bool
val is_aloc_name : string -> bool
val is_lvar_name : string -> bool
val is_spec_var_name : string -> bool
val is_lloc_name : string -> bool

Name builders

val make_lvar_name : string -> string
val make_svar_name : string -> string