joeq.Compiler.Analysis.IPSSA
Class ContextSet.ContextLocationPair

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.ContextSet.ContextLocationPair

Enclosing class:

ContextSet

public class ContextSet.ContextLocationPair
extends Object

Field Summary

protected ContextSet	_context
protected SSALocation	_location

Constructor Summary

ContextSet.ContextLocationPair()

Method Summary

ContextSet	getContext()
SSALocation	getLocation()

Methods inherited from class java.lang.Object

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

Field Detail

_location

protected SSALocation _location

_context

protected ContextSet _context

Constructor Detail

ContextSet.ContextLocationPair

public ContextSet.ContextLocationPair()

Method Detail

getLocation

public SSALocation getLocation()

getContext

public ContextSet getContext()