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

# public class PremonDecLocalRec

(source file: PremonDecLocalRec.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonDec
                       |
                       +----PremonDecLocalRec

The pure class interface.

    public class PremonDecLocalRec
      extends PremonDec

  A local recursive declaration local rec x; D

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

##

PremonDecLocalRec(PremonVar, PremonDec)
  Create a new declaration local rec x; D

##

print(Printer)
semanticsTo(PremonCon)
  The semantics of the declaration.

##

PremonDecLocalRec

    public PremonDecLocalRec(PremonVar x,
                             PremonDec D);

  Create a new declaration local rec x; D

  Parameters:
    x - the recursive variable
    D - the declaration defining x

##

print

    public void print(Printer p);

semanticsTo

    public Mor semanticsTo(PremonCon target);

  The semantics of the declaration.

  Returns:
    Tr[[D]]
  Overrides:
    semanticsTo in class PremonDec

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

###### PremonDecLocalRec.html