boogie constant

LanguageInfo const boogie

The information provided by linguist about the "Boogie" language or content type.

Implementation

static const LanguageInfo boogie = LanguageInfo(
  name: 'Boogie',
  type: LanguageType.programming,
  aliases: [],
  extensions: ['.bpl'],
  filenames: [],
  interpreters: ['boogie'],
  linguistColor: '#c80fa0',
  aceMode: 'text',
  textMateScope: 'source.boogie',
);