class Analyzer::Rust::Rwf

Overview

RWF analyzer (tree-sitter port). RWF wires routes via the route!("/path" => ControllerName) macro and resolves the implementation as a impl Controller for ControllerName block whose handle method's body contains the request handling.

The analyzer walks the AST once for both pieces, then joins them:

  1. Collect every impl Controller for X { ... }'s handle method body into a map keyed by controller name.
  2. Walk macro_invocation nodes whose macro is route! and extract (path, controller_name) from the macro's token stream.
  3. For each route, scan the controller's handle body for Method::GET / Method::POST etc. to enumerate verbs and pull params from request.path_parameter(...) / request.query_parameter(...) / request.body() / request.form_data() / request.header(...) / request.cookie(...) shapes.

Defined in:

analyzer/analyzers/rust/rwf.cr

Constant Summary

HTTP_METHODS = ["GET", "POST", "PUT", "DELETE", "PATCH", "HEAD", "OPTIONS"] of ::String

Instance Method Summary

Instance methods inherited from class Analyzer::Rust::RustEngine

analyze analyze, analyze_file(path : String) : Array(Endpoint) analyze_file

Class methods inherited from class Analyzer::Rust::RustEngine

collect_cfg_test_regions(source : String) : Array(Tuple(Int32, Int32)) collect_cfg_test_regions, fan_out_verbs(verb : String) : Array(String) fan_out_verbs, inside_test_region?(node : LibTreeSitter::TSNode, regions : Array(Tuple(Int32, Int32))) : Bool inside_test_region?, test_path?(path : String) : Bool test_path?

Instance methods inherited from class Analyzer

analyze analyze, base_path : String base_path, base_paths : Array(String) base_paths, callees_needed? : Bool callees_needed?, logger : NoirLogger logger, parallel_analyze(channel : Channel(String), &block : String -> Nil) parallel_analyze, read_file_content(path : String) : String read_file_content, result : Array(Endpoint) result, url : String url

Constructor methods inherited from class Analyzer

new(options : Hash(String, YAML::Any)) new

Macros inherited from class Analyzer

define_getter_methods(names) define_getter_methods

Instance methods inherited from module FileHelper

all_files : Array(String) all_files, get_files_by_extension(extension : String) : Array(String) get_files_by_extension, get_files_by_prefix(prefix : String) : Array(String) get_files_by_prefix, get_files_by_prefix_and_extension(prefix : String, extension : String) : Array(String) get_files_by_prefix_and_extension, get_public_dir_files(base_path : String, folder : String) : Array(String) get_public_dir_files, get_public_files(base_path : String, anchors : Array(String) = ["shard.yml", "Gemfile"]) : Array(String) get_public_files, populate_channel_with_files(channel : Channel(String)) populate_channel_with_files, populate_channel_with_filtered_files(channel : Channel(String), extension : String)
populate_channel_with_filtered_files(channel : Channel(String), extensions : Array(String)) populate_channel_with_filtered_files

Instance Method Detail

def analyze_file(path : String) : Array(Endpoint) #

[View source]