Fact (SootUp 2.0.0-SNAPSHOT API)

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(@NonNull Set<Local> aliases, @NonNull S initialState)

Fact(@NonNull S initialState)

Fact(@NonNull Fact<S> originFact)
Method Summary

Modifier and Type

Method

Description

void

addAlias(@NonNull Local alias)

boolean

containsAlias(@NonNull Local value)

boolean

equals(Object obj)

@NonNull S

getState()

int

hashCode()

String

toString()

void

updateState(@NonNull 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
  
  public @NonNull 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