Uses of Class
cz.vutbr.fit.findbugs.atom.analysis.AtomFact

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.