Overview Schemas Index

PRODUCT_ANALYSIS_SCHEMA (jsdai.SProduct_analysis_schema)


FUNCTION definition_for_temporal_spatial_domain
          (domain : temporal_spatial_domain) : BOOLEAN;

LOCAL
      spatial_set : SET  OF  spatial_decomposition_of_temporal_spatial_domain;
      behavioural_set : SET  OF  behavioural_decomposition_of_temporal_spatial_domain;
      domains : SET OF  temporal_spatial_domain := [];
      idealising : BAG  OF  idealisation_relationship;
      spatial_bag : BAG  OF  spatial_decomposition_of_temporal_spatial_domain;
      behavioural_bag : BAG OF behavioural_decomposition_of_temporal_spatial_domain;
    END_LOCAL;

    idealising := USEDIN(domain, 'ANALYSIS_PRODUCT_RELATIONSHIPS_SCHEMA.IDEALISATION_RELATIONSHIP.IDEALISATION');
    IF  SIZEOF(idealising) > 0 THEN
      RETURN  (TRUE);
    END_IF;
    spatial_bag := USEDIN(domain, 'PRODUCT_ANALYSIS_SCHEMA.SPATIAL_DECOMPOSITION_OF_TEMPORAL_SPATIAL_DOMAIN.PARTS');
    IF  SIZEOF(spatial_bag) > 0 THEN
      spatial_set := bag_to_set(spatial_bag);
      REPEAT  i := 1 TO  HIINDEX(spatial_set);
        domains := domains + spatial_set[i].whole;
      END_REPEAT;
    END_IF;
    behavioural_bag := USEDIN(domain, 'PRODUCT_ANALYSIS_SCHEMA.BEHAVIOURAL_DECOMPOSITION_OF_TEMPORAL_SPATIAL_DOMAIN.PARTS');
    IF  SIZEOF(behavioural_bag) > 0 THEN
      behavioural_set := bag_to_set(behavioural_bag);
      REPEAT  i := 1 TO  HIINDEX(behavioural_set);
        domains := domains + behavioural_set[i].whole;
      END_REPEAT;
    END_IF;
    IF  SIZEOF(domains) > 0 THEN
      REPEAT i := 1 TO HIINDEX(domains);
        IF definition_for_temporal_spatial_domain(domains[i]) THEN
          RETURN  (TRUE);
        END_IF;
      END_REPEAT;
    END_IF;
    RETURN (FALSE);

END_FUNCTION; -- definition_for_temporal_spatial_domain

public class FDefinition_for_temporal_spatial_domain
          public static Value run(SdaiContext _context, Value domain)