Sparql smith: Fixes PropertyListPath generation

pull/417/head
Tpt 2 years ago committed by Thomas Tanon
parent 53edaf9d11
commit 9d6b72e9c4
  1. 4
      lib/sparql-smith/src/lib.rs

@ -845,7 +845,7 @@ impl fmt::Display for PropertyListPath {
#[derive(Arbitrary)] #[derive(Arbitrary)]
struct PropertyListPathNotEmpty { struct PropertyListPathNotEmpty {
// [83] PropertyListPathNotEmpty ::= ( VerbPath | VerbSimple ) ObjectListPath ( ';' ( ( VerbPath | VerbSimple ) ObjectList )? )* // [83] PropertyListPathNotEmpty ::= ( VerbPath | VerbSimple ) ObjectListPath ( ';' ( ( VerbPath | VerbSimple ) ObjectListPath )? )*
start_predicate: PropertyListPathNotEmptyVerb, start_predicate: PropertyListPathNotEmptyVerb,
start_object: Box<ObjectListPath>, start_object: Box<ObjectListPath>,
others: Vec<Option<PropertyListPathElement>>, others: Vec<Option<PropertyListPathElement>>,
@ -860,7 +860,7 @@ enum PropertyListPathNotEmptyVerb {
#[derive(Arbitrary)] #[derive(Arbitrary)]
struct PropertyListPathElement { struct PropertyListPathElement {
predicate: PropertyListPathNotEmptyVerb, predicate: PropertyListPathNotEmptyVerb,
object: ObjectList, object: ObjectListPath,
} }
impl fmt::Display for PropertyListPathNotEmpty { impl fmt::Display for PropertyListPathNotEmpty {

Loading…
Cancel
Save