-- file:  PascalSetsImpl.mesa
-- last modified by Ramshaw, December 25, 1982 9:14 am
-- written by McCreight, December 19, 1980  10:44 AM

-- Cedar Pascal-to-Mesa Runtime support for sets

DIRECTORY
  PascalBasic,
  PascalSets;

PascalSetsImpl: CEDAR PROGRAM
  EXPORTS PascalSets =

  BEGIN OPEN PascalBasic, PascalSets;


  PascalMediumSetGenerateElement: PUBLIC PROCEDURE [i: PascalInteger]
    RETURNS [PascalMediumSet] = {s: PascalMediumSet; s[i] _ TRUE; RETURN[s]};

  PascalMediumSetGenerateInterval: PUBLIC PROCEDURE [i, j: PascalInteger]
    RETURNS [PascalMediumSet] =
    BEGIN
    s: PascalMediumSet;
    k: PascalInteger;
    FOR k IN [i..j] DO s[k] _ TRUE ENDLOOP;
    RETURN[s]
    END;

  PascalMediumSetAddElement: PUBLIC PROCEDURE [
    i: PascalInteger, s: PascalMediumSet] RETURNS [PascalMediumSet] = {
    s[i] _ TRUE; RETURN[s]};

  PascalMediumSetAddInterval: PUBLIC PROCEDURE [
    i, j: PascalInteger, s: PascalMediumSet] RETURNS [PascalMediumSet] =
    BEGIN k: PascalInteger; FOR k IN [i..j] DO s[k] _ TRUE ENDLOOP; RETURN[s] END;

  PascalMediumSetUnion: PUBLIC PROCEDURE [x, y: PascalMediumSet]
    RETURNS [PascalMediumSet] =
    BEGIN
    s: PascalMediumSet;
    i: PascalMediumSetRange;
    FOR i IN PascalMediumSetRange DO s[i] _ x[i] OR y[i] ENDLOOP;
    RETURN[s];
    END;

  PascalMediumSetIntersection: PUBLIC PROCEDURE [x, y: PascalMediumSet]
    RETURNS [PascalMediumSet] =
    BEGIN
    s: PascalMediumSet;
    i: PascalMediumSetRange;
    FOR i IN PascalMediumSetRange DO s[i] _ x[i] AND y[i] ENDLOOP;
    RETURN[s];
    END;

  PascalMediumSetDifference: PUBLIC PROCEDURE [x, y: PascalMediumSet]
    RETURNS [PascalMediumSet] =
    BEGIN
    s: PascalMediumSet;
    i: PascalMediumSetRange;
    FOR i IN PascalMediumSetRange DO s[i] _ x[i] AND NOT y[i] ENDLOOP;
    RETURN[s];
    END;

  PascalMediumSetIsSubset: PUBLIC PROCEDURE [x, y: PascalMediumSet]
    RETURNS [PascalBoolean] =
    BEGIN
    i: PascalMediumSetRange;
    FOR i IN PascalMediumSetRange DO
      IF x[i] AND NOT y[i] THEN RETURN[FALSE] ENDLOOP;
    RETURN[TRUE];
    END;

  PascalMediumSetIsSame: PUBLIC PROCEDURE [x, y: PascalMediumSet]
    RETURNS [PascalBoolean] =
    BEGIN
    i: PascalMediumSetRange;
    FOR i IN PascalMediumSetRange DO IF x[i] # y[i] THEN RETURN[FALSE] ENDLOOP;
    RETURN[TRUE];
    END;

  PascalMediumSetCARD: PUBLIC PROCEDURE [x: PascalMediumSet]
    RETURNS [PascalInteger] =
    BEGIN
    i: PascalMediumSetRange;
    count: CARDINAL _ 0;
    FOR i IN PascalMediumSetRange DO IF x[i] THEN count _ count + 1 ENDLOOP;
    RETURN[count];
    END;

  PascalLargeSetGenerateElement: PUBLIC PROCEDURE [i: PascalInteger]
    RETURNS [PascalLargeSet] = {s: PascalLargeSet; s[i] _ TRUE; RETURN[s]};

  PascalLargeSetGenerateInterval: PUBLIC PROCEDURE [i, j: PascalInteger]
    RETURNS [PascalLargeSet] =
    BEGIN
    s: PascalLargeSet;
    k: PascalInteger;
    FOR k IN [i..j] DO s[k] _ TRUE ENDLOOP;
    RETURN[s]
    END;

  PascalLargeSetAddElement: PUBLIC PROCEDURE [i: PascalInteger, s: PascalLargeSet]
    RETURNS [PascalLargeSet] = {s[i] _ TRUE; RETURN[s]};

  PascalLargeSetAddInterval: PUBLIC PROCEDURE [
    i, j: PascalInteger, s: PascalLargeSet] RETURNS [PascalLargeSet] =
    BEGIN k: PascalInteger; FOR k IN [i..j] DO s[k] _ TRUE ENDLOOP; RETURN[s] END;

  PascalLargeSetUnion: PUBLIC PROCEDURE [x, y: PascalLargeSet]
    RETURNS [PascalLargeSet] =
    BEGIN
    s: PascalLargeSet;
    i: PascalLargeSetRange;
    FOR i IN PascalLargeSetRange DO s[i] _ x[i] OR y[i] ENDLOOP;
    RETURN[s];
    END;

  PascalLargeSetIntersection: PUBLIC PROCEDURE [x, y: PascalLargeSet]
    RETURNS [PascalLargeSet] =
    BEGIN
    s: PascalLargeSet;
    i: PascalLargeSetRange;
    FOR i IN PascalLargeSetRange DO s[i] _ x[i] AND y[i] ENDLOOP;
    RETURN[s];
    END;

  PascalLargeSetDifference: PUBLIC PROCEDURE [x, y: PascalLargeSet]
    RETURNS [PascalLargeSet] =
    BEGIN
    s: PascalLargeSet;
    i: PascalLargeSetRange;
    FOR i IN PascalLargeSetRange DO s[i] _ x[i] AND NOT y[i] ENDLOOP;
    RETURN[s];
    END;

  PascalLargeSetIsSubset: PUBLIC PROCEDURE [x, y: PascalLargeSet]
    RETURNS [PascalBoolean] =
    BEGIN
    i: PascalLargeSetRange;
    FOR i IN PascalLargeSetRange DO
      IF x[i] AND NOT y[i] THEN RETURN[FALSE] ENDLOOP;
    RETURN[TRUE];
    END;

  PascalLargeSetIsSame: PUBLIC PROCEDURE [x, y: PascalLargeSet]
    RETURNS [PascalBoolean] =
    BEGIN
    i: PascalLargeSetRange;
    FOR i IN PascalLargeSetRange DO IF x[i] # y[i] THEN RETURN[FALSE] ENDLOOP;
    RETURN[TRUE];
    END;

  PascalLargeSetCARD: PUBLIC PROCEDURE [x: PascalLargeSet]
    RETURNS [PascalInteger] =
    BEGIN
    i: PascalLargeSetRange;
    count: CARDINAL _ 0;
    FOR i IN PascalLargeSetRange DO IF x[i] THEN count _ count + 1 ENDLOOP;
    RETURN[count];
    END;

  END. -- PascalSetsImpl