eu.bandm.sig.semantics
Class Typer

java.lang.Object
  eu.bandm.sig.semantics.Typer

public class Typer
extends Object

Constructor Summary

Typer()

Method Summary

void	setMessageReceiver(MessageReceiver<? super SimpleMessage> msg)
Expr	typecheck(Expr x)

Methods inherited from class java.lang.Object

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

Constructor Detail

Typer

public Typer()

Method Detail

setMessageReceiver

public void setMessageReceiver(MessageReceiver<? super SimpleMessage> msg)

typecheck

public Expr typecheck(Expr x)