Package sootup.analysis.intraprocedural

Class Fact<S>

java.lang.Object

sootup.analysis.intraprocedural.Fact<S>

public class Fact<S>
extends Object

simple dataflow fact for interprocedural dataflow analysis adaptable with a state enum *

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Fact(Set<Local> aliases, S initialState)
	Fact(S initialState)
	Fact(Fact<S> originFact)

Method Summary

Modifier and Type	Method	Description
void	addAlias(Local alias)
boolean	containsAlias(Local value)
boolean	equals(Object obj)
S	getState()
int	hashCode()
String	toString()
void	updateState(S state)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Fact

public Fact(@Nonnull
 S initialState)

Fact

public Fact(@Nonnull
 Fact<S> originFact)

Fact

protected Fact(@Nonnull
 Set<Local> aliases,
 @Nonnull
 S initialState)

Method Details

updateState

public void updateState(@Nonnull
 S state)

addAlias

public void addAlias(@Nonnull
 Local alias)

containsAlias

public boolean containsAlias(@Nonnull
 Local value)

getState

@Nonnull
public S getState()

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object