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

# public class PremonJJTExpAppInfix

(source file: PremonJJTExpAppInfix.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonJJTNode
                       |
                       +----PremonJJTExp
                               |
                               +----PremonJJTExpAppInfix

The pure class interface.

    public class PremonJJTExpAppInfix
      extends PremonJJTExp

  An infix function application M x N where x is a variable of function type. This is syntax sugar for x (M,N).

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

##

PremonJJTExpAppInfix(int)

##

desugar(PremonCon)
print(Printer)

##

PremonJJTExpAppInfix

    public PremonJJTExpAppInfix(int id);

##

print

    public void print(Printer p);

desugar

    public PremonExp desugar(PremonCon Gamma)
      throws TypeError;

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

###### PremonJJTExpAppInfix.html