[MOD] SeqType instance checks: faster shortcut

ChristianGruen · ChristianGruen · commit b4e783556416 · 2025-12-20T13:35:58.000+01:00
diff --git a/basex-core/src/main/java/org/basex/query/value/type/SeqType.java b/basex-core/src/main/java/org/basex/query/value/type/SeqType.java
@@ -147,8 +147,7 @@ private boolean instance(final Value value, final boolean coerce) {
 
     // try shortcut (type of value may be specific enough)
     if(!(coerce && type instanceof FType || type instanceof ChoiceItemType)) {
-      final SeqType st = value.seqType();
-      if(st.type.instanceOf(type) && st.testInstanceOf(this)) return true;
+      if(value.type.instanceOf(type) && test == null) return true;
     }
     // check single item
     if(size == 1) return instance((Item) value, coerce);

Original file line number	Diff line number	Diff line change
`@@ -147,8 +147,7 @@ private boolean instance(final Value value, final boolean coerce) {`
`147`	`147`
`148`	`148`	`// try shortcut (type of value may be specific enough)`
`149`	`149`	`if(!(coerce && type instanceof FType \|\| type instanceof ChoiceItemType)) {`
`150`		`- final SeqType st = value.seqType();`
`151`		`- if(st.type.instanceOf(type) && st.testInstanceOf(this)) return true;`
	`150`	`+ if(value.type.instanceOf(type) && test == null) return true;`
`152`	`151`	`}`
`153`	`152`	`// check single item`
`154`	`153`	`if(size == 1) return instance((Item) value, coerce);`