feat: introduce XMLFilterImplRefinements interface for state-based XML filter refinement strategies

pcanelas · pcanelas · commit e4c11151acf8 · 2026-01-19T16:59:00.000Z
diff --git a/examples/demo/src/main/java/com/barista/xmlfilterimpl/XMLFilterImplRefinements.java b/examples/demo/src/main/java/com/barista/xmlfilterimpl/XMLFilterImplRefinements.java
@@ -0,0 +1,41 @@
+package com.barista.xmlfilterimpl;
+
+import org.xml.sax.InputSource;
+import org.xml.sax.XMLReader;
+
+import liquidjava.specification.StateSet;
+import liquidjava.specification.StateRefinement;
+import liquidjava.specification.ExternalRefinementsFor;
+
+@StateSet({"parentless", "withparent"})
+@ExternalRefinementsFor("org.xml.sax.helpers.XMLFilterImpl")
+public interface XMLFilterImplRefinements {
+    // Constructors
+    @StateRefinement(to="parentless(this)")
+    public void XMLFilterImpl();
+
+    @StateRefinement(to="withparent(this)")
+    public void XMLFilterImpl(XMLReader parent);
+
+    // Methods
+    @StateRefinement(from="parentless(this) || withparent(this)", to="withparent(this)")
+    public void setParent(XMLReader parent);
+
+    @StateRefinement(from="withparent(this)", to="withparent(this)")
+    public void setProperty(String name, Object value);
+
+    @StateRefinement(from="withparent(this)", to="withparent(this)")
+    public Object getProperty(String name);
+
+    @StateRefinement(from="withparent(this)", to="withparent(this)")
+    public void setFeature(String name, boolean value);
+
+    @StateRefinement(from="withparent(this)", to="withparent(this)")
+    public boolean getFeature(String name);
+
+    @StateRefinement(from="withparent(this)", to="withparent(this)")
+    public void parse(InputSource input);
+
+    @StateRefinement(from="withparent(this)", to="withparent(this)")
+    public void parse(String systemId);
+}
diff --git a/examples/demo/src/main/java/com/barista/xmlfilterimpl/XMLFilterImplTest.java b/examples/demo/src/main/java/com/barista/xmlfilterimpl/XMLFilterImplTest.java
@@ -0,0 +1,18 @@
+package com.barista.xmlfilterimpl;
+
+import org.xml.sax.SAXNotRecognizedException;
+import org.xml.sax.SAXNotSupportedException;
+import org.xml.sax.helpers.XMLFilterImpl;
+
+public class XMLFilterImplTest {
+    
+    public void test1() throws SAXNotRecognizedException, SAXNotSupportedException {
+        XMLFilterImpl xml = new XMLFilterImpl();
+        xml.setProperty("key", null);
+    }
+
+    public void test2() throws SAXNotRecognizedException, SAXNotSupportedException {
+        XMLFilterImpl xml = new XMLFilterImpl(null);
+        xml.setProperty("key", null);
+    }
+}
