parse_map_update_to_target_location

taco_parser::tla

Function parse_map_update_to_target_location 

Source 
fn parse_map_update_to_target_location(
    pair: Pair<'_, Rule>,
    proc_ident: &String,
) -> Result<Location, Error>
Expand description

Parse a map update / map redefinition to the target location of a rule

Example of a map redefinition: ProcessesLocations' = [ProcessesLocations EXCEPT ![p] = "locEC"]