hlt.osf.base

Class SymbolSortExpression

java.lang.Object

hlt.osf.base.OsfExpression

hlt.osf.base.SortExpression

hlt.osf.base.SymbolSortExpression

All Implemented Interfaces:

Contextable

public class SymbolSortExpression
extends SortExpression

This is the class of atomic OSF expressions consisting of one sort symbol name (a String).

Constructor Summary

Constructors

Constructor and Description
SymbolSortExpression(java.lang.String name) Constructs a symbol sort expression with the given name.
SymbolSortExpression(java.lang.String name, Context context) Constructs a symbol sort expression with the given name and sets its execution context to the given context.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	displayForm() Returns the string form of this OSF expression according the display manager of its context.
java.lang.String	name()
Sort	sort()
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

SymbolSortExpression

public SymbolSortExpression(java.lang.String name)

Constructs a symbol sort expression with the given name.

SymbolSortExpression

public SymbolSortExpression(java.lang.String name,
                    Context context)

Constructs a symbol sort expression with the given name and sets its execution context to the given context.

Method Detail

name

public java.lang.String name()

sort

public Sort sort()

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