FUNCTION check_sparse_loc_range
(locrng : tuple_space, base : zero_or_one, shape : LIST [1:?] OF positive_integer, order : ordering_type) : BOOLEAN;
LOCAL
mthspc : maths_space;
interval : finite_integer_interval;
i : INTEGER;
END_LOCAL;
IF space_dimension(locrng) <> 1 THEN RETURN (FALSE); END_IF;
mthspc := factor1(locrng);
IF NOT ((schema_prefix + 'FINITE_INTEGER_INTERVAL') IN TYPEOF (mthspc)) THEN
RETURN (FALSE);
END_IF;
interval := mthspc;
IF order = by_rows THEN i := 2; ELSE i := 1; END_IF;
RETURN (bool((interval.min >= base) AND (interval.max <= base + shape[i] - 1))); END_FUNCTION; -- check_sparse_loc_range
|