Tasks - gsdlab/claferwiki GitHub Wiki

• (Chris) implement a simple plugin that calls the clafer compiler via command line on a clafer code block and include the output of the compiler back into the page

  abstract A
       b ?
  

Plugins are run at different times; we need to decide what type of plugin would work best.

• (Kacper/Michal) talk to Jimmy about module system that will allow working with models incrementally. Worlds vs. modules. Do we need some composition rules for worlds because modules introduce new namespaces? We assume for now that each wiki page is a separate module.

• (Chris) support multiple code block on a single page but treat all of them as a single module

• (Chris) Order of plugin execution

• (Chris) Code block parameters

• (Chris) html output generator

  • for each top-level declaration, genereate an anchor with its unique ID
  • for each supertype declaration, generate a link to that supertype (a : b)
  • for each reference, generate a link to the reference type c -> c

• (Chris) look into caching, can we store .cfr files in the cache