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 Fri Sep 06 18:27:34 CEST 2013 from file BinarySortExpression.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci