public class PremonTargetTerm

java.lang.Object
   |
   +----PremonTarget
           |
           +----PremonTargetTerm

public class PremonTargetTerm
  extends PremonTarget

Allows a term to be edited.

Author:

Alan Jeffrey

Version: v1.0 1998/06/03

PremonTargetTerm(PremonJJTExp, PremonExp, PremonTargetContext, PremonTargetConstructors)

Create a new editable term. Requires the context and constructors, (for desugaring).

desugar()

parse(String)

reset()

term()

The desugared term.

public PremonTargetTerm(PremonJJTExp oriTerm,
                        PremonExp oriTermDesugared,
                        PremonTargetContext context,
                        PremonTargetConstructors constructors);

Create a new editable term. Requires the context and constructors, (for desugaring).

public void desugar()
  throws TypeError;

parse

public void parse(String s)
  throws ParseException;

reset

public void reset();

term

public PremonExp term();

The desugared term.

Returns:

the desugared term.

PremonTargetTerm.html