From 50fc4c3dd2ac72311170436e455770f9c6814ffd Mon Sep 17 00:00:00 2001 From: David Robillard Date: Thu, 27 Oct 2011 15:42:46 +0000 Subject: Port lv2specgen to rdflib. --- ext/cv-port.lv2/cv-port.ttl | 18 ++-- ext/event.lv2/event.ttl | 50 ++++----- ext/host-info.lv2/host-info.ttl | 10 +- ext/pui-gtk.lv2/pui-gtk.ttl | 18 ++-- ext/time.lv2/time.ttl | 18 ++-- lv2specgen/lv2specgen.py | 218 +++++++++++++++++++--------------------- 6 files changed, 160 insertions(+), 172 deletions(-) diff --git a/ext/cv-port.lv2/cv-port.ttl b/ext/cv-port.lv2/cv-port.ttl index c9582df..c67b099 100644 --- a/ext/cv-port.lv2/cv-port.ttl +++ b/ext/cv-port.lv2/cv-port.ttl @@ -65,14 +65,14 @@ audio except in cases where this is known to be safe. Example: 
 <http://example.org/some-plugin>
-	lv2:port [
-		a cv:CVPort, lv2:InputPort ;
-		lv2:index 0 ;
-		lv2:minimum -1.0 ;
-		lv2:maximum 1.0 ;
-		lv2:default 0.0 ;
-		lv2:symbol "modulation" ;
-		lv2:name "Modulation" ;
-	] .
+    lv2:port [
+        a cv:CVPort, lv2:InputPort ;
+        lv2:index 0 ;
+        lv2:minimum -1.0 ;
+        lv2:maximum 1.0 ;
+        lv2:default 0.0 ;
+        lv2:symbol "modulation" ;
+        lv2:name "Modulation" ;
+    ] .
""" . diff --git a/ext/event.lv2/event.ttl b/ext/event.lv2/event.ttl index 0cc5195..8691146 100644 --- a/ext/event.lv2/event.ttl +++ b/ext/event.lv2/event.ttl @@ -26,10 +26,10 @@ doap:license ; doap:name "LV2 Event" ; rdfs:seeAlso ; - doap:release [ - doap:revision "1.2" ; - doap:created "2011-05-26" - ] ; + doap:release [ + doap:revision "1.2" ; + doap:created "2011-05-26" + ] ; doap:maintainer [ a foaf:Person ; foaf:name "David Robillard" ; @@ -38,7 +38,7 @@ ] , [ a foaf:Person ; foaf:name "Lars Luthman" ; - ] ; + ] ; lv2:documentation """ This extension defines a generic time-stamped event port type, which can be used to create plugins that read and write real-time events, such as MIDI, @@ -46,20 +46,20 @@ OSC, or any other type of event payload. The type(s) of event supported by a port is defined in the data file for a plugin, for example: 
 <http://example.org/some-plugin>
-	lv2:port [
-		a ev:EventPort, lv2:InputPort ;
-		lv2:index 0 ;
-		ev:supportsEvent <http://lv2plug.in/ns/ext/midi#MidiEvent> ;
-		lv2:symbol "midi_input" ;
-		lv2:name "MIDI input" ;
-	] .
+    lv2:port [
+        a ev:EventPort, lv2:InputPort ;
+        lv2:index 0 ;
+        ev:supportsEvent <http://lv2plug.in/ns/ext/midi#MidiEvent> ;
+        lv2:symbol "midi_input" ;
+        lv2:name "MIDI input" ;
+    ] .
""" . ev:EventPort a rdfs:Class ; - rdfs:label "Event port" ; - rdfs:subClassOf lv2:Port ; - rdfs:comment """ + rdfs:label "Event port" ; + rdfs:subClassOf lv2:Port ; + rdfs:comment """ Ports of this type will be connected to a struct of type LV2_Event_Buffer, defined in event.h. These ports contain a sequence of generic events (possibly several types mixed in a single stream), the specific types of @@ -116,8 +116,8 @@ event types whether or not this property is present. ev:supportsEvent a rdf:Property ; rdfs:domain lv2:Port ; rdfs:range ev:Event ; - rdfs:label "Supports event type" ; - rdfs:comment """ + rdfs:label "Supports event type" ; + rdfs:comment """ Indicates that this port supports or "understands" a certain event type. For input ports, this means the plugin understands and does something useful with events of this type. For output ports, this means the plugin may generate @@ -137,8 +137,8 @@ lv2ev:generic property for that port is also set. ev:inheritsEvent a rdf:Property ; rdfs:domain lv2:Port ; rdfs:range lv2:Port ; - rdfs:label "Inherits event type" ; - rdfs:comment """ + rdfs:label "Inherits event type" ; + rdfs:comment """ Indicates that this output port might pass through events that arrived at some other input port (or generate an event of the same type as events arriving at that input). The host must always check the stamp type of all outputs when @@ -149,8 +149,8 @@ connecting an input, but this property should be set whenever it applies. ev:supportsTimeStamp a rdf:Property ; rdfs:domain lv2:Port ; rdfs:range ev:TimeStamp ; - rdfs:label "Supports time stamp type" ; - rdfs:comment """ + rdfs:label "Supports time stamp type" ; + rdfs:comment """ Indicates that this port supports or "understands" a certain time stamp type. Meaningful only for input ports, the host must never connect a port to an event buffer with a time stamp type that isn't supported by the port. @@ -160,8 +160,8 @@ event buffer with a time stamp type that isn't supported by the port. ev:generatesTimeStamp a rdf:Property ; rdfs:domain lv2:Port ; rdfs:range ev:TimeStamp ; - rdfs:label "Outputs time stamp type" ; - rdfs:comment """ + rdfs:label "Outputs time stamp type" ; + rdfs:comment """ Indicates that this port may output a certain time stamp type, regardless of the time stamp type of any input ports. If the port outputs stamps based on what type inputs are connected to, this property should not be set (use the @@ -177,8 +177,8 @@ struct, if it is non-NULL. ev:inheritsTimeStamp a rdf:Property ; rdfs:domain lv2:Port ; rdfs:range lv2:Port ; - rdfs:label "Inherits time stamp type" ; - rdfs:comment """ + rdfs:label "Inherits time stamp type" ; + rdfs:comment """ Indicates that this port follows the time stamp type of an input port. This property is not necessary, but it should be set for outputs that base their output type on an input port so the host can make more sense diff --git a/ext/host-info.lv2/host-info.ttl b/ext/host-info.lv2/host-info.ttl index 8289f02..d19a7a4 100644 --- a/ext/host-info.lv2/host-info.ttl +++ b/ext/host-info.lv2/host-info.ttl @@ -49,11 +49,11 @@ extensions are supported by a given host.

@prefix hi: <http://lv2plug.in/ns/ext/host-info#> . <http://example.org/some-host> a hi:Host ; - doap:name "Foo Rack" ; - hi:supportsExtension [ - hi:extension <http://example.org/some-extension> ; - hi:sinceVersion "1.2.0" - ] . + doap:name "Foo Rack" ; + hi:supportsExtension [ + hi:extension <http://example.org/some-extension> ; + hi:sinceVersion "1.2.0" + ] . """ . diff --git a/ext/pui-gtk.lv2/pui-gtk.ttl b/ext/pui-gtk.lv2/pui-gtk.ttl index 5bce34e..63c8417 100644 --- a/ext/pui-gtk.lv2/pui-gtk.ttl +++ b/ext/pui-gtk.lv2/pui-gtk.ttl @@ -23,13 +23,13 @@ # ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR # OTHER DEALINGS IN THE SOFTWARE. -@prefix pui-gtk: . -@prefix pui: . -@prefix lv2: . -@prefix rdf: . -@prefix rdfs: . -@prefix doap: . -@prefix foaf: . +@prefix gtkui: . +@prefix pui: . +@prefix lv2: . +@prefix rdf: . +@prefix rdfs: . +@prefix doap: . +@prefix foaf: . a lv2:Specification ; doap:license ; @@ -48,7 +48,7 @@ This extension defines an UI type for the in-process UI extension that can be used in a Gtk+ program. """. -pui-gtk:GtkUI a rdfs:Class; +gtkui:GtkUI a rdfs:Class; rdfs:subClassOf pui:UI; rdfs:label "Gtk+ UI"; lv2:documentation """ @@ -63,7 +63,7 @@ LV2_PUI_Descriptor may only be called from the thread that runs the Glib main loop.

""" . -pui-gtk:noHostResize a lv2:Feature; +gtkui:noHostResize a lv2:Feature; rdfs:label "No host resize"; lv2:documentation """

This Feature should only be used with UIs.

diff --git a/ext/time.lv2/time.ttl b/ext/time.lv2/time.ttl index 13a7028..88aa0cf 100644 --- a/ext/time.lv2/time.ttl +++ b/ext/time.lv2/time.ttl @@ -26,9 +26,9 @@ doap:name "LV2 Time" ; doap:maintainer [ a foaf:Person ; - foaf:name "David Robillard" ; + foaf:name "David Robillard" ; foaf:homepage ; - rdfs:seeAlso + rdfs:seeAlso ] ; lv2:documentation """

This extension defines a structure type, LV2_Time_Position, which @@ -39,16 +39,16 @@ tempo and position.

time:Position a rdfs:Class ; - rdfs:label "LV2 time position" ; - lv2:documentation """ + rdfs:label "LV2 time position" ; + lv2:documentation """ Type for an LV2_Time_Position struct. This can be mapped to an integer and used as the type field of an event to indicate that the event payload is an LV2_Time_Positon struct. Plugins can indicate that a port supports time information using the ev:supports predicate, e.g.: 
-	 lv2:port [
-		a ev:EventPort ;
-		ev:supports time:Position
-	]
+     lv2:port [
+        a ev:EventPort ;
+        ev:supports time:Position
+    ]
-""" . \ No newline at end of file +""" . diff --git a/lv2specgen/lv2specgen.py b/lv2specgen/lv2specgen.py index c973d26..78dd530 100755 --- a/lv2specgen/lv2specgen.py +++ b/lv2specgen/lv2specgen.py @@ -47,10 +47,9 @@ import re import xml.sax.saxutils try: - import RDF - import Redland + import rdflib except ImportError: - sys.exit("Error importing Redland bindings for Python (python-librdf)") + sys.exit("Error importing rdflib") # Global Variables classranges = {} @@ -76,43 +75,54 @@ ns_list = { "http://usefulinc.com/ns/doap#" : "doap" } -rdf = RDF.NS('http://www.w3.org/1999/02/22-rdf-syntax-ns#') -rdfs = RDF.NS('http://www.w3.org/2000/01/rdf-schema#') -owl = RDF.NS('http://www.w3.org/2002/07/owl#') -lv2 = RDF.NS('http://lv2plug.in/ns/lv2core#') -doap = RDF.NS('http://usefulinc.com/ns/doap#') -foaf = RDF.NS('http://xmlns.com/foaf/0.1/') +rdf = rdflib.Namespace('http://www.w3.org/1999/02/22-rdf-syntax-ns#') +rdfs = rdflib.Namespace('http://www.w3.org/2000/01/rdf-schema#') +owl = rdflib.Namespace('http://www.w3.org/2002/07/owl#') +lv2 = rdflib.Namespace('http://lv2plug.in/ns/lv2core#') +doap = rdflib.Namespace('http://usefulinc.com/ns/doap#') +foaf = rdflib.Namespace('http://xmlns.com/foaf/0.1/') doc_base = '.' def findStatements(model, s, p, o): - return model.find_statements(RDF.Statement(s, p, o)) - - -def isEnd(s): - return not s.current() + return model.triples([s, p, o]) def findOne(m, s, p, o): l = findStatements(m, s, p, o) - return l.current() + try: + return l.next() + except: + return None def getSubject(s): - return s.subject + return s[0] def getPredicate(s): - return s.predicate + return s[1] def getObject(s): - return s.object + return s[2] def getLiteralString(s): - return s.literal_value['string'] + return s + + +def isResource(n): + return type(n) == rdflib.URIRef + + +def isBlank(n): + return type(n) == rdflib.BNode + + +def isLiteral(n): + return type(n) == rdflib.Literal def niceName(uri): @@ -187,30 +197,29 @@ def rdfsPropertyInfo(term, m): domain = "" # Find subPropertyOf information - o = findStatements(m, term, rdfs.subPropertyOf, None) - if not isEnd(o): - rlist = '' - first = True - for st in o: - k = getTermLink(getObject(st), term, rdfs.subPropertyOf) - rlist += getProperty(k, first) - first = False - doc += "Sub-property of%s" % rlist + rlist = '' + first = True + for st in findStatements(m, term, rdfs.subPropertyOf, None): + k = getTermLink(getObject(st), term, rdfs.subPropertyOf) + rlist += getProperty(k, first) + first = False + if rlist != '': + doc += 'Sub-property of' + rlist # Domain stuff domains = findStatements(m, term, rdfs.domain, None) domainsdoc = "" for d in domains: - collection = findStatements(m, getObject(d), owl.unionOf, None) - if not isEnd(collection): - uris = parseCollection(m, collection) + union = findOne(m, getObject(d), owl.unionOf, None) + if union: + uris = parseCollection(m, getObject(union)) first = True for uri in uris: domainsdoc += getProperty(getTermLink(uri, term, rdfs.domain), first) - add(classdomains, uri, term.uri) + add(classdomains, uri, term) first = False else: - if not getObject(d).is_blank(): + if not isBlank(getObject(d)): domainsdoc += getProperty(getTermLink(getObject(d), term, rdfs.domain)) if (len(domainsdoc) > 0): doc += "Domain%s" % domainsdoc @@ -219,16 +228,16 @@ def rdfsPropertyInfo(term, m): ranges = findStatements(m, term, rdfs.range, None) rangesdoc = "" for r in ranges: - collection = findStatements(m, getObject(r), owl.unionOf, None) - if not isEnd(collection): - uris = parseCollection(m, collection) + union = findOne(m, getObject(r), owl.unionOf, None) + if union: + uris = parseCollection(m, getObject(union)) first = True for uri in uris: rangesdoc += getProperty(getTermLink(uri, term, rdfs.range), first) - add(classranges, uri, term.uri) + add(classranges, uri, term) first = False else: - if not getObject(r).is_blank(): + if not isBlank(getObject(r)): rangesdoc += getProperty(getTermLink(getObject(r), term, rdfs.range)) if (len(rangesdoc) > 0): doc += "Range%s" % rangesdoc @@ -236,17 +245,17 @@ def rdfsPropertyInfo(term, m): return doc -def parseCollection(model, collection): +def parseCollection(model, node): uris = [] - rdflist = findStatements(model, collection.current().object, None, None) - while (not isEnd(rdflist)) and (not rdflist.current().object.is_blank()): - one = rdflist.current() - if not one.object.is_blank(): - uris.append(str(one.object.uri)) - rdflist.next() - one = rdflist.current() - if getPredicate(one) == rdf.rest: - rdflist = findStatements(model, one.object, None, None) + + while node: + first = findOne(model, node, rdf.first, None) + rest = findOne(model, node, rdf.rest, None) + if not first or not rest: + break; + + uris.append(getObject(first)) + node = getObject(rest) return uris @@ -272,7 +281,7 @@ def rdfsClassInfo(term, m): restrictions = [] superclasses = [] for st in findStatements(m, term, rdfs.subClassOf, None): - if not getObject(st).is_blank(): + if not isBlank(getObject(st)): uri = getObject(st) if not uri in superclasses: superclasses.append(uri) @@ -313,10 +322,10 @@ def rdfsClassInfo(term, m): if getPredicate(p) != last_pred: prop_str += '%s\n' % getTermLink(getPredicate(p)) first = True - if getObject(p).is_resource(): + if isResource(getObject(p)): prop_str += getProperty(getTermLink(getObject(p)), first) first = False - elif getObject(p).is_literal(): + elif isLiteral(getObject(p)): prop_str += getProperty(getLiteralString(getObject(p)), first) first = False @@ -367,12 +376,12 @@ def blankNodeDesc(node, m): continue doc += '' doc += '%s\n' % getTermLink(getPredicate(p)) - if getObject(p).is_resource(): + if isResource(getObject(p)): doc += '%s\n' % getTermLink(getObject(p)) - # getTermLink(str(getObject(p).uri), node, getPredicate(p)) - elif getObject(p).is_literal(): + # getTermLink(str(getObject(p)), node, getPredicate(p)) + elif isLiteral(getObject(p)): doc += '%s\n' % getLiteralString(getObject(p)) - elif getObject(p).is_blank(): + elif isBlank(getObject(p)): doc += '' + blankNodeDesc(getObject(p), m) + '\n' else: doc += '?\n' @@ -395,11 +404,11 @@ def extraInfo(term, m): if getPredicate(p) != last_pred: doc += '%s\n' % getTermLink(getPredicate(p)) first = True - if getObject(p).is_resource(): + if isResource(getObject(p)): doc += getProperty(getTermLink(getObject(p), term, getPredicate(p)), first) - elif getObject(p).is_literal(): + elif isLiteral(getObject(p)): doc += getProperty(str(getObject(p)), first) - elif getObject(p).is_blank(): + elif isBlank(getObject(p)): doc += getProperty(str(blankNodeDesc(getObject(p), m)), first) else: doc += getProperty('?', first) @@ -415,17 +424,17 @@ def rdfsInstanceInfo(term, m): """Generate rdfs-type information for instances""" doc = "" - t = findStatements(m, term, rdf.type, None) - if not isEnd(t): - doc += "Type" first = True - for match in t: + for match in findStatements(m, term, rdf.type, None): doc += getProperty(getTermLink(getObject(match), term, rdf.type), first) first = False + if doc != "": + doc = "Type" + doc + doc += endProperties(first) doc += extraInfo(term, m) @@ -437,18 +446,16 @@ def owlInfo(term, m): res = '' # Inverse properties ( owl:inverseOf ) - o = findStatements(m, term, owl.inverseOf, None) - if not isEnd(o): - res += "Inverse:\n" - first = True - for st in o: - res += getProperty(getTermLink(getObject(st)), first) - first = False + first = True + for st in findStatements(m, term, owl.inverseOf, None): + res += getProperty(getTermLink(getObject(st)), first) + first = False + if res != "": res += endProperties(first) + res = "Inverse:\n" + res def owlTypeInfo(term, propertyType, name): - o = findStatements(m, term, rdf.type, propertyType) - if not isEnd(o): + if findOne(m, term, rdf.type, propertyType): return "OWL Type%s\n" % name else: return "" @@ -486,10 +493,7 @@ def docTerms(category, list, m): term = spec_ns[t] curie = "%s:%s" % (nspre, t) - try: - term_uri = term.uri - except: - term_uri = term + term_uri = term doc += """
\n

%s %s

\n""" % (t, term_uri, category, getAnchor(str(term_uri)), curie) @@ -564,7 +568,7 @@ def buildIndex(m, classlist, proplist, instalist=None): for c in classlist: if c in shown: continue - if not isEnd(findStatements(m, c, rdfs.subClassOf, None)): + if findOne(m, c, rdfs.subClassOf, None): continue shown[c] = True name = termName(m, c) @@ -574,15 +578,13 @@ def buildIndex(m, classlist, proplist, instalist=None): def class_tree(c): tree = '' shown[c] = True - statements = findStatements(m, None, rdfs.subClassOf, c) - if not isEnd(statements): - tree += '
    ' - for s in statements: - s_name = termName(m, getSubject(s)) - tree += '
  • %s\n' % (s_name, s_name) - tree += class_tree(getSubject(s)) - tree += '
    • ' - tree += '
' + for s in findStatements(m, None, rdfs.subClassOf, c): + s_name = termName(m, getSubject(s)) + tree += '
  • %s\n' % (s_name, s_name) + tree += class_tree(getSubject(s)) + tree += '
    • ' + if tree != '': + tree = '
      ' + tree + '
    ' return tree azlist += class_tree(c) azlist += '' @@ -632,16 +634,16 @@ def specInformation(m, ns): for onetype in classtypes: for classStatement in findStatements(m, None, rdf.type, onetype): for range in findStatements(m, None, rdfs.range, getSubject(classStatement)): - if not getSubject(classStatement).is_blank(): + if not isBlank(getSubject(classStatement)): add(classranges, str(getSubject(classStatement)), str(getSubject(range))) for domain in findStatements(m, None, rdfs.domain, getSubject(classStatement)): - if not getSubject(classStatement).is_blank(): + if not isBlank(getSubject(classStatement)): add(classdomains, str(getSubject(classStatement)), str(getSubject(domain))) - if not getSubject(classStatement).is_blank(): + if not isBlank(getSubject(classStatement)): klass = getSubject(classStatement) if klass not in classlist and str(klass).startswith(ns): classlist.append(klass) @@ -661,7 +663,7 @@ def specInformation(m, ns): def specProperty(m, subject, predicate): "Return a property of the spec." for c in findStatements(m, None, predicate, None): - if getSubject(c).is_resource() and str(getSubject(c)) == str(subject): + if isResource(getSubject(c)) and str(getSubject(c)) == str(subject): return getLiteralString(getObject(c)) return '' @@ -670,7 +672,7 @@ def specProperties(m, subject, predicate): "Return a property of the spec." properties = [] for c in findStatements(m, None, predicate, None): - if getSubject(c).is_resource() and str(getSubject(c)) == str(subject): + if isResource(getSubject(c)) and str(getSubject(c)) == str(subject): properties += [getObject(c)] return properties @@ -746,13 +748,13 @@ def getInstances(model, classes, properties): instances = [] for c in classes: for i in findStatements(model, None, rdf.type, c): - if not getSubject(i).is_resource(): + if not isResource(getSubject(i)): continue inst = getSubject(i) if inst not in instances and str(inst) != spec_url: instances.append(inst) for i in findStatements(model, None, rdf.type, None): - if ((not getSubject(i).is_resource()) + if ((not isResource(getSubject(i))) or (getSubject(i) in classes) or (getSubject(i) in instances) or (getSubject(i) in properties)): @@ -779,19 +781,12 @@ def specgen(specloc, docdir, template, doclinks, instances=False, mode="spec"): linkmap[sym] = '%s' % ( os.path.join(doc_base, url), sym) - m = RDF.Model() + m = rdflib.ConjunctiveGraph() try: base = specloc[0:specloc.rfind('/')] - - # Parse manifest.ttl manifest_path = os.path.join(base, 'manifest.ttl') - p = RDF.Parser(name="guess") - p.parse_into_model(m, manifest_path) - - # Parse ontology file - p = RDF.Parser(name="guess") - p.parse_into_model(m, specloc) - + m.parse(manifest_path, format='n3') + m.parse(specloc, format='n3') except: e = sys.exc_info()[1] print('Error reading ontology: ' + str(e)) @@ -803,9 +798,9 @@ def specgen(specloc, docdir, template, doclinks, instances=False, mode="spec"): if (spec_ns_str[-1] != "/" and spec_ns_str[-1] != "#"): spec_ns_str += "#" - spec_ns = RDF.NS(spec_ns_str) + spec_ns = rdflib.Namespace(spec_ns_str) - namespaces = getNamespaces(p) + namespaces = getNamespaces(m) keys = namespaces.keys() keys.sort() prefixes_html = "" @@ -901,7 +896,7 @@ def specgen(specloc, docdir, template, doclinks, instances=False, mode="spec"): template = template.replace('@FILES@', other_files) - comment = getComment(m, RDF.Uri(spec_url)) + comment = getComment(m, rdflib.URIRef(spec_url)) if comment != '': template = template.replace('@COMMENT@', comment) else: @@ -923,17 +918,10 @@ def save(path, text): print('Error writing to file "' + path + '": ' + str(e)) -def getNamespaces(parser): +def getNamespaces(m): """Return a prefix:URI dictionary of all namespaces seen during parsing""" - count = Redland.librdf_parser_get_namespaces_seen_count(parser._parser) nspaces = {} - for index in range(0, count): - prefix = Redland.librdf_parser_get_namespaces_seen_prefix(parser._parser, index) - uri_obj = Redland.librdf_parser_get_namespaces_seen_uri(parser._parser, index) - if uri_obj is None: - uri = None - else: - uri = RDF.Uri(from_object=uri_obj) + for prefix, uri in m.namespaces(): nspaces[prefix] = uri return nspaces @@ -942,7 +930,7 @@ def getOntologyNS(m): ns = None s = findOne(m, None, rdf.type, lv2.Specification) if s: - if (not getSubject(s).is_blank()): + if not isBlank(getSubject(s)): ns = str(getSubject(s)) if (ns == None): -- cgit v1.2.1