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

R

register(String, Class<? extends ICrystalAnnotation>, boolean) - Method in class edu.cmu.cs.crystal.annotations.AnnotationDatabase
 
registerAnalysis(ICrystalAnalysis) - Method in class edu.cmu.cs.crystal.internal.Crystal
Registers an analysis with the framework.
registerAnnotation(String, Class<? extends ICrystalAnnotation>, boolean) - Method in class edu.cmu.cs.crystal.internal.Crystal
 
registerAnnotationsWithDatabase(AnnotationDatabase) - Method in class edu.cmu.cs.crystal.internal.Crystal
Register all of the annotations in the given annotation registry with the given annotation database.
REGRESSION_LOGGER - Static variable in class edu.cmu.cs.crystal.internal.StandardAnalysisReporter
 
remove(K) - Method in class edu.cmu.cs.crystal.simple.TupleLatticeElement
Removes an element from the tuple.
remove(int) - Method in class edu.cmu.cs.crystal.util.ConsList
 
remove(Object) - Method in class edu.cmu.cs.crystal.util.ConsList
 
removeAll(Collection<?>) - Method in class edu.cmu.cs.crystal.util.ConsList
 
removeElement(T) - Method in class edu.cmu.cs.crystal.util.ConsList
Removes every element in the list where hd().equals(t) == true.
removeElementOnce(T) - Method in class edu.cmu.cs.crystal.util.ConsList
Removes the first element in the list where hd().equals(t) == true.
removeHandlerListener(IHandlerListener) - Method in class edu.cmu.cs.crystal.internal.ClearWarningHandler
 
removeHandlerListener(IHandlerListener) - Method in class edu.cmu.cs.crystal.internal.EnableAnalysisHandler
 
removeHandlerListener(IHandlerListener) - Method in class edu.cmu.cs.crystal.internal.RunCrystalHandler
 
removeHandlerListener(IHandlerListener) - Method in class edu.cmu.cs.crystal.internal.RunCrystalOnCurrentFileHandler
 
replace(T) - Method in interface edu.cmu.cs.crystal.util.ExtendedIterator
Replaces in the underlying collection the last element returned by the iterator with the given value.
reporter() - Method in interface edu.cmu.cs.crystal.IRunCrystalCommand
The reporter to be used.
reportUserProblem(String, ASTNode, String) - Method in interface edu.cmu.cs.crystal.IAnalysisReporter
Indicate that the running of this analysis on this compilation unit has created a problem.
reportUserProblem(String, ASTNode, String, IAnalysisReporter.SEVERITY) - Method in interface edu.cmu.cs.crystal.IAnalysisReporter
Indicate that the running of this analysis on this compilation unit has created a problem.
reportUserProblem(String, ASTNode, String) - Method in class edu.cmu.cs.crystal.internal.StandardAnalysisReporter
 
reportUserProblem(String, ASTNode, String, IAnalysisReporter.SEVERITY) - Method in class edu.cmu.cs.crystal.internal.StandardAnalysisReporter
 
resolveBinaryType(IType, String) - Static method in class edu.cmu.cs.crystal.util.Utilities
For resolving binary types.
resolveBinding() - Method in interface edu.cmu.cs.crystal.tac.model.ConstructorCallInstruction
 
resolveBinding() - Method in interface edu.cmu.cs.crystal.tac.model.SourceVariableDeclaration
Resolves the declared variable's binding.
resolveBinding() - Method in interface edu.cmu.cs.crystal.tac.model.TACInvocation
Returns the method binding for this invocation.
resolveFieldBinding() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseBrokenFieldAccess
 
resolveFieldBinding() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseFieldDeclaration
 
resolveFieldBinding() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseImplicitFieldAccess
 
resolveFieldBinding() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseReferenceFieldAccess
 
resolveFieldBinding() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseSuperFieldAccess
 
resolveFieldBinding() - Method in interface edu.cmu.cs.crystal.tac.eclipse.IEclipseFieldAccess
Resolves the binding for the accessed field.
resolveFieldBinding() - Method in interface edu.cmu.cs.crystal.tac.model.TACFieldAccess
Returns the binding of the field being accessed.
resolveInstantiatedType() - Method in interface edu.cmu.cs.crystal.tac.model.NewObjectInstruction
Resolves the instantiated type, which will usually be a class.
resolveThisType() - Method in class edu.cmu.cs.crystal.tac.eclipse.EclipseTAC
Returns the type of this, if any.
resolveType() - Method in class edu.cmu.cs.crystal.tac.model.SourceVariable
 
resolveType() - Method in class edu.cmu.cs.crystal.tac.model.SuperVariable
 
resolveType() - Method in class edu.cmu.cs.crystal.tac.model.TempVariable
 
resolveType() - Method in class edu.cmu.cs.crystal.tac.model.ThisVariable
 
resolveType() - Method in class edu.cmu.cs.crystal.tac.model.TypeVariable
Because this class represents a type variable, getType and resolveType both return the same value; the type represented by this variable.
resolveType() - Method in class edu.cmu.cs.crystal.tac.model.Variable
null or the type binding of this variable.
resolveType(IType, String) - Static method in class edu.cmu.cs.crystal.util.Utilities
To be used instead of IType.resolveType(String).
retainAll(Collection<?>) - Method in class edu.cmu.cs.crystal.util.ConsList
 
ReturnInstruction - Interface in edu.cmu.cs.crystal.tac.model
return x, the return of a value.
ReturnInstructionImpl - Class in edu.cmu.cs.crystal.tac.eclipse
 
ReturnInstructionImpl(ReturnStatement, IEclipseVariableQuery) - Constructor for class edu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl
Creates a return instruction for the given return statement, which must return a value.
run(IAction) - Method in class edu.cmu.cs.crystal.internal.CrystalFileAction
 
run(IAction) - Method in class edu.cmu.cs.crystal.internal.CrystalUIAction
required by the IWorkbenchWindowActionDelegate interface
run(IAction) - Method in class edu.cmu.cs.crystal.internal.DisplayCrystalInfo
The action has been activated.
run(AnnotationDatabase) - Method in interface edu.cmu.cs.crystal.internal.ISingleCrystalJob
Run this single analysis.
runAnalyses(IRunCrystalCommand, IProgressMonitor) - Method in class edu.cmu.cs.crystal.internal.Crystal
 
runAnalysis(IAnalysisReporter, IAnalysisInput, ITypeRoot, CompilationUnit) - Method in class edu.cmu.cs.crystal.AbstractCompilationUnitAnalysis
This implementation of runAnalysis will set the reporter and input and then call the abstract method $analyzeCompilationUnit.
runAnalysis(IAnalysisReporter, IAnalysisInput, ITypeRoot, CompilationUnit) - Method in class edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
AbstractCrystalMethodAnalysis.beforeAllMethods(org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.dom.CompilationUnit) is run before any method is analyzed.
Then each method is analysed by AbstractCrystalMethodAnalysis.analyzeMethod(MethodDeclaration).
Finally AbstractCrystalMethodAnalysis.afterAllMethods(org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.dom.CompilationUnit) is run after all methods have been analyzed.
runAnalysis(IAnalysisReporter, IAnalysisInput, ITypeRoot, CompilationUnit) - Method in interface edu.cmu.cs.crystal.ICrystalAnalysis
Run the analysis!
RunCrystalHandler - Class in edu.cmu.cs.crystal.internal
A class that will handle the "CrystalPlugin.runcrystal" command.
RunCrystalHandler() - Constructor for class edu.cmu.cs.crystal.internal.RunCrystalHandler
 
RunCrystalOnCurrentFileHandler - Class in edu.cmu.cs.crystal.internal
Handler for the CrystalPlugin.runcrystaloncurrent command that runs Crystal on the file in the currently active editor.
RunCrystalOnCurrentFileHandler() - Constructor for class edu.cmu.cs.crystal.internal.RunCrystalOnCurrentFileHandler
 
runJobs() - Method in interface edu.cmu.cs.crystal.internal.ICrystalJob
 

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