From 477823c21e4898af2ec33826c4749bfd5e924594 Mon Sep 17 00:00:00 2001
From: Jose Emilio Labra Gayo <jelabra@gmail.com>
Date: Sun, 21 Apr 2024 10:00:37 +0200
Subject: [PATCH] Updated dependency on srdf and bumped to 0.2.33

---
 build.sbt                          |  2 +-
 examples/extends/figures.shex      | 48 ++++++++++++++++++++++++++++++
 examples/extends/figures.sm        |  5 ++++
 examples/extends/figures.ttl       | 28 +++++++++++++++++
 project/metals.sbt                 |  4 ++-
 project/project/metals.sbt         |  4 ++-
 project/project/project/metals.sbt |  4 ++-
 version.sbt                        |  2 +-
 8 files changed, 92 insertions(+), 5 deletions(-)
 create mode 100644 examples/extends/figures.shex
 create mode 100644 examples/extends/figures.sm
 create mode 100644 examples/extends/figures.ttl

diff --git a/build.sbt b/build.sbt
index d2358363..42855d7f 100644
--- a/build.sbt
+++ b/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"
 
diff --git a/examples/extends/figures.shex b/examples/extends/figures.shex
new file mode 100644
index 00000000..c73d4e57
--- /dev/null
+++ b/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
+}
\ No newline at end of file
diff --git a/examples/extends/figures.sm b/examples/extends/figures.sm
new file mode 100644
index 00000000..86aa6cb6
--- /dev/null
+++ b/examples/extends/figures.sm
@@ -0,0 +1,5 @@
+# :origin@<Figure2D>,
+# :bad1@<Figure2D>,
+# :redCircle@<ColoredFigure>,
+# :origin@<CenteredFigure>
+:01@<CenteredFigure>
\ No newline at end of file
diff --git a/examples/extends/figures.ttl b/examples/extends/figures.ttl
new file mode 100644
index 00000000..5af5fb81
--- /dev/null
+++ b/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 .
\ No newline at end of file
diff --git a/project/metals.sbt b/project/metals.sbt
index 05fd2b38..aaf3382f 100644
--- a/project/metals.sbt
+++ b/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
diff --git a/project/project/metals.sbt b/project/project/metals.sbt
index 05fd2b38..aaf3382f 100644
--- a/project/project/metals.sbt
+++ b/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
diff --git a/project/project/project/metals.sbt b/project/project/project/metals.sbt
index 05fd2b38..aaf3382f 100644
--- a/project/project/project/metals.sbt
+++ b/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
diff --git a/version.sbt b/version.sbt
index 48d0052b..007e6b01 100644
--- a/version.sbt
+++ b/version.sbt
@@ -1 +1 @@
-ThisBuild / version := "0.2.32"
+ThisBuild / version := "0.2.33"