| (: Name: optiondeclprolog-1 :) | |
| (: Description: Evaluation of a simple prolog option declaration.:) | |
| declare namespace exq = "http://example.org/XQueryImplementation"; | |
| declare option exq:java-class "math = java.lang.Math"; | |
| (: insert-start :) | |
| declare variable $input-context1 external; | |
| (: insert-end :) | |
| "aaa" |