joeq.Compiler.Analysis.FlowInsensitive
Class ReflectionInformationProvider.CribSheetReflectionInformationProvider

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider
      joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider.CribSheetReflectionInformationProvider

Enclosing class:

ReflectionInformationProvider

public static class ReflectionInformationProvider.CribSheetReflectionInformationProvider
extends ReflectionInformationProvider

This implementation of ReflectionInformationProvider reads answers from a file.

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider

ReflectionInformationProvider.CribSheetReflectionInformationProvider, ReflectionInformationProvider.NewInstanceTargets

Constructor Summary

ReflectionInformationProvider.CribSheetReflectionInformationProvider()

ReflectionInformationProvider.CribSheetReflectionInformationProvider(String cribSheetFileName)

Method Summary

Collection	getNewInstanceTargets(jq_Method n) Resolves constructors being pointed to by a newInstance() calls within method n.
Collection	getNewInstanceTargets(ProgramLocation.QuadProgramLocation mc) Resolves constructors being pointed to by a newInstance() call mc.
static void	main(String[] args)

Methods inherited from class joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider

isForName, isNewInstance, isNewInstance, isReflective

Methods inherited from class java.lang.Object

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

Constructor Detail

ReflectionInformationProvider.CribSheetReflectionInformationProvider

public ReflectionInformationProvider.CribSheetReflectionInformationProvider(String cribSheetFileName)

ReflectionInformationProvider.CribSheetReflectionInformationProvider

public ReflectionInformationProvider.CribSheetReflectionInformationProvider()

Method Detail

main

public static void main(String[] args)

getNewInstanceTargets

public Collection getNewInstanceTargets(ProgramLocation.QuadProgramLocation mc)

Description copied from class: ReflectionInformationProvider

Resolves constructors being pointed to by a newInstance() call mc.

Specified by:

getNewInstanceTargets in class ReflectionInformationProvider

getNewInstanceTargets

public Collection getNewInstanceTargets(jq_Method n)

Description copied from class: ReflectionInformationProvider

Resolves constructors being pointed to by a newInstance() calls within method n. Notice that information may be imprecise because we only have one piece of data per method.

Specified by:

getNewInstanceTargets in class ReflectionInformationProvider