Updated dependency on srdf and bumped to 0.2.33

build.sbt

@@ -9,7 +9,7 @@ lazy val supportedScalaVersions = List(
 
 val Java11 = JavaSpec.temurin("11") 
 
-lazy val srdfVersion = "0.1.122"
+lazy val srdfVersion = "0.1.125"
 lazy val utilsVersion = "0.2.25"
 lazy val documentVersion = "0.0.34"
 

examples/extends/figures.shex

@@ -0,0 +1,48 @@
+prefix :       <http://example.org/>
+prefix xsd:    <http://www.w3.org/2001/XMLSchema#>
+prefix schema: <http://schema.org/>
+
+abstract <Figure> {
+ :component @<Label>
+}
+
+<Label> {
+  :type [ :Label ] ;
+  :value xsd:string ;
+}
+
+<Figure2D> extends @<Figure> {
+  :component @<PosX> ;
+  :component @<PosY>
+}
+
+<PosX> {
+  :type [ :Coord ] ;
+  :axis [ :X ] ;
+  :value xsd:integer
+}
+
+<PosY> {
+  :type [ :Coord ] ;
+  :axis [ :Y ] ;
+  :value xsd:integer
+}
+
+<ColoredFigure> extends @<Figure> {
+  :component @<Color>
+}
+
+<Color> {
+  :type [ :Color ];
+  :value [:Red :Green :Blue ]
+}
+
+<CenteredFigure> @<Figure2D> AND {
+  :component @<PosX> AND { :value [ 0 ]};
+  :component @<PosY> AND { :value [ 0 ]};
+  :component . *
+}
+
+<Circle> extends @<Figure2D> extends @<ColoredFigure> {
+  :radius xsd:integer
+}

examples/extends/figures.sm

@@ -0,0 +1,5 @@
+# :origin@<Figure2D>,
+# :bad1@<Figure2D>,
+# :redCircle@<ColoredFigure>,
+# :origin@<CenteredFigure>
+:01@<CenteredFigure>

examples/extends/figures.ttl

@@ -0,0 +1,28 @@
+prefix :       <http://example.org/>
+prefix xsd:    <http://www.w3.org/2001/XMLSchema#>
+
+:origin :component 
+    [ :type :Label; :value "Origin" ] ,
+    [ :type :Coord; :value 0; :axis :X ] ,
+    [ :type :Coord; :value 0; :axis :Y ] .
+
+:01 :component 
+    [ :type :Label; :value "Origin" ] ,
+    [ :type :Coord; :value 0; :axis :X ] ,
+    [ :type :Coord; :value 1; :axis :Y ] .
+
+:bad1 :component 
+    [ :type :Label; :value "Origin" ] ,
+    [ :type :Coord; :value 0; :axis :X ] ,
+    [ :type :Coord; :value 1; :axis :X ] ,
+    [ :type :Coord; :value 0; :axis :Y ] .
+
+:bad2 :component     
+    [ :type :Label; :value "Unspecified" ] .
+
+:redCircle :component 
+    [ :type :Label; :value "Red circle" ] ,
+    [ :type :Coord; :value 3; :axis :X ] ,
+    [ :type :Coord; :value 4; :axis :Y ] ,
+    [ :type :Color; :value :Red ] ;
+    :radius 4 .

project/metals.sbt

@@ -1,6 +1,8 @@
+// format: off
 // DO NOT EDIT! This file is auto-generated.
 
 // This file enables sbt-bloop to create bloop config files.
 
-addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.6")
+addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.17")
 
+// format: on

project/project/metals.sbt

@@ -1,6 +1,8 @@
+// format: off
 // DO NOT EDIT! This file is auto-generated.
 
 // This file enables sbt-bloop to create bloop config files.
 
-addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.6")
+addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.17")
 
+// format: on

project/project/project/metals.sbt

@@ -1,6 +1,8 @@
+// format: off
 // DO NOT EDIT! This file is auto-generated.
 
 // This file enables sbt-bloop to create bloop config files.
 
-addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.6")
+addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.5.17")
 
+// format: on

version.sbt

@@ -1 +1 @@
-ThisBuild / version := "0.2.32"
+ThisBuild / version := "0.2.33"