hlt.osf.base

Class OsfExpression

java.lang.Object

hlt.osf.base.OsfExpression

All Implemented Interfaces:

Contextable

Direct Known Subclasses:

PsiTerm, SortExpression

public abstract class OsfExpression
extends java.lang.Object
implements Contextable

This is the class of OSF expressions.

Constructor Summary

Constructors

Constructor and Description
OsfExpression()

Method Summary

Methods

Modifier and Type	Method and Description
Context	context() Return this expression evaluation context.
abstract java.lang.String	displayForm() Returns the string form of this OSF expression according the display manager of its context.
OsfExpression	setContext(Context context) Sets this expression evaluation context to the one specified.

Methods inherited from class java.lang.Object

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

Constructor Detail

OsfExpression

public OsfExpression()

Method Detail

context

public Context context()

Return this expression evaluation context.

Specified by:

context in interface Contextable

setContext

public OsfExpression setContext(Context context)

Sets this expression evaluation context to the one specified.

Specified by:

setContext in interface Contextable

displayForm

public abstract java.lang.String displayForm()

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