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',
);