Uses of Class
cz.vutbr.fit.racedetector.Access

Packages that use Access
cz.vutbr.fit.atomicity   
cz.vutbr.fit.findbugs.atom.analysis   
cz.vutbr.fit.findbugs.atom.detect   
cz.vutbr.fit.racedetector Race detector for IBM ConTest What is a data race? 
 

Uses of Access in cz.vutbr.fit.atomicity
 

Fields in cz.vutbr.fit.atomicity declared as Access
 Access AtomicityDouble.atomBegin
           
 Access AtomicityMulti.atomBegin
           
 Access AtomicitySimple.atomBegin
           
 Access AtomicityTriple.atomBegin
           
 

Methods in cz.vutbr.fit.atomicity that return Access
 Access[] Atomicity.getAtomEnds()
          Returns the array of ending Accesses.
 Access[] AtomicityDouble.getAtomEnds()
          Returns the array of ending Accesses.
 Access[] AtomicityMulti.getAtomEnds()
          Returns the array of ending Accesses.
 Access[] AtomicitySimple.getAtomEnds()
          Returns the array of ending Accesses.
 Access[] AtomicityTriple.getAtomEnds()
          Returns the array of ending Accesses.
 

Methods in cz.vutbr.fit.atomicity with parameters of type Access
static Atomicity AtomicityCollection.getNewAtomicity(Access begin, java.util.HashSet<Access> ends)
          Returns the right Atomicity object according to the number of ends the atomicity should have.
 

Method parameters in cz.vutbr.fit.atomicity with type arguments of type Access
static Atomicity AtomicityCollection.getNewAtomicity(Access begin, java.util.HashSet<Access> ends)
          Returns the right Atomicity object according to the number of ends the atomicity should have.
 

Constructors in cz.vutbr.fit.atomicity with parameters of type Access
AtomicityDouble(Access aBegin, Access aEnd1, Access aEnd2)
          Constructor takes the two ends.
AtomicityMulti(Access aBegin, java.util.HashSet<Access> aEnd)
          Constructor gets a set of ends of the atomicity.
AtomicitySimple(Access aBegin, Access aEnd)
          Constructor takes the end of the atomicity.
AtomicityTriple(Access aBegin, Access aEnd1, Access aEnd2, Access aEnd3)
          Constructor takes the two ends.
 

Constructor parameters in cz.vutbr.fit.atomicity with type arguments of type Access
AtomicityMulti(Access aBegin, java.util.HashSet<Access> aEnd)
          Constructor gets a set of ends of the atomicity.
 

Uses of Access in cz.vutbr.fit.findbugs.atom.analysis
 

Fields in cz.vutbr.fit.findbugs.atom.analysis declared as Access
 Access CTVarInfo.access
           
 

Methods in cz.vutbr.fit.findbugs.atom.analysis that return types with arguments of type Access
 java.util.HashSet<Access> AtomFact.getVLA(java.lang.String var)
          Returns last variable access for the given variable or null.
 java.util.HashMap<java.lang.String,java.util.HashSet<Access>> AtomFact.getVLAcopy()
          Get the variables last access map carrying by this fact.
 

Methods in cz.vutbr.fit.findbugs.atom.analysis with parameters of type Access
 void AtomFact.addVLA(java.lang.String var, Access access)
          Add an information to the fact.
 

Method parameters in cz.vutbr.fit.findbugs.atom.analysis with type arguments of type Access
 void AtomFact.joinVLAs(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
          Set the variables last access map.
 void AtomFact.setVLA(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
          Set the variables last access map.
 

Constructor parameters in cz.vutbr.fit.findbugs.atom.analysis with type arguments of type Access
AtomFact(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
          Constructor.
 

Uses of Access in cz.vutbr.fit.findbugs.atom.detect
 

Methods in cz.vutbr.fit.findbugs.atom.detect with parameters of type Access
 void AtomCollection.add(Access previous, Access actual)
          Add a new tuple into the list.
 

Uses of Access in cz.vutbr.fit.racedetector
 

Methods in cz.vutbr.fit.racedetector that return Access
 Access ERThreadInfo.getAtomAccess()
          Returns string of program location where the last access to the variable took place and the access mode.