|
#@local S,f,r
gap> START_TEST("bound.tst");
gap> S := SymmetricGroup(2);;
gap> IsBound(S!.cheese);
false
gap> IsBound(S!.Size);
true
gap> f := ({} -> IsBound(S!.cheese) );; f();
false
gap> f := ({} -> IsBound(S!.Size) );; f();
true
gap> r := rec(a := 2, b := fail);;
gap> IsBound(r.a);
true
gap> IsBound(r.b);
true
gap> IsBound(r.c);
false
gap> f := ({} -> IsBound(r.a) );; f();
true
gap> f := ({} -> IsBound(r.b) );; f();
true
gap> f := ({} -> IsBound(r.c) );; f();
false
gap> f := ({} -> IsBound(BADVARNAME) );; f();
false
gap> f := ({} -> IsBound(BADVARNAME.BADRECNAME) );;
gap> f();
Error, Variable: 'BADVARNAME' must have an assigned value
gap> f := ({} -> BADVARNAME );;
Syntax warning: Unbound global variable in stream:1
f := ({} -> BADVARNAME );;
^^^^^^^^^^
gap> f();
Error, Variable: 'BADVARNAME' must have an assigned value
gap> f := ({} -> IsBound(BADVARNAME[BADLISTNAME]) );;
Syntax warning: Unbound global variable in stream:1
f := ({} -> IsBound(BADVARNAME[BADLISTNAME]) );;
^^^^^^^^^^^
gap> f();
Error, Variable: 'BADVARNAME' must have an assigned value
# Printing IsBound statements
gap> Display(function(l,n) return IsBound(l[n]);end);
function ( l, n )
return IsBound( l[n] );
end
gap> Display(function(l,n) return IsBound(l.(n));end);
function ( l, n )
return IsBound( l.(n) );
end
gap> STOP_TEST("bound.tst");
[ Dauer der Verarbeitung: 0.38 Sekunden
(vorverarbeitet)
]
|
