Package edu.umd.cs.findbugs.ba.type
Class TypeAnalysis.CachedExceptionSet
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.type.TypeAnalysis.CachedExceptionSet
-
- Enclosing class:
- TypeAnalysis
private class TypeAnalysis.CachedExceptionSet extends java.lang.Object
Repository of information about thrown exceptions computed for a basic block and its outgoing exception edges. It contains a result TypeFrame, which is used to detect when the exception information needs to be recomputed for the block.
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<Edge,ExceptionSet>
edgeExceptionMap
private ExceptionSet
exceptionSet
private TypeFrame
result
-
Constructor Summary
Constructors Constructor Description CachedExceptionSet(TypeFrame result, ExceptionSet exceptionSet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ExceptionSet
getEdgeExceptionSet(Edge edge)
ExceptionSet
getExceptionSet()
boolean
isUpToDate(TypeFrame result)
void
setEdgeExceptionSet(Edge edge, ExceptionSet exceptionSet)
-
-
-
Field Detail
-
result
private final TypeFrame result
-
exceptionSet
private final ExceptionSet exceptionSet
-
edgeExceptionMap
private final java.util.Map<Edge,ExceptionSet> edgeExceptionMap
-
-
Constructor Detail
-
CachedExceptionSet
public CachedExceptionSet(TypeFrame result, ExceptionSet exceptionSet)
-
-
Method Detail
-
isUpToDate
public boolean isUpToDate(TypeFrame result)
-
getExceptionSet
public ExceptionSet getExceptionSet()
-
setEdgeExceptionSet
public void setEdgeExceptionSet(Edge edge, ExceptionSet exceptionSet)
-
getEdgeExceptionSet
public ExceptionSet getEdgeExceptionSet(Edge edge)
-
-