BinarySortExpression.html

`BinarySortExpression.java`

    // FILE. . . . . /home/hak/hlt/src/hlt/osf/base/BinarySortExpression.java
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . Hp-Dv7
    // STARTED ON. . Mon Nov 05 19:13:27 2012

Author: |  | Hassan Aït-Kaci
Copyright: |  | © by the author
Version: |  | Last modified on Sat Nov 10 00:18:10 2012 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 Wed Jan 30 13:26:29 CET 2013 from file `BinarySortExpression.java`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci