eu.bandm.sig.semantics
Class Sig2Reducer

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

public class Sig2Reducer
extends Object

Constructor Summary

Sig2Reducer()

Method Summary

Constraint	reduceConstraint(eu.bandm.sig.tdom.Element element)
Expression	reduceExpr(eu.bandm.sig.tdom.Element element)
PVar	reduceFace(eu.bandm.sig.tdom.Element element)
Label	reduceLabel(eu.bandm.sig.tdom.Element element)
Pattern	reducePattern(eu.bandm.sig.tdom.Element element)
Rule	reduceRule(eu.bandm.sig.tdom.Element element)
Type	reduceType(eu.bandm.sig.tdom.Element element)
VNamed	reduceVariable(eu.bandm.sig.tdom.Element_id element)
Variable	reduceVariable(eu.bandm.sig.tdom.Element element)
void	setMessageReceiver(MessageReceiver<? super SimpleMessage<SourceId>> msg)
void	setSourceId(SourceId sourceId)

Methods inherited from class java.lang.Object

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

Constructor Detail

Sig2Reducer

public Sig2Reducer()

Method Detail

setMessageReceiver

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

setSourceId

public void setSourceId(SourceId sourceId)

reduceExpr

public Expression reduceExpr(eu.bandm.sig.tdom.Element element)

reduceVariable

public Variable reduceVariable(eu.bandm.sig.tdom.Element element)

reduceVariable

public VNamed reduceVariable(eu.bandm.sig.tdom.Element_id element)

reduceLabel

public Label reduceLabel(eu.bandm.sig.tdom.Element element)

reduceFace

public PVar reduceFace(eu.bandm.sig.tdom.Element element)

reduceConstraint

public Constraint reduceConstraint(eu.bandm.sig.tdom.Element element)

reduceRule

public Rule reduceRule(eu.bandm.sig.tdom.Element element)

reducePattern

public Pattern reducePattern(eu.bandm.sig.tdom.Element element)

reduceType

public Type reduceType(eu.bandm.sig.tdom.Element element)