AnalysisResults

Struct AnalysisResults 

Source
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 formatted version 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: Program

The 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_offset indicates where in the source the name is used,
  • identifier is the StringIdentifier for the interned name,
  • imported indicates 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: IssueCollection

A 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: IssueCollection

A 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

Source

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:

  1. Parsing via Module::build to generate an AST and detect syntax errors.
  2. Semantic Analysis to resolve names and check for issues (e.g. undefined variables).
  3. Linting according to the specified Settings.
  4. Formatting using FormatSettings, provided no parse errors were found.
§Arguments
  • code - A String containing 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

Source§

fn clone(&self) -> AnalysisResults

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for AnalysisResults

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Serialize for AnalysisResults

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts 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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts 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
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more