class Analyzer::CSharp::ServiceStack

Overview

Extracts endpoints from ServiceStack (https://servicestack.net/) request DTOs. Unlike ASP.NET (Core) MVC, the routable unit is the request DTO class itself, not a controller method:

[Route("/hello/{Name}", "GET")] public class Hello : IReturn { public string Name { get; set; } }

A DTO class can carry more than one [Route(...)] attribute (one per path/verb combination it answers), and the verb list is a comma (or space) delimited string on the attribute itself — omitted entirely means "every verb". Because each attribute names its own verbs, routes are not cross-multiplied against each other the way FastEndpoints' independent Routes()/Verbs() calls are: /movies and /movies/{Id} in the same class can (and in ServiceStack's own examples do) answer completely different verb sets.

ServiceStack also supports registering the same DTOs from code, inside AppHostBase.Configure():

Routes.Add("/hello/{Name}"); Routes.Add("/Contacts", "GET");

which is handled separately: the call site (usually AppHost.cs) rarely lives next to the DTO declaration, so resolving Hello's properties needs a small cross-file type index, similar in spirit to (but simpler than) FastEndpoints' Endpoint<TRequest> resolution.

[Route] is also a legal attribute on Controller actions in classic ASP.NET MVC / Web API, and ASP.NET Core MVC controllers use it too. To avoid stealing those routes (the concern the analyzer project-scoping campaign fixed across the language), this analyzer only looks at files carrying a genuine ServiceStack signal (IReturn/IReturnVoid, using ServiceStack, or the fluent Routes.Add API) and additionally refuses any class whose base list names Controller/ControllerBase — a ServiceStack request DTO never derives from either.

Included Modules

Defined in:

analyzer/analyzers/csharp/servicestack.cr

Constant Summary

CLASS_DECL_REGEX = /\b(?:class|record(?:\s+struct)?|struct)\s+(\w+)(?:<[^>]*>)?(?:\s*\([^)]*\))?\s*(?::\s*([^{;]+))?/

class Hello, record Hello(string Name), record struct Hello, struct Hello — an optional generic parameter list, an optional positional-record parameter list, then an optional base list up to the first { (brace body) or ; (positional record with no body).

CONTROLLER_BASE_RE = /\bControllerBase\b|\bController\b/
FLUENT_CALL_RE = /\.Add<(\w+)>\s*\(\s*"([^"]*)"(?:\s*,\s*"([^"]*)")?\s*\)/

Routes.Add<Hello>("/hello/{Name}"), possibly chained (Routes.Add<A>("/a").Add<B>("/b")) or spread across a fluent call chain starting from a bare Routes on its own line.

ROUTE_ATTR_REGEX = /\[\s*Route\s*\(\s*"([^"]*)"(?:\s*,\s*"([^"]*)")?/

[Route("/path")], [Route("/path", "GET")], [Route("/path", "GET,POST")], or with other attributes stacked on the same line ([Route("/x", "POST"),SystemJson(...)]). Deliberately does not match [FallbackRoute(...)] — "Route" must immediately follow [ and optional whitespace.

SERVICESTACK_SOURCE_RE = /\bIReturn(?:Void)?\b|using\s+ServiceStack\b|\bRoutes\.Add\b/

Whole-file gate: only files that show a real ServiceStack fingerprint are scanned at all. \bIReturn\b also matches IReturn<T> (the < is a non-word char, so \b still lands right after "IReturn").

Class Method Summary

Instance Method Summary

Class methods inherited from module Analyzer::CSharp::Common

aspnet_core_source?(content : String) : Bool aspnet_core_source?, aspnet_framework_source?(content : String) : Bool aspnet_framework_source?, carter_module_source?(content : String) : Bool carter_module_source?, csharp_service_type?(type_name : String) : Bool csharp_service_type?, csharp_test_path?(relative_path : String) : Bool csharp_test_path?, explicit_binding_name(param_def : String) : String | Nil explicit_binding_name, project_root_for(path : String, roots : Array(String)) : String | Nil project_root_for, project_roots(csproj_paths : Array(String)) : Array(String) project_roots, route_placeholder_name(raw : String) : String route_placeholder_name

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]