org.benf.cfr.reader.bytecode.analysis.types.discovery

Class InferredJavaType.IJTInternal_Clash

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.types.discovery.InferredJavaType.IJTInternal_Clash

All Implemented Interfaces:

InferredJavaType.IJTInternal

Enclosing class:

InferredJavaType

private static class InferredJavaType.IJTInternal_Clash
extends java.lang.Object
implements InferredJavaType.IJTInternal

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<InferredJavaType.IJTInternal>	clashes
private int	id
private boolean	resolved
private JavaTypeInstance	type

Constructor Summary

Constructors

Modifier	Constructor and Description
private	IJTInternal_Clash(java.util.Collection<InferredJavaType.IJTInternal> clashes)

Method Summary

Modifier and Type	Method and Description
void	collapseTypeClash()
private void	collapseTypeClash(boolean force)
private static Pair<java.lang.Boolean,JavaTypeInstance>	collapseTypeClash2(java.util.List<JavaTypeInstance> clashes)
void	confirmVarIfPossible()
void	forceType(JavaTypeInstance rawJavaType, boolean ignoreLock)
private static java.util.Map<JavaTypeInstance,JavaGenericRefTypeInstance>	getClashMatches(java.util.List<InferredJavaType.IJTInternal> clashes)
InferredJavaType.ClashState	getClashState()
int	getFinalId()
InferredJavaType.IJTInternal	getFirstLocked()
JavaTypeInstance	getJavaTypeInstance()
JavaTypeInstance	getKnownBaseType()
int	getLocalId()
private static java.util.Map<JavaTypeInstance,JavaGenericRefTypeInstance>	getMatches(java.util.List<JavaTypeInstance> clashes)
RawJavaType	getRawType()
InferredJavaType.Source	getSource()
int	getTaggedBytecodeLocation()
boolean	isLocked()
void	markClashState(InferredJavaType.ClashState newClashState)
void	markKnownBaseClass(JavaTypeInstance knownBase)
private static InferredJavaType.IJTInternal	mkClash(InferredJavaType.IJTInternal delegate1, InferredJavaType.IJTInternal delegate2)
void	mkDelegate(InferredJavaType.IJTInternal newDelegate)
void	setTaggedBytecodeLocation(int location)
void	shallowSetCanBeVar()
java.lang.String	toString()
boolean	usesFinalId(int id)

Methods inherited from class java.lang.Object

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

Field Detail

resolved

private boolean resolved

clashes

private java.util.List<InferredJavaType.IJTInternal> clashes

id

private final int id

type

private JavaTypeInstance type

Constructor Detail

IJTInternal_Clash

private IJTInternal_Clash(java.util.Collection<InferredJavaType.IJTInternal> clashes)

Method Detail

getClashMatches

private static java.util.Map<JavaTypeInstance,JavaGenericRefTypeInstance> getClashMatches(java.util.List<InferredJavaType.IJTInternal> clashes)

getMatches

private static java.util.Map<JavaTypeInstance,JavaGenericRefTypeInstance> getMatches(java.util.List<JavaTypeInstance> clashes)

mkClash

private static InferredJavaType.IJTInternal mkClash(InferredJavaType.IJTInternal delegate1,
                                                    InferredJavaType.IJTInternal delegate2)

collapseTypeClash

public void collapseTypeClash()

Specified by:

collapseTypeClash in interface InferredJavaType.IJTInternal

shallowSetCanBeVar

public void shallowSetCanBeVar()

Specified by:

shallowSetCanBeVar in interface InferredJavaType.IJTInternal

confirmVarIfPossible

public void confirmVarIfPossible()

Specified by:

confirmVarIfPossible in interface InferredJavaType.IJTInternal

collapseTypeClash

private void collapseTypeClash(boolean force)

collapseTypeClash2

private static Pair<java.lang.Boolean,JavaTypeInstance> collapseTypeClash2(java.util.List<JavaTypeInstance> clashes)

getRawType

public RawJavaType getRawType()

Specified by:

getRawType in interface InferredJavaType.IJTInternal

getTaggedBytecodeLocation

public int getTaggedBytecodeLocation()

Specified by:

getTaggedBytecodeLocation in interface InferredJavaType.IJTInternal

setTaggedBytecodeLocation

public void setTaggedBytecodeLocation(int location)

Specified by:

setTaggedBytecodeLocation in interface InferredJavaType.IJTInternal

getJavaTypeInstance

public JavaTypeInstance getJavaTypeInstance()

Specified by:

getJavaTypeInstance in interface InferredJavaType.IJTInternal

getSource

public InferredJavaType.Source getSource()

Specified by:

getSource in interface InferredJavaType.IJTInternal

getFinalId

public int getFinalId()

Specified by:

getFinalId in interface InferredJavaType.IJTInternal

usesFinalId

public boolean usesFinalId(int id)

Specified by:

usesFinalId in interface InferredJavaType.IJTInternal

getLocalId

public int getLocalId()

Specified by:

getLocalId in interface InferredJavaType.IJTInternal

getClashState

public InferredJavaType.ClashState getClashState()

Specified by:

getClashState in interface InferredJavaType.IJTInternal

mkDelegate

public void mkDelegate(InferredJavaType.IJTInternal newDelegate)

Specified by:

mkDelegate in interface InferredJavaType.IJTInternal

forceType

public void forceType(JavaTypeInstance rawJavaType,
                      boolean ignoreLock)

Specified by:

forceType in interface InferredJavaType.IJTInternal

markKnownBaseClass

public void markKnownBaseClass(JavaTypeInstance knownBase)

Specified by:

markKnownBaseClass in interface InferredJavaType.IJTInternal

getKnownBaseType

public JavaTypeInstance getKnownBaseType()

Specified by:

getKnownBaseType in interface InferredJavaType.IJTInternal

markClashState

public void markClashState(InferredJavaType.ClashState newClashState)

Specified by:

markClashState in interface InferredJavaType.IJTInternal

isLocked

public boolean isLocked()

Specified by:

isLocked in interface InferredJavaType.IJTInternal

getFirstLocked

public InferredJavaType.IJTInternal getFirstLocked()

Specified by:

getFirstLocked in interface InferredJavaType.IJTInternal

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object