Uses of Class
edu.umd.cs.findbugs.ba.obl.State
Packages that use State
-
Uses of State in edu.umd.cs.findbugs.ba.obl
Methods in edu.umd.cs.findbugs.ba.obl that return StateModifier and TypeMethodDescriptionState.duplicate()
StateSet.getStateWithObligationSet
(ObligationSet obligationSet) Get the State which has the given ObligationSet.Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type StateModifier and TypeMethodDescriptionStateSet.createEmptyMap()
Return a newly allocated Map of ObligationSet to State that may be passed to applyToAllStatesAndUpdateMap().StateSet.getPrefixStates
(Path path) Get all States that have Paths which are prefixes of the given Path.StateSet.stateIterator()
Return an Iterator over the States in the StateSet.Method parameters in edu.umd.cs.findbugs.ba.obl with type arguments of type StateModifier and TypeMethodDescriptionvoid
StateSet.replaceMap
(Map<ObligationSet, State> stateMap) Replace the map of ObligationSets to States with the given one.