pub struct AnalysisResults {
pub strings: HashSet<(StringIdentifier, String)>,
pub program: Program,
pub parse_error: Option<Issue>,
pub names: HashSet<(usize, (StringIdentifier, bool))>,
pub formatted: Option<String>,
pub semantic_issues: IssueCollection,
pub linter_issues: IssueCollection,
}Expand description
Represents the result of analyzing and formatting PHP code.
This struct encapsulates various aspects of the PHP code analysis process, providing detailed insights into the source code, including:
- Interned strings used in the code.
- The resulting AST (
Program) after parsing. - An optional parse error if the code was invalid.
- Resolved name information (e.g., whether a name was imported).
- A collection of semantic issues found during analysis.
- A collection of linter issues found during linting (according to
Settings). - Optionally, a
formattedversion of the code if no parse error was encountered.
Note: This struct is serialized into JSON (via serde) for use in
WebAssembly and browser environments. For direct Rust usage, it can be
used as-is in a native context.
Fields§
§strings: HashSet<(StringIdentifier, String)>A set of interned strings used in the source code.
Each string is represented as a tuple containing a StringIdentifier
and the actual string value.
program: ProgramThe abstract syntax tree (AST) resulting from parsing the source code.
If parse_error is Some, this AST may be incomplete or invalid.
parse_error: Option<Issue>An optional parse error, if one occurred during parsing.
If this is Some, then formatted will be None,
because the code could not be validly parsed.
names: HashSet<(usize, (StringIdentifier, bool))>The resolved names within the source code.
Each entry is a tuple (byte_offset, (identifier, imported)), where:
byte_offsetindicates where in the source the name is used,identifieris theStringIdentifierfor the interned name,importedindicates whether this name was imported or locally declared.
formatted: Option<String>The formatted version of the source code, if there were no parse errors.
This is produced by Mago’s internal formatter and is only set if
parse_error is None.
semantic_issues: IssueCollectionA collection of semantic issues found during semantic analysis.
These might include invalid modifier usage, incorrect return types, or undefined variable references, among others.
linter_issues: IssueCollectionA collection of linter issues discovered based on the specified
Settings.
Includes warnings or notices about potential coding standard violations, unused variables, or other recommended improvements.
Implementations§
Source§impl AnalysisResults
impl AnalysisResults
Sourcepub fn analyze(
code: String,
lint_settings: Settings,
format_settings: FormatSettings,
) -> Self
pub fn analyze( code: String, lint_settings: Settings, format_settings: FormatSettings, ) -> Self
Analyzes and (optionally) formats the provided PHP code.
This function performs the following steps:
- Parsing via
Module::buildto generate an AST and detect syntax errors. - Semantic Analysis to resolve names and check for issues (e.g. undefined variables).
- Linting according to the specified
Settings. - Formatting using
FormatSettings, provided no parse errors were found.
§Arguments
code- AStringcontaining the PHP code to be analyzed.linter_settings- Configuration for which linter plugins and rules should run.format_settings- Configuration for how the code should be formatted.
§Returns
Returns an AnalysisResults containing the AST, parse/semantic/linter issues,
and formatted code (if no parse error).
Trait Implementations§
Source§impl Clone for AnalysisResults
impl Clone for AnalysisResults
Source§fn clone(&self) -> AnalysisResults
fn clone(&self) -> AnalysisResults
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for AnalysisResults
impl Debug for AnalysisResults
Auto Trait Implementations§
impl Freeze for AnalysisResults
impl RefUnwindSafe for AnalysisResults
impl Send for AnalysisResults
impl Sync for AnalysisResults
impl Unpin for AnalysisResults
impl UnwindSafe for AnalysisResults
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more