public class PremonDecLocalRec

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

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.

public PremonDecLocalRec(PremonVar x,
                         PremonDec D);

Create a new declaration local rec x; D

Parameters:

x - the recursive variable

D - the declaration defining x

public void print(Printer p);

semanticsTo

public Mor semanticsTo(PremonCon target);

The semantics of the declaration.

Returns:

Tr[[D]]

Overrides:

semanticsTo in class PremonDec

PremonDecLocalRec.html