Package nz.org.riskscape.defaults.classifier

Class ReturnTypeInferer

java.lang.Object

nz.org.riskscape.defaults.classifier.ReturnTypeInferer

public class ReturnTypeInferer
extends Object

Wraps a RealizedTreeFilter so that the optimal getResultType() can be produced from the many RealizedTreeExpressions that could be called upon when evaluate(java.lang.Object) is called.

If we actually cared about classifier functions, we could drop this class and just use typeSet.computeAncestors

Constructor Summary

Constructors

Constructor	Description
ReturnTypeInferer(RealizedTreeFilter wrapped, nz.org.riskscape.engine.types.Type resultType, Map<RealizedTreeExpression,nz.org.riskscape.engine.types.eqrule.Coercer> coercers)

Method Summary

Modifier and Type	Method	Description
static nz.org.riskscape.problem.ResultOrProblems<ReturnTypeInferer>	build(RealizedTreeFilter filter, nz.org.riskscape.engine.typeset.TypeSet typeSet)
Object	evaluate(Object input)
nz.org.riskscape.engine.types.Type	getResultType()
RealizedTreeFilter	getWrapped()

Methods inherited from class java.lang.Object

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

Constructor Details

ReturnTypeInferer

public ReturnTypeInferer(RealizedTreeFilter wrapped,
 nz.org.riskscape.engine.types.Type resultType,
 Map<RealizedTreeExpression,nz.org.riskscape.engine.types.eqrule.Coercer> coercers)

Method Details

build

public static nz.org.riskscape.problem.ResultOrProblems<ReturnTypeInferer> build(RealizedTreeFilter filter,
 nz.org.riskscape.engine.typeset.TypeSet typeSet)

evaluate

public Object evaluate(Object input)

getWrapped

public RealizedTreeFilter getWrapped()

getResultType

public nz.org.riskscape.engine.types.Type getResultType()