net.sourceforge.czt.base.util

Class TermInstanceCountManager

java.lang.Object

net.sourceforge.czt.base.util.TermInstanceCountManager

public class TermInstanceCountManager
extends Object

Author:

Leo Freitas

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_CALL_DEPTH_LOWER_BOUND
static int	DEFAULT_CALL_DEPTH_UPPER_BOUND
static int	DEFAULT_TARGET_INCREASE

Method Summary

Modifier and Type	Method and Description
static long	instancesCount(Class<? extends Term> termCls, boolean live)
static long	instancesCount(Term term, boolean live)
static void	log(Term term, String extra)
static void	log(Term term, String extra, int callDepthLowerBound, int callDepthUpperBound, int targetIncrease)
protected static String	whoWasCalling(int callDepthLowerBound, int callDepthUpperBound, int targetIncrease)

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_TARGET_INCREASE

public static final int DEFAULT_TARGET_INCREASE

See Also:

Constant Field Values

DEFAULT_CALL_DEPTH_LOWER_BOUND

public static final int DEFAULT_CALL_DEPTH_LOWER_BOUND

See Also:

Constant Field Values

DEFAULT_CALL_DEPTH_UPPER_BOUND

public static final int DEFAULT_CALL_DEPTH_UPPER_BOUND

See Also:

Constant Field Values

Method Detail

log

public static void log(Term term,
                       String extra)

log

public static void log(Term term,
                       String extra,
                       int callDepthLowerBound,
                       int callDepthUpperBound,
                       int targetIncrease)

whoWasCalling

protected static String whoWasCalling(int callDepthLowerBound,
                                      int callDepthUpperBound,
                                      int targetIncrease)

instancesCount

public static long instancesCount(Term term,
                                  boolean live)

instancesCount

public static long instancesCount(Class<? extends Term> termCls,
                                  boolean live)