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

# public class PremonExpDec

(source file: PremonExpDec.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonExp
                       |
                       +----PremonExpDec

The pure class interface.

    public class PremonExpDec
      extends PremonExp

  An expression D M binding a declaration D to an expression M.

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

##

PremonExpDec(PremonDec, PremonExp)
  Create a new binding.

##

print(Printer)
printB(Printer)
semantics()
  The semantics of the expression.

##

PremonExpDec

    public PremonExpDec(PremonDec D,
                        PremonExp M);

  Create a new binding.

  Parameters:
    D - the declaration
    M - the expression

##

print

    public void print(Printer p);

printB

    public void printB(Printer p);

semantics

    public Mor semantics();

  The semantics of the expression.

  Returns:
    ([[ D : ]] [[]]) ; [[ M : T]]
  Overrides:
    semantics in class PremonExp

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

###### PremonExpDec.html