method attributes =
[ "location", string_of_location self#location ;
"encoding", (match self#encoding with None -> "" | Some s -> s) ;
"mode", (match self#mode with None -> "" | Some m -> m#name) ;
"stxmode", (match self#syntax_mode with None -> "" | Some s -> s#get_name) ;
]