Show
Ignore:
Timestamp:
09/19/07 14:09:32 (16 months ago)
Author:
cho45
Message:

lang/javascript/userchrome/grddl.uc.js:

mime-type 設定
RDF 処理を暫定的に追加 (ただしコメントアウト)

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • lang/javascript/userchrome/grddl.uc.js

    • Property svn:mime-type set to text/javascript
    r213 r221  
    199199                        var serializer = new XMLSerializer(); 
    200200                        var xml = serializer.serializeToString(rdf); 
     201 
     202//                      var RDFService = Components.classes["@mozilla.org/rdf/rdf-service;1"] 
     203//                                                 .getService(Components.interfaces.nsIRDFService); 
     204//                      var IOService  = Components.classes["@mozilla.org/network/io-service;1"] 
     205//                                                 .getService(Components.interfaces.nsIIOService); 
     206//                      var ds         = Components.classes["@mozilla.org/rdf/datasource;1?name=in-memory-datasource"] 
     207//                                                 .createInstance(Components.interfaces.nsIRDFDataSource); 
     208//                      var rdfParser  = Components.classes["@mozilla.org/rdf/xml-parser;1"] 
     209//                                                 .createInstance(Components.interfaces.nsIRDFXMLParser); 
     210//                      rdfParser.parseString(ds, IOService.newURI(doc.documentURI, null, null), xml); 
     211// 
     212//                      var resDoc = RDFService.GetResource(doc.documentURI); 
     213//                      // resDoc を始点とするグラフのアークリソースを全て取得 
     214//                      var props  = ds.ArcLabelsOut(resDoc); 
     215//                      var val; 
     216//                      while (prop = props.getNext()) { 
     217//                              var prop = prop.QueryInterface(Components.interfaces.nsIRDFResource); 
     218//                              var target = ds.GetTarget(resDoc, prop, true); 
     219//                              try { 
     220//                                      target = target.QueryInterface(Components.interfaces.nsIRDFResource); 
     221//                              } catch (e) { 
     222//                                      target = target.QueryInterface(Components.interfaces.nsIRDFLiteral); 
     223//                              } 
     224//                              alert(target.Value); 
     225//                      } 
     226 
    201227                        var dataUri = "data:text/xml," + encodeURI(xml); 
    202228                        var newTab = gBrowser.addTab(dataUri);