eu.bandm.sig.semantics
Class BoxChecker

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

public class BoxChecker
extends Object

Constructor Summary

BoxChecker()

Method Summary

void	check(eu.bandm.sig.semantics.TypeAnnotator ta, Absy a)
protected void	error(Location<SourceId> location, String text)
void	setMessageReceiver(MessageReceiver<? super SimpleMessage<SourceId>> msg)

Methods inherited from class java.lang.Object

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

Constructor Detail

BoxChecker

public BoxChecker()

Method Detail

setMessageReceiver

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

error

protected void error(Location<SourceId> location,
                     String text)

check

public void check(eu.bandm.sig.semantics.TypeAnnotator ta,
                  Absy a)