package Ġcom . d ick ow . ch ort lin . checker . ast Ċ Ċ import Ġcom . d ick ow . ch ort lin . checker . ast . types .* Ċ Ċ interface ĠAST Visitor Ġ{ ĊĠĠĠ Ġfun Ġvisit End ( ast Node : ĠEnd ) ĊĠĠĠ Ġfun Ġvisit Interaction ( ast Node : ĠInteraction ) ĊĠĠĠ Ġfun Ġvisit Return From ( ast Node : ĠReturn From ) ĊĠĠĠ Ġfun Ġvisit Choice ( ast Node : ĠChoice ) Ċ }