Module Transcript


module Transcript: sig .. end
transcript.ml
Author(s): Yann GLOUCHE
Version: 1.0
Since 12/12/2005


Transcription IF to HLPSL, and HLPSL to IF
val transcript_table_sender : (string, string) Hashtbl.t
contains all the transcription of a message from a HLPSL format send by an agent to Intermediate Format, and from Intermediate Format to HLPSL format
val transcript_sender : string -> string
transcript a message "mess" in HLPSL send by an agent to Intermediate Format, and transcript a message "mess" in Intermediate Format to HLPSL.
Returns string, then message is in HLPSL or Intermediate Format
mess : is a message in HLPSL or Intermediate Format
val transcript_table_receiver : (string, string) Hashtbl.t
contains all the transcription of a message receives by an agent from a HLPSL format to Intermediate Format, and from Intermediate Format to HLPSL format
val transcript_receiver : string -> string
transcript a message "mess" receives by an agent in HLPSL to Intermediate Format, and transcript a message "mess" in Intermediate Format to HLPSL.
Returns string, then message is in HLPSL or Intermediate Format
mess : is a message in HLPSL or Intermediate Format
val transcript_to_real : string -> string -> string
return a message with all the value of variables contained in this message
Returns the message "mess" with all the value of the variables contained in the message
name : is the sender of the message "mess"
mess : is a message send by the agent "name"
val transcript_table_for_intruder : (string * string, string) Hashtbl.t
contains all the transcription of a message from a HLPSL format send by an agent to Intermediate Format, and from Intermediate Format to HLPSL format with all the value of variables contained in this message
val transcript_receiver_for_intruder : string -> string -> string
transcript a message "mess" receives and show the tests values in this messages by an agent in HLPSL to Intermediate Format, and transcript a message "mess" in Intermediate Format to HLPSL.
Returns string, then message is in HLPSL or Intermediate Format
name : is the sender of the message "mess"
mess : is a message send by the agent "name"
val max_length_message : (string * int * 'a * (string * 'b * string) list) list -> int
Compute the maximal length of the strings which represents the messages in the automata
Returns the maxiamal length of the string whcich represents the messages (to send and to receive) in the automata