joeq.Compiler.Analysis.Primitive
Class PrimitiveSubtypeHelper

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper

Direct Known Subclasses:

PrimitiveSubtypeHelper.KnownClassesSubtypeHelper, PrimitiveSubtypeHelper.OfflineSubtypeHelper, PrimitiveSubtypeHelper.OnlineSubtypeHelper

public abstract class PrimitiveSubtypeHelper
extends Object

Nested Class Summary

static class	PrimitiveSubtypeHelper.KnownClassesSubtypeHelper
static class	PrimitiveSubtypeHelper.OfflineSubtypeHelper
static class	PrimitiveSubtypeHelper.OnlineSubtypeHelper

Field Summary

protected static String	KNOWN
protected static String	OFFLINE
protected static String	ONLINE
protected PrimitivePA	pa
protected static boolean	TRACE

Constructor Summary

PrimitiveSubtypeHelper(PrimitivePA pa)

Method Summary

abstract Collection	getSubtypes(jq_Class clazz)
static PrimitiveSubtypeHelper	newSubtypeHelper(PrimitivePA pa, String kind)

Methods inherited from class java.lang.Object

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

Field Detail

pa

protected PrimitivePA pa

TRACE

protected static boolean TRACE

OFFLINE

protected static final String OFFLINE

See Also:

Constant Field Values

ONLINE

protected static final String ONLINE

See Also:

Constant Field Values

KNOWN

protected static final String KNOWN

See Also:

Constant Field Values

Constructor Detail

PrimitiveSubtypeHelper

public PrimitiveSubtypeHelper(PrimitivePA pa)

Method Detail

getSubtypes

public abstract Collection getSubtypes(jq_Class clazz)

newSubtypeHelper

public static PrimitiveSubtypeHelper newSubtypeHelper(PrimitivePA pa,
                                                      String kind)