|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AtomFact | |
---|---|
cz.vutbr.fit.findbugs.atom.analysis |
Uses of AtomFact in cz.vutbr.fit.findbugs.atom.analysis |
---|
Methods in cz.vutbr.fit.findbugs.atom.analysis that return AtomFact | |
---|---|
AtomFact |
AtomAnalysis.createFact()
Create a new fact. |
Methods in cz.vutbr.fit.findbugs.atom.analysis with parameters of type AtomFact | |
---|---|
void |
AtomAnalysis.copy(AtomFact source,
AtomFact dest)
Copy the content of the fact from the source fact to the destination fact. |
java.lang.String |
AtomAnalysis.factToString(AtomFact fact)
Returns human readable representation of the fact. |
void |
AtomAnalysis.initEntryFact(AtomFact result)
Initiate the fact to the fact which should hold at the start of CFG. |
boolean |
AtomAnalysis.isFactValid(AtomFact fact)
Returns true if the fact represents a value which is not TOP (I know nothing) or BOTTOM (error occured). |
boolean |
AtomAnalysis.isTop(AtomFact fact)
Returns true if the given fact is TOP. |
void |
AtomAnalysis.makeFactTop(AtomFact fact)
Make the fact as TOP - means that at this point we know nothing about the location where this fact takes effect. |
void |
AtomAnalysis.meetInto(AtomFact fact,
edu.umd.cs.findbugs.ba.Edge edge,
AtomFact result)
Key method which takes care of joining facts. |
boolean |
AtomAnalysis.same(AtomFact fact1,
AtomFact fact2)
Returns true if the given facts are the same with respect to analysis purpose. |
void |
AtomAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
edu.umd.cs.findbugs.ba.BasicBlock basicBlock,
AtomFact fact)
Key method for analysis. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |