Search results

From Event-B
Jump to navigationJump to search
  • ...ute type (simple id token, unique for attribute types within the extension namespace). The token cannot contain dot (.) or whitespace. ...le id token, unique for (filter/processor/root) types within the extension namespace).
    24 KB (3,013 words) - 16:24, 5 July 2011
  • Prefix is a string literal used to emulate a dedicated namespace for each module. It has the effect of changing the names of all the importe
    18 KB (2,784 words) - 10:57, 6 September 2010
  • Bug 3074011: a namespace-sensitive translation problem
    15 KB (2,008 words) - 15:34, 10 January 2011