`[all packages] [package ] [class hierarchy] [index]`

# public class PremonTargetTerm

(source file: PremonTargetTerm.java)

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

The pure class interface.

    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.

##

PremonTargetTerm

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

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

##

desugar

    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.

`[all packages] [package ] [class hierarchy] [index]`

###### PremonTargetTerm.html