Query: Basic information-flows flowing through a given m-flow-line.Purpose: Returns the information-flows that are not decomposed to other information items and are flowing through m-flow-lines in the input list.stm_r_if_basic_flowing_mf (IN mf_list: LIST OF
M_FLOW_LINE, OUT status: INTEGER)
Query: Information-flows flowing through a given m-flow-line.Purpose: Returns the information-flow flowing through m-flow-lines in the input list.Note: This function returns the highest information-flows as opposed tostm_r_if_basic_flowing_mf
, which returns the lowest level.stm_r_if_flowing_through_mf (IN mf_list: LIST OF
M_FLOW_LINE, OUT status: INTEGER)
Query: Information-flows labeling a given m-flow-line.Purpose: Returns the information-flow labeling m-flow-lines in the input list.stm_r_if_labeling_mf (IN mf_list: LIST OF
M_FLOW_LINE, OUT status: INTEGER)