`DisjunctiveSort.java`

    // FILE. . . . . /home/hak/hlt/src/hlt/osfv2/base/DisjunctiveSort.java
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . Hak-Laptop
    // STARTED ON. . Mon Sep 02 09:13:38 2013

Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Tue Jan 21 08:05:45 2014 by hak

    package hlt.osf.base;

    import hlt.osf.exec.Context;

    import hlt.language.util.ArrayList;

This is the class of disjunctive sorts. It consists of a list of Strings denoting the sorts of its components.

    public class DisjunctiveSort extends SortExpression
      {
        public DisjunctiveSort (ArrayList names)
        {
          _names = names;
        }

        public DisjunctiveSort (ArrayList names, Context context)
        {
          _names = names;
          _context = context;
        }

        private ArrayList _names;

        public ArrayList names ()
        {
          return _names;
        }

        public byte type ()
        {
          return _context.DIS();
        }

        public String displayForm ()
        {
          String form = _context.displayManager().displayFormManager().displaySortsForm(_names);
          return isParenthesized() ? "("+form+")" : form;
        }
      }

This file was generated on Tue Jan 21 09:56:10 CET 2014 from file `DisjunctiveSort.java`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci