org.jpc.converter.typesolver

Class JpcTypeSolverManager

java.lang.Object

org.jpc.converter.typesolver.TypeSolverManager

org.jpc.converter.typesolver.JGumTypeSolverManager

org.jpc.converter.typesolver.JpcTypeSolverManager

public class JpcTypeSolverManager
extends JGumTypeSolverManager

Field Summary

Fields inherited from class org.jpc.converter.typesolver.TypeSolverManager

DEFAULT_KEY

Constructor Summary

Constructors

Constructor and Description
JpcTypeSolverManager(org.jgum.JGum jgum)
JpcTypeSolverManager(org.jgum.JGum jgum, JpcEngine embeddedEngine)

Method Summary

Modifier and Type	Method and Description
Type	inferType(Object key, Object object)
void	register(TypeSolver<?> typeSolver, Term term)
static JpcTypeSolverManager	registerDefaults(JpcTypeSolverManager typeSolverManager) Registers default type solvers in the given type solver manager.

Methods inherited from class org.jpc.converter.typesolver.JGumTypeSolverManager

register

Methods inherited from class org.jpc.converter.typesolver.TypeSolverManager

inferType, register

Methods inherited from class java.lang.Object

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

Constructor Detail

JpcTypeSolverManager

public JpcTypeSolverManager(org.jgum.JGum jgum)

JpcTypeSolverManager

public JpcTypeSolverManager(org.jgum.JGum jgum,
                            JpcEngine embeddedEngine)

Method Detail

registerDefaults

public static JpcTypeSolverManager registerDefaults(JpcTypeSolverManager typeSolverManager)

Registers default type solvers in the given type solver manager.

Parameters:

typeSolverManager - a type solver manager.

inferType

public Type inferType(Object key,
                      Object object)

Overrides:

inferType in class JGumTypeSolverManager

register

public void register(TypeSolver<?> typeSolver,
                     Term term)