equal
deleted
inserted
replaced
87 ); |
87 ); |
88 //TODO: return null if not found |
88 //TODO: return null if not found |
89 if($doc->isEmpty()) { |
89 if($doc->isEmpty()) { |
90 return null; |
90 return null; |
91 } |
91 } |
|
92 //print($doc->dump()); |
92 |
93 |
93 // clone the graph to force the URI |
94 // clone the graph to force the URI |
94 $DocumentKlass = $short?DocumentResult::class:Document::class; |
95 $DocumentKlass = $short?DocumentResult::class:Document::class; |
95 return new $DocumentKlass($docUri, new Graph($docUri, $doc->toRdfPhp())); |
96 return new $DocumentKlass($docUri, new Graph($docUri, $doc->toRdfPhp())); |
96 |
97 |