Class ReturnTypeInferer
java.lang.Object
nz.org.riskscape.defaults.classifier.ReturnTypeInferer
Wraps a RealizedTreeFilter
so that the optimal getResultType()
can be produced
from the many RealizedTreeExpression
s that could be called upon when
evaluate(java.lang.Object)
is called.
-
Constructor Summary
ConstructorDescriptionReturnTypeInferer
(RealizedTreeFilter wrapped, nz.org.riskscape.engine.types.Type resultType, Map<RealizedTreeExpression, nz.org.riskscape.engine.types.eqrule.Coercer> coercers) -
Method Summary
Modifier and TypeMethodDescriptionstatic nz.org.riskscape.problem.ResultOrProblems<ReturnTypeInferer>
build
(RealizedTreeFilter filter, nz.org.riskscape.engine.typeset.TypeSet typeSet) nz.org.riskscape.engine.types.Type
-
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
-
getWrapped
-
getResultType
public nz.org.riskscape.engine.types.Type getResultType()
-