class Analyzer::Haskell::Servant

Defined in:

analyzer/analyzers/haskell/servant.cr

Constant Summary

HTTP_METHOD_VERBS = ["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"] of ::String
MAX_EXPANSION_BYTES = 1000000

visited only blocks cycles along one path, not repeated sibling expansions (type A = B :<|> B doubles each level -> O(2^N)). Cap the total expanded size so a crafted alias chain can't hang/OOM the scan; real Servant bodies expand to far under this, so output is unchanged.

SPLIT_RULES = Noir::TopLevelSplit::Rules.new(nest: (Noir::TopLevelSplit::Nest::Paren | Noir::TopLevelSplit::Nest::Bracket) | Noir::TopLevelSplit::Nest::Brace, quotes: "\"", escape: Noir::TopLevelSplit::Escape::InQuotes, strip: true, empties: Noir::TopLevelSplit::Empties::DropAll, per_kind: true, clamp: true)

Servant type-level API operators. Double quotes only: Haskell's ' is a tick on promoted constructors ('[JSON]) and a primed identifier suffix, never a string delimiter, so treating it as a quote would swallow the rest of every Get '[JSON] X. <> are deliberately NOT counted as a nest kind even though :<|> contains both: Haskell writes no angle generics, and counting them would leave the separator's own < on the depth counter and suppress every later split. Per-kind clamped counters and Empties::DropAll are taken verbatim from the loop this replaces (three independent *_depth variables, each -= 1 if > 0, and a final .map(&.strip).reject(&.empty?)), both of which are observable on the unbalanced fragments the recursive callers hand it.

Class Method Summary

Instance Method Summary

Instance methods inherited from class Analyzer

analyze analyze, base_path : String base_path, base_paths : Array(String) base_paths, base_relative_path(path : String) : String base_relative_path, callees_needed? : Bool callees_needed?, content_matches?(content : String, markers : Regex) : Bool content_matches?, http_header_name(name : String) : String | Nil http_header_name, line_number_for_index(content : String, char_index : Int32) : Int32 line_number_for_index, logger : NoirLogger logger, parallel_analyze(files : Array(String), &block : String -> Nil) parallel_analyze, read_file_content(path : String) : String read_file_content, result : Array(Endpoint) result, tech : String tech, unique_params(params : Array(Param)) : Array(Param) unique_params, url : String url, web_root_path(path : String, markers : Array(String)) : String web_root_path

Constructor methods inherited from class Analyzer

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

Macros inherited from class Analyzer

analyzer_for(tech) analyzer_for

Instance methods inherited from module FileHelper

all_files : Array(String) all_files, get_files_by_basename(basename : String) : Array(String) get_files_by_basename, get_files_by_extension(extension : String) : Array(String) get_files_by_extension, get_files_by_extensions(extensions : Array(String)) : Array(String) get_files_by_extensions, 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_files_by_relative_path(relative_path : String, root : String = "") : Array(String) get_files_by_relative_path, 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, walked_path(expanded : String) : String walked_path

Class Method Detail

def self.tech_name : String #

[View source]

Instance Method Detail

def analyze #

[View source]
def tech : String #

Instance-side view of the same declaration. The per-file rescues live on this base class, which has no way to name the analyzer that is running inside them, so a skipped file could not be attributed to a tech. Deriving it from analyzer_for keeps the name written exactly once.


[View source]