예제 #1
0
 string location_of(atom atom)
 {
  int path_id=literal_id(atom.path());
  int line_id=literal_id(atom.line().trim());
  
  return concat("location",pack(path_id,line_id,atom.number()).join(",").parens());
 }