hlt.osf.base

Class NotSortExpression

java.lang.Object

hlt.osf.base.OsfExpression

hlt.osf.base.SortExpression

hlt.osf.base.NotSortExpression

All Implemented Interfaces:

Contextable

public class NotSortExpression
extends SortExpression

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

Constructor Summary

Constructors

Constructor and Description
NotSortExpression(SortExpression arg)

Method Summary

Methods

Modifier and Type	Method and Description
SortExpression	arg()
java.lang.String	displayForm() Returns the string form of this OSF expression according the display manager of its context.
byte	type() This returns the type of Boolean expression this sort expression is; one of: Context.SYM() if this is a sort symbol; Context.DIS() if this is a disjunctive sort; Context.NOT() if this is a negated sort expression; Context.AND() if this is a sort-expression conjunction; Context.OR () if this is a sort-expression disjunction; Context.BNT() if this is a sort-expression complementation.

Methods inherited from class hlt.osf.base.SortExpression

isAnd, isButnot, isDisjunction, isNot, isOr, isParenthesized, isSymbol, maxLowerBound, setParenthesized, toString, value

Methods inherited from class hlt.osf.base.OsfExpression

context, setContext

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NotSortExpression

public NotSortExpression(SortExpression arg)

Method Detail

arg

public SortExpression arg()

type

public byte type()

Description copied from class: SortExpression

This returns the type of Boolean expression this sort expression is; one of:

• Context.SYM() if this is a sort symbol;
• Context.DIS() if this is a disjunctive sort;
• Context.NOT() if this is a negated sort expression;
• Context.AND() if this is a sort-expression conjunction;
• Context.OR () if this is a sort-expression disjunction;
• Context.BNT() if this is a sort-expression complementation.

Specified by:

type in class SortExpression

displayForm

public java.lang.String displayForm()

Description copied from class: OsfExpression

Returns the string form of this OSF expression according the display manager of its context.

Specified by:

displayForm in class OsfExpression