Framework MVC

for DotNet environment

The way Julia handles this framework should reduce Deadcode warnings on generated page methods.

Required libraries: System.Web.Mvc.dll

Applicability

This specification gets automatically applied when:

  • the framework of the analysis contains the word dotnet (case insensitive)
  • a class whose name is equals to System.Web.Mvc.WebViewPage_1 is supertype of at least one application's class


Specifications on application code

These are conditions that, if satisfied on a given program component, will cause the specified annotations to be placed on such component. These will annotate only program components coming from the application under analysis, and not the libraries. This framework defines the following specifications:

  • annotate any method that satisfies the following:
      (that is defined in a class that is subtype of a class whose name is equal to System.Web.WebPages.WebPageExecutingBase and (whose name is equal to Execute and (whose return type is equal to void and that has a number of parameters is equal to 0)))
    with:
    • com.juliasoft.julia.extraction.EntryPoint
  • annotate any method that satisfies the following:
      (that is defined in a class that is subtype of a class whose name is equal to System.Web.WebPages.WebPageExecutingBase and (whose name is equal to get_ApplicationInstance and (that has a return type that is subtype of a class whose name is equal to System.Web.HttpApplication and that has a number of parameters is equal to 0)))
    with:
    • com.juliasoft.julia.extraction.EntryPoint
  • annotate any method that satisfies the following:
      (that is defined in a class whose name starts with __ASP.FastObjectFactory and (whose name starts with Create_ASP_ and (that has a return type whose name is equal to System.Object and that has a number of parameters is equal to 0)))
    with:
    • com.juliasoft.julia.extraction.EntryPoint