NotSortExpression.html

`NotSortExpression.java`

    // FILE. . . . . /home/hak/hlt/src/hlt/osf/base/NegatedSortExpression.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 Jan 19 12:52:45 2013 by hak

    package hlt.osf.base;

This is the class of a 'not' sort expression. It consists of a sort expression which is its argument.

    public class NotSortExpression extends SortExpression
      {
        public NotSortExpression (SortExpression arg)
        {
          _arg = arg;
          _context = arg.context();
        }

        private SortExpression _arg;

        public SortExpression arg ()
        {
          return _arg;
        }

        public byte type ()
        {
          return _context.NOT();
        }

        public String displayForm ()
        {
          String form = "!"+_arg.displayForm();
          return isParenthesized() ? "("+form+")" : form;
        }

      }

This file was generated on Wed Jan 30 13:26:29 CET 2013 from file `NotSortExpression.java`
by the `hlt.language.tools.Hilite` Java tool written by Hassan Aït-Kaci