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 Sun Mar 29 11:34:23 CEST 2015 from file BinarySortExpression.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci