eu.bandm.sig.semantics
Class Reducer
java.lang.Object
eu.bandm.sig.semantics.Reducer
public class Reducer
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
minIndex
public static final BigInteger minIndex
maxIndex
public static final BigInteger maxIndex
Reducer
public Reducer()
setMessageReceiver
public void setMessageReceiver(MessageReceiver<? super SimpleMessage> msg)
reduceType
public Type reduceType(eu.bandm.sig.tdom.Element element)
reduceExpr
public Expr reduceExpr(eu.bandm.sig.tdom.Element element)
reducePattern
public Pattern reducePattern(eu.bandm.sig.tdom.Element element)