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

# public abstract class PremonTarget

(source file: PremonTarget.java)

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

The pure class interface.

    public abstract class PremonTarget

  A class used by the source editor, which allows either the constructors, the context, or the term to be edited.

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/03

##

PremonTarget()

##

desugared
  The desugared version of the text being edited.
name
  The name of the class being edited.
parsed
  The parsed version of the text being edited.
text
  The raw text being edited.

##

desugar()
  Desugar it.
parse(String)
  Parse it.
reset()
  Reset it to the original value.

##

PremonTarget

    public PremonTarget();

##

text

    public Printable text;

  The raw text being edited.

parsed

    public Printable parsed;

  The parsed version of the text being edited.

desugared

    public Printable desugared;

  The desugared version of the text being edited.

name

    public String name;

  The name of the class being edited.

##

desugar

    public abstract void desugar()
      throws TypeError;

  Desugar it.

  Throws:
    TypeError -if the new term is not typesafe.

parse

    public abstract void parse(String s)
      throws ParseException;

  Parse it.

  Parameters:
    s - the string to parse.
  Throws:
    ParseException -if the new term is not syntactically well formed.

reset

    public abstract void reset();

  Reset it to the original value.

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

###### PremonTarget.html