[m-rev.] for review: move xml browser test to debugger/declarative
Ian MacLarty
maclarty at cs.mu.OZ.AU
Fri Apr 8 12:43:40 AEST 2005
For review by anyone.
Estimated hours taken: 0.5
Branches: main
Move the test of the xml browser in the declarative debugger from the debugger
directory to the debugger/declarative directory. The declarative debugger does
not work in non gc grades and the debugger tests are run in non gc grades. The
debugger/declarative tests are not, however, run in non gc grades.
tests/debugger/browser_test.exp:
tests/debugger/browser_test.inp:
tests/debugger/declarative/browse_arg.exp:
tests/debugger/declarative/browse_arg.inp:
Move the dd xml browser test from debugger/browser_test to
debugger/declarative/browse_arg.
Index: tests/debugger/browser_test.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/browser_test.exp,v
retrieving revision 1.23
diff -u -r1.23 browser_test.exp
--- tests/debugger/browser_test.exp 22 Feb 2005 22:27:49 -0000 1.23
+++ tests/debugger/browser_test.exp 1 Apr 2005 03:35:08 -0000
@@ -166,79 +166,6 @@
<small functor="small" type="browser_test.big" arity="0" />
</big>
</big>
-mdb> dd
-big_data(big(big(big/3, 2, small), 3, big(big/3, 6, small)))
-Valid? browse --xml 1
-Saving term to XML file...
-Launching XML browser (this may take some time) ...
-<?xml version="1.0"?>
-<big functor="big" type="browser_test.big" arity="3">
- <big functor="big" type="browser_test.big" arity="3">
- <big functor="big" type="browser_test.big" arity="3">
- <small functor="small" type="browser_test.big" arity="0" />
- <Int type="int">1</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- <Int type="int">2</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- <Int type="int">3</Int>
- <big functor="big" type="browser_test.big" arity="3">
- <big functor="big" type="browser_test.big" arity="3">
- <small functor="small" type="browser_test.big" arity="0" />
- <Int type="int">4</Int>
- <big functor="big" type="browser_test.big" arity="3">
- <small functor="small" type="browser_test.big" arity="0" />
- <Int type="int">5</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- </big>
- <Int type="int">6</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
-</big>
-big_data(big(big(big/3, 2, small), 3, big(big/3, 6, small)))
-Valid? b -x
-Saving term to XML file...
-Launching XML browser (this may take some time) ...
-<?xml version="1.0"?>
-<predicate functor="predicate" type="mdb.browse.xml_predicate_wrapper" arity="2">
- <String type="string" field="predicate_name">browser_test.big_data</String>
- <List functor="[|]" field="predicate_arguments" type="list.list(std_util.univ)" arity="2">
- <univ_cons functor="univ_cons" type="std_util.univ" arity="1">
- <big functor="big" type="browser_test.big" arity="3">
- <big functor="big" type="browser_test.big" arity="3">
- <big functor="big" type="browser_test.big" arity="3">
- <small functor="small" type="browser_test.big" arity="0" />
- <Int type="int">1</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- <Int type="int">2</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- <Int type="int">3</Int>
- <big functor="big" type="browser_test.big" arity="3">
- <big functor="big" type="browser_test.big" arity="3">
- <small functor="small" type="browser_test.big" arity="0" />
- <Int type="int">4</Int>
- <big functor="big" type="browser_test.big" arity="3">
- <small functor="small" type="browser_test.big" arity="0" />
- <Int type="int">5</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- </big>
- <Int type="int">6</Int>
- <small functor="small" type="browser_test.big" arity="0" />
- </big>
- </big>
- </univ_cons>
- <Nil functor="[]" type="list.list(std_util.univ)" arity="0" />
- </List>
-</predicate>
-big_data(big(big(big/3, 2, small), 3, big(big/3, 6, small)))
-Valid? abort
-Diagnosis aborted.
- E3: C2 EXIT pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20)
mdb> set -A -f depth 1
mdb> print *
Data (arg 1) big(big/3, 3, big/3)
Index: tests/debugger/browser_test.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/browser_test.inp,v
retrieving revision 1.13
diff -u -r1.13 browser_test.inp
--- tests/debugger/browser_test.inp 22 Feb 2005 22:27:49 -0000 1.13
+++ tests/debugger/browser_test.inp 1 Apr 2005 03:31:19 -0000
@@ -40,10 +40,6 @@
set xml_browser_cmd 'cat ./browser_test.xml.out'
browse --xml 1
browse -x Data
-dd
-browse --xml 1
-b -x
-abort
set -A -f depth 1
print *
print Data/1
Index: tests/debugger/declarative/browse_arg.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/browse_arg.exp,v
retrieving revision 1.5
diff -u -r1.5 browse_arg.exp
--- tests/debugger/declarative/browse_arg.exp 5 Nov 2004 06:30:21 -0000 1.5
+++ tests/debugger/declarative/browse_arg.exp 8 Apr 2005 02:37:15 -0000
@@ -9,6 +9,8 @@
mdb> finish
3: 2 2 EXIT pred browse_arg.p/2-0 (det) browse_arg.m:19 (browse_arg.m:8)
mdb> set depth 10
+mdb> set xml_browser_cmd 'cat ./browse_arg.xml.out'
+mdb> set xml_tmp_filename './browse_arg.xml.out'
mdb> dd
p(1, baz(1, bar))
Valid? browse 2
@@ -31,6 +33,37 @@
2-bar
Valid? set -P format pretty
+p(1, baz(1, bar))
+Valid? b -x 2
+Saving term to XML file...
+Launching XML browser (this may take some time) ...
+<?xml version="1.0"?>
+<baz functor="baz" type="browse_arg.foo" arity="2">
+ <Int type="int">1</Int>
+ <bar functor="bar" type="browse_arg.foo" arity="0" />
+</baz>
+p(1, baz(1, bar))
+Valid? b --xml
+Saving term to XML file...
+Launching XML browser (this may take some time) ...
+<?xml version="1.0"?>
+<predicate functor="predicate" type="mdb.browse.xml_predicate_wrapper" arity="2">
+ <String type="string" field="predicate_name">browse_arg.p</String>
+ <List functor="[|]" field="predicate_arguments" type="list.list(std_util.univ)" arity="2">
+ <univ_cons functor="univ_cons" type="std_util.univ" arity="1">
+ <Int type="int">1</Int>
+ </univ_cons>
+ <List functor="[|]" type="list.list(std_util.univ)" arity="2">
+ <univ_cons functor="univ_cons" type="std_util.univ" arity="1">
+ <baz functor="baz" type="browse_arg.foo" arity="2">
+ <Int type="int">1</Int>
+ <bar functor="bar" type="browse_arg.foo" arity="0" />
+ </baz>
+ </univ_cons>
+ <Nil functor="[]" type="list.list(std_util.univ)" arity="0" />
+ </List>
+ </List>
+</predicate>
p(1, baz(1, bar))
Valid? no
Found incorrect contour:
Index: tests/debugger/declarative/browse_arg.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/browse_arg.inp,v
retrieving revision 1.3
diff -u -r1.3 browse_arg.inp
--- tests/debugger/declarative/browse_arg.inp 5 Nov 2004 06:30:21 -0000 1.3
+++ tests/debugger/declarative/browse_arg.inp 8 Apr 2005 02:35:45 -0000
@@ -4,6 +4,8 @@
continue
finish
set depth 10
+set xml_browser_cmd 'cat ./browse_arg.xml.out'
+set xml_tmp_filename './browse_arg.xml.out'
dd
browse 2
ls
@@ -11,6 +13,8 @@
set format verbose
set -B format pretty
set -P format pretty
+b -x 2
+b --xml
no
yes
continue
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list