We generate completion templates from SDF3 templates. You might want to import the generated completion templates, but do not want to use them all. For example, in the compiler construction lab, some students do not want to have syntactic completion for types, because it occurs in places where they want to propose only larger fragments, e.g. variable declarations.
For imported folding declarations, there is a way to disable specific generated rules.
For completion templates, we either might want something similar or a way to specify in SDF3, which templates should actually become completion templates.

Submitted by Guido Wachsmuth on 8 October 2013 at 23:08