joeq.Compiler.Analysis.Primitive
Class PrimitiveSubtypeHelper.KnownClassesSubtypeHelper

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

Enclosing class:

PrimitiveSubtypeHelper

public static class PrimitiveSubtypeHelper.KnownClassesSubtypeHelper
extends PrimitiveSubtypeHelper

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper

PrimitiveSubtypeHelper.KnownClassesSubtypeHelper, PrimitiveSubtypeHelper.OfflineSubtypeHelper, PrimitiveSubtypeHelper.OnlineSubtypeHelper

Field Summary

Fields inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper

KNOWN, OFFLINE, ONLINE, pa, TRACE

Constructor Summary

PrimitiveSubtypeHelper.KnownClassesSubtypeHelper(PrimitivePA pa)

Method Summary

Collection

getSubtypes(jq_Class t)

Methods inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper

newSubtypeHelper

Methods inherited from class java.lang.Object

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

Constructor Detail

PrimitiveSubtypeHelper.KnownClassesSubtypeHelper

public PrimitiveSubtypeHelper.KnownClassesSubtypeHelper(PrimitivePA pa)

Method Detail

getSubtypes

public Collection getSubtypes(jq_Class t)

Specified by:

getSubtypes in class PrimitiveSubtypeHelper