|
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 |
|
public class FCheck_sparse_loc_range public static Value run(SdaiContext _context, Value locrng, Value base, Value shape, Value order) |