BinarySortExpression.java

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



Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Mon May 18 10:21:45 2015 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 Mon Sep 09 09:17:59 PDT 2019 from file BinarySortExpression.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci