joeq.Compiler.Analysis.IPA
Class SubtypeHelper.KnownClassesSubtypeHelper

java.lang.Object
  joeq.Compiler.Analysis.IPA.SubtypeHelper
      joeq.Compiler.Analysis.IPA.SubtypeHelper.KnownClassesSubtypeHelper

Enclosing class:

SubtypeHelper

public static class SubtypeHelper.KnownClassesSubtypeHelper
extends SubtypeHelper

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPA.SubtypeHelper

SubtypeHelper.KnownClassesSubtypeHelper, SubtypeHelper.OfflineSubtypeHelper, SubtypeHelper.OnlineSubtypeHelper

Field Summary

Fields inherited from class joeq.Compiler.Analysis.IPA.SubtypeHelper

KNOWN, OFFLINE, ONLINE, pa, TRACE

Constructor Summary

SubtypeHelper.KnownClassesSubtypeHelper(PA pa)

Method Summary

Collection

getSubtypes(jq_Class t)

Methods inherited from class joeq.Compiler.Analysis.IPA.SubtypeHelper

newSubtypeHelper

Methods inherited from class java.lang.Object

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

Constructor Detail

SubtypeHelper.KnownClassesSubtypeHelper

public SubtypeHelper.KnownClassesSubtypeHelper(PA pa)

Method Detail

getSubtypes

public Collection getSubtypes(jq_Class t)

Specified by:

getSubtypes in class SubtypeHelper