BCHCallTargetInfo (codehawk.BCHCallTargetInfo)

val mk_call_target_info : 
  BCHLibTypes.function_interface_t ->
  BCHLibTypes.function_semantics_t ->
  BCHLibTypes.call_target_t ->
  BCHLibTypes.call_target_info_int

mk_call_target_info fintf fsem ctgt returns a call-target-info for function interface fintf and function semantics fsem.

val read_xml_call_target_info : 
  CHXmlDocument.xml_element_int ->
  BCHLibTypes.call_target_info_int

read_xml_call_target_info node returns a call-target-info obtained from its standard xml representation.

The standard xml representation consists of the following three attributes:

"fintf": holds the interface dictionary index to a function interface
"fsem": holds the interface dictionary index to a function semantics
"ictgt": holds the interface dictionary index to a call target