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) ;
      ]