`BinarySortExpression.java`

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

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

    package hlt.osf.base;

This is the mother class of binary sorts expressions. It consists of two sort expressions which are the two arguments.

    abstract public class BinarySortExpression extends SortExpression
      {
        BinarySortExpression (SortExpression lhs, SortExpression rhs)
        {
          _lhs = lhs;
          _rhs = rhs;
        }

        protected SortExpression _lhs;

        protected SortExpression _rhs;

        public SortExpression lhs ()
        {
          return _lhs;
        }

        public SortExpression rhs ()
        {
          return _rhs;
        }

      }

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