A B C D E F G H I J L M N O P Q R S T U V W

I

incViolation() - Method in interface cz.vutbr.fit.atomicity.Atomicity
Calling of this method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation() - Method in class cz.vutbr.fit.atomicity.AtomicityDouble
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation() - Method in class cz.vutbr.fit.atomicity.AtomicityMulti
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation() - Method in class cz.vutbr.fit.atomicity.AtomicitySimple
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation() - Method in class cz.vutbr.fit.atomicity.AtomicityTriple
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
initEntryFact(AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Initiate the fact to the fact which should hold at the start of CFG.
initHealing() - Static method in class cz.vutbr.fit.healing.Healing
initialization of the method - empty by default
initHealing() - Static method in class cz.vutbr.fit.healing.HealingThreads
initialization of the method - empty by default
initHealing() - Static method in class cz.vutbr.fit.healing.HealingYieldThreads
initialization of the method - empty by default
initialValue() - Method in class cz.vutbr.fit.racedetector.RDThreadLocal
Returns RDThread subclass according to the activated detector.
instance - Variable in class cz.vutbr.fit.racedetector.RDVariable
Reference to a target program object.
isAtomicPattern(Atomicity) - Static method in class cz.vutbr.fit.findbugs.atom.detect.FilterAtomicPattern
 
isAtomicSectionEnd(RDVariable, String) - Method in class cz.vutbr.fit.racedetector.RDThread
Returns true if the given program location is the end of buffered atomic section for this variable.
isBottom() - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomFact
Returns true if this fact represents BOTTOM value - The fact is not valid (e.g. error occured) (bottom of the lattice).
isEnd(String) - Method in interface cz.vutbr.fit.atomicity.Atomicity
Returns true if the given program location represents the end of the atomicity.
isEnd(String) - Method in class cz.vutbr.fit.atomicity.AtomicityDouble
Determines if the given program location represents one of the ends of this atomicity.
isEnd(String) - Method in class cz.vutbr.fit.atomicity.AtomicityMulti
Returns true if the given program location represents the end of the atomicity.
isEnd(String) - Method in class cz.vutbr.fit.atomicity.AtomicitySimple
Returns true if the given program location represents the end of the atomicity.
isEnd(String) - Method in class cz.vutbr.fit.atomicity.AtomicityTriple
Determines if the given program location represents one of the ends of this atomicity.
isFactValid(AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Returns true if the fact represents a value which is not TOP (I know nothing) or BOTTOM (error occured).
isHealedVariable(RDVariable) - Method in class cz.vutbr.fit.healing.Healing
Returns true if the given variable is healed by this thread.
isLoggerDone - Variable in class cz.vutbr.fit.racedetector.LogProducer
 
isTop(AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Returns true if the given fact is TOP.
isTop() - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomFact
Returns true if this fact represents TOP value - I know nothing about the fact at this location (top of the lattice).
isTrueRace(RaceDetector.Operation) - Method in class cz.vutbr.fit.racedetector.ARInfo
Returns true if the given atomicity ending operation means that it was a true race.
isVarInSet(String) - Method in class cz.vutbr.fit.racedetector.RDVarSet
Returns true if the given variable description leads to the variable which is stored in this class.

A B C D E F G H I J L M N O P Q R S T U V W