clang::ssaf::SSAFOptions Class Reference

#include "clang/Frontend/SSAFOptions.h"

Public Member Functions
	SSAFOptions ()

Public Attributes
std::vector< std::string >	ExtractSummaries
	List of SSAF extractors to enable.
std::string	TUSummaryFile
	The TU summary output file with the file extension representing the serialization format.
std::string	CompilationUnitId
	Stable identifier used as the name of the CompilationUnit BuildNamespace of every produced TU summary.
std::string	SourceTransformation
	Name of the SSAF source transformation to run.
std::string	GlobalScopeAnalysisResult
	Path of the WPASuite input consumed by the source transformation.
std::string	SrcEditFile
	Path of the source-edit output file produced by the source transformation.
std::string	TransformationReportFile
	Path of the transformation-report output file produced by the source transformation.
unsigned	ShowExtractors: 1
	Show the list of available SSAF summary extractors and exit.
unsigned	ShowFormats: 1
	Show the list of available SSAF serialization formats and exit.
unsigned	IncludeLocalEntities: 1
	Include block-scope (function-local) declarations in extracted SSAF summaries.
unsigned	ExtractFromSystemHeaders: 1
	Extract from system-header declarations during SSAF contributor enumeration.

Detailed Description

Definition at line 18 of file SSAFOptions.h.

Constructor & Destructor Documentation

SSAFOptions()

clang::ssaf::SSAFOptions::SSAFOptions ( )

inline

Definition at line 77 of file SSAFOptions.h.

References ExtractFromSystemHeaders, IncludeLocalEntities, ShowExtractors, ShowFormats, and SSAFOptions().

Referenced by SSAFOptions().

Member Data Documentation

CompilationUnitId

std::string clang::ssaf::SSAFOptions::CompilationUnitId

Stable identifier used as the name of the CompilationUnit BuildNamespace of every produced TU summary.

Controlled by: –ssaf-compilation-unit-id

Definition at line 32 of file SSAFOptions.h.

Referenced by reportOrphanOptionMisuse().

ExtractFromSystemHeaders

unsigned clang::ssaf::SSAFOptions::ExtractFromSystemHeaders

Extract from system-header declarations during SSAF contributor enumeration.

Defaults to true to preserve the original behavior. Controlled by: –ssaf-no-extract-from-system-headers

Definition at line 75 of file SSAFOptions.h.

Referenced by clang::ssaf::extractAndAddSummaries(), and SSAFOptions().

ExtractSummaries

std::vector<std::string> clang::ssaf::SSAFOptions::ExtractSummaries

List of SSAF extractors to enable.

Controlled by: –ssaf-extract-summaries

Definition at line 22 of file SSAFOptions.h.

GlobalScopeAnalysisResult

std::string clang::ssaf::SSAFOptions::GlobalScopeAnalysisResult

Path of the WPASuite input consumed by the source transformation.

The extension selects which serialization format reads it. Controlled by: –ssaf-global-scope-analysis-result

Definition at line 43 of file SSAFOptions.h.

Referenced by reportOrphanOptionMisuse().

IncludeLocalEntities

unsigned clang::ssaf::SSAFOptions::IncludeLocalEntities

Include block-scope (function-local) declarations in extracted SSAF summaries.

Defaults to false to preserve the original behavior. Controlled by: –ssaf-include-local-entities

Definition at line 69 of file SSAFOptions.h.

Referenced by SSAFOptions().

ShowExtractors

unsigned clang::ssaf::SSAFOptions::ShowExtractors

Show the list of available SSAF summary extractors and exit.

Controlled by: –ssaf-list-extractors

Definition at line 58 of file SSAFOptions.h.

Referenced by SSAFOptions().

ShowFormats

unsigned clang::ssaf::SSAFOptions::ShowFormats

Show the list of available SSAF serialization formats and exit.

Controlled by: –ssaf-list-formats

Definition at line 63 of file SSAFOptions.h.

Referenced by SSAFOptions().

SourceTransformation

std::string clang::ssaf::SSAFOptions::SourceTransformation

Name of the SSAF source transformation to run.

Exactly one transformation per invocation; non-empty implies the source-transformation pipeline is active. Controlled by: –ssaf-source-transformation

Definition at line 38 of file SSAFOptions.h.

Referenced by clang::CreateFrontendAction(), and reportOrphanOptionMisuse().

SrcEditFile

std::string clang::ssaf::SSAFOptions::SrcEditFile

Path of the source-edit output file produced by the source transformation.

Controlled by: –ssaf-src-edit-file

Definition at line 48 of file SSAFOptions.h.

Referenced by clang::CreateFrontendAction(), and reportOrphanOptionMisuse().

TransformationReportFile

std::string clang::ssaf::SSAFOptions::TransformationReportFile

Path of the transformation-report output file produced by the source transformation.

Controlled by: –ssaf-transformation-report-file

Definition at line 53 of file SSAFOptions.h.

Referenced by clang::CreateFrontendAction(), and reportOrphanOptionMisuse().

TUSummaryFile

std::string clang::ssaf::SSAFOptions::TUSummaryFile

The TU summary output file with the file extension representing the serialization format.

Controlled by: –ssaf-tu-summary-file

Definition at line 27 of file SSAFOptions.h.

Referenced by clang::CreateFrontendAction().

---

The documentation for this class was generated from the following file:

• include/clang/Frontend/SSAFOptions.h