Package eu.bandm.tools.ramus.runtime2

Class HonnefDemo.Nil

java.lang.Object

eu.bandm.tools.ramus.runtime2.HonnefDemo.SExpr

eu.bandm.tools.ramus.runtime2.HonnefDemo.LList

eu.bandm.tools.ramus.runtime2.HonnefDemo.Nil

Enclosing class:

HonnefDemo

static class HonnefDemo.Nil
extends HonnefDemo.LList

Constructor Summary

Constructors

Constructor	Description
Nil(Location<Void> location)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class eu.bandm.tools.ramus.runtime2.HonnefDemo.SExpr

getLocation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Nil

Nil(Location<Void> location)

Method Details

toString

public String toString()

Overrides:

toString in class Object