clang API Documentation
#include <Consumed.h>
Public Member Functions | |
| virtual | ~ConsumedWarningsHandlerBase () |
| virtual void | emitDiagnostics () |
| Emit the warnings and notes left by the analysis. | |
| virtual void | warnLoopStateMismatch (SourceLocation Loc, StringRef VariableName) |
| Warn that a variable's state doesn't match at the entry and exit of a loop. | |
| virtual void | warnParamReturnTypestateMismatch (SourceLocation Loc, StringRef VariableName, StringRef ExpectedState, StringRef ObservedState) |
| Warn about parameter typestate mismatches upon return. | |
| virtual void | warnParamTypestateMismatch (SourceLocation LOC, StringRef ExpectedState, StringRef ObservedState) |
| virtual void | warnReturnTypestateForUnconsumableType (SourceLocation Loc, StringRef TypeName) |
| Warn about return typestates set for unconsumable types. | |
| virtual void | warnReturnTypestateMismatch (SourceLocation Loc, StringRef ExpectedState, StringRef ObservedState) |
| Warn about return typestate mismatches. | |
| virtual void | warnUseOfTempInInvalidState (StringRef MethodName, StringRef State, SourceLocation Loc) |
| Warn about use-while-consumed errors. | |
| virtual void | warnUseInInvalidState (StringRef MethodName, StringRef VariableName, StringRef State, SourceLocation Loc) |
| Warn about use-while-consumed errors. | |
Definition at line 43 of file Consumed.h.
Definition at line 55 of file Consumed.cpp.
| virtual void clang::consumed::ConsumedWarningsHandlerBase::emitDiagnostics | ( | ) | [inline, virtual] |
Emit the warnings and notes left by the analysis.
Definition at line 50 of file Consumed.h.
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnLoopStateMismatch | ( | SourceLocation | Loc, |
| StringRef | VariableName | ||
| ) | [inline, virtual] |
Warn that a variable's state doesn't match at the entry and exit of a loop.
| Loc | -- The location of the end of the loop. |
| VariableName | -- The name of the variable that has a mismatched state. |
Definition at line 59 of file Consumed.h.
Referenced by clang::consumed::ConsumedStateMap::intersectAtLoopHead().
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnParamReturnTypestateMismatch | ( | SourceLocation | Loc, |
| StringRef | VariableName, | ||
| StringRef | ExpectedState, | ||
| StringRef | ObservedState | ||
| ) | [inline, virtual] |
Warn about parameter typestate mismatches upon return.
| Loc | -- The SourceLocation of the return statement. |
| ExpectedState | -- The state the return value was expected to be in. |
| ObservedState | -- The state the return value was observed to be in. |
Definition at line 71 of file Consumed.h.
Referenced by clang::consumed::ConsumedStateMap::checkParamsForReturnTypestate().
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnParamTypestateMismatch | ( | SourceLocation | LOC, |
| StringRef | ExpectedState, | ||
| StringRef | ObservedState | ||
| ) | [inline, virtual] |
Definition at line 77 of file Consumed.h.
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnReturnTypestateForUnconsumableType | ( | SourceLocation | Loc, |
| StringRef | TypeName | ||
| ) | [inline, virtual] |
Warn about return typestates set for unconsumable types.
| Loc | -- The location of the attributes. |
| TypeName | -- The name of the unconsumable type. |
Definition at line 88 of file Consumed.h.
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnReturnTypestateMismatch | ( | SourceLocation | Loc, |
| StringRef | ExpectedState, | ||
| StringRef | ObservedState | ||
| ) | [inline, virtual] |
Warn about return typestate mismatches.
| Loc | -- The SourceLocation of the return statement. |
| ExpectedState | -- The state the return value was expected to be in. |
| ObservedState | -- The state the return value was observed to be in. |
Definition at line 100 of file Consumed.h.
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnUseInInvalidState | ( | StringRef | MethodName, |
| StringRef | VariableName, | ||
| StringRef | State, | ||
| SourceLocation | Loc | ||
| ) | [inline, virtual] |
Warn about use-while-consumed errors.
| MethodName | -- The name of the method that was incorrectly invoked. |
| State | -- The state the object was used in. |
| VariableName | -- The name of the variable that holds the unique value. |
| Loc | -- The SourceLocation of the method invocation. |
Definition at line 125 of file Consumed.h.
| virtual void clang::consumed::ConsumedWarningsHandlerBase::warnUseOfTempInInvalidState | ( | StringRef | MethodName, |
| StringRef | State, | ||
| SourceLocation | Loc | ||
| ) | [inline, virtual] |
Warn about use-while-consumed errors.
| MethodName | -- The name of the method that was incorrectly invoked. |
| State | -- The state the object was used in. |
| Loc | -- The SourceLocation of the method invocation. |
Definition at line 111 of file Consumed.h.