1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- function step21(hljs) {
- var STEP21_IDENT_RE = '[A-Z_][A-Z0-9_.]*';
- var STEP21_KEYWORDS = {
- $pattern: STEP21_IDENT_RE,
- keyword: 'HEADER ENDSEC DATA'
- };
- var STEP21_START = {
- className: 'meta',
- begin: 'ISO-10303-21;',
- relevance: 10
- };
- var STEP21_CLOSE = {
- className: 'meta',
- begin: 'END-ISO-10303-21;',
- relevance: 10
- };
- return {
- name: 'STEP Part 21',
- aliases: ['p21', 'step', 'stp'],
- case_insensitive: true,
- keywords: STEP21_KEYWORDS,
- contains: [
- STEP21_START,
- STEP21_CLOSE,
- hljs.C_LINE_COMMENT_MODE,
- hljs.C_BLOCK_COMMENT_MODE,
- hljs.COMMENT('/\\*\\*!', '\\*/'),
- hljs.C_NUMBER_MODE,
- hljs.inherit(hljs.APOS_STRING_MODE, {illegal: null}),
- hljs.inherit(hljs.QUOTE_STRING_MODE, {illegal: null}),
- {
- className: 'string',
- begin: "'", end: "'"
- },
- {
- className: 'symbol',
- variants: [
- {
- begin: '#', end: '\\d+',
- illegal: '\\W'
- }
- ]
- }
- ]
- };
- }
- module.exports = step21;
|