55 lines
2.1 KiB
Plaintext
55 lines
2.1 KiB
Plaintext
|
delete database mytestdb;
|
||
|
|
|
||
|
|
#setup Forall2Test StandardAlgebra RelationAlgebra
|
||
|
|
create database mytestdb;
|
||
|
|
open database mytestdb;
|
||
|
|
|
||
|
|
# now define some common surfaces and volumes for setops testcases
|
||
|
|
let emptyvolume = [const volume3d value ()];
|
||
|
|
|
||
|
|
let emptysurface = [const surface3d value ()];
|
||
|
|
|
||
|
|
let undefvolume = [const volume3d value undefined];
|
||
|
|
|
||
|
|
let undefsurface = [const surface3d value undefined];
|
||
|
|
|
||
|
|
let cube = [const volume3d value (((0.0 1.0 0.0) (1.0 1.0 0.0) (1.0 0.0 0.0))
|
||
|
|
((1.0 0.0 0.0) (0.0 0.0 0.0) (0.0 1.0 0.0))
|
||
|
|
((0.0 0.0 1.0) (1.0 0.0 1.0) (1.0 1.0 1.0))
|
||
|
|
((1.0 1.0 1.0) (0.0 1.0 1.0) (0.0 0.0 1.0))
|
||
|
|
((0.0 0.0 0.0) (1.0 0.0 0.0) (1.0 0.0 1.0))
|
||
|
|
((1.0 0.0 1.0) (0.0 0.0 1.0) (0.0 0.0 0.0))
|
||
|
|
((1.0 0.0 0.0) (1.0 1.0 0.0) (1.0 1.0 1.0))
|
||
|
|
((1.0 1.0 1.0) (1.0 0.0 1.0) (1.0 0.0 0.0))
|
||
|
|
((1.0 1.0 0.0) (0.0 1.0 0.0) (0.0 1.0 1.0))
|
||
|
|
((0.0 1.0 1.0) (1.0 1.0 1.0) (1.0 1.0 0.0))
|
||
|
|
((0.0 1.0 0.0) (0.0 0.0 0.0) (0.0 0.0 1.0))
|
||
|
|
((0.0 0.0 1.0) (0.0 1.0 1.0) (0.0 1.0 0.0)))];
|
||
|
|
|
||
|
|
let square = [const surface3d value (((0.0 1.0 0.0) (1.0 1.0 0.0) (1.0 0.0 0.0))
|
||
|
|
((1.0 0.0 0.0) (0.0 0.0 0.0) (0.0 1.0 0.0)))];
|
||
|
|
|
||
|
|
let square2 = [const surface3d value (((0.0 2.0 0.0) (2.0 2.0 0.0) (2.0 0.0 0.0))
|
||
|
|
((2.0 0.0 0.0) (0.0 0.0 0.0) (0.0 2.0 0.0)))];
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
# here we have some crashes...
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
#testcase importSTLcrash
|
||
|
|
#yields success
|
||
|
|
query importSTL('./testfiles/vampireSmall.stl');
|
||
|
|
|
||
|
|
#testcase union-sur_sur_sur2
|
||
|
|
#yields (surface3d value (((0.0 2.0 0.0) (2.0 2.0 0.0) (2.0 0.0 0.0)) ((2.0 0.0 0.0) (0.0 0.0 0.0) (0.0 2.0 0.0))))
|
||
|
|
query square union square2;
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
#teardown
|
||
|
|
close database;
|
||
|
|
delete database mytestdb;
|