| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238 |
- /* ***** BEGIN LICENSE BLOCK *****
- * Distributed under the BSD license:
- *
- * Copyright (c) 2012, Ajax.org B.V.
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions are met:
- * * Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * * Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- * * Neither the name of Ajax.org B.V. nor the
- * names of its contributors may be used to endorse or promote products
- * derived from this software without specific prior written permission.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
- * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
- * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL AJAX.ORG B.V. BE LIABLE FOR ANY
- * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
- * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
- * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
- * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
- * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- *
- * ***** END LICENSE BLOCK ***** */
- /* This file was autogenerated from https://raw.github.com/stephenroller/prolog-tmbundle/master/Syntaxes/Prolog.tmLanguage (uuid: ) */
- /****************************************************************************************
- * IT MIGHT NOT BE PERFECT ...But it's a good start from an existing *.tmlanguage file. *
- * fileTypes *
- ****************************************************************************************/
- define(function(require, exports, module) {
- "use strict";
- var oop = require("../lib/oop");
- var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;
- var PrologHighlightRules = function() {
- // regexp must not have capturing parentheses. Use (?:) instead.
- // regexps are ordered -> the first match is used
- this.$rules = { start:
- [ { include: '#comment' },
- { include: '#basic_fact' },
- { include: '#rule' },
- { include: '#directive' },
- { include: '#fact' } ],
- '#atom':
- [ { token: 'constant.other.atom.prolog',
- regex: '\\b[a-z][a-zA-Z0-9_]*\\b' },
- { token: 'constant.numeric.prolog',
- regex: '-?\\d+(?:\\.\\d+)?' },
- { include: '#string' } ],
- '#basic_elem':
- [ { include: '#comment' },
- { include: '#statement' },
- { include: '#constants' },
- { include: '#operators' },
- { include: '#builtins' },
- { include: '#list' },
- { include: '#atom' },
- { include: '#variable' } ],
- '#basic_fact':
- [ { token:
- [ 'entity.name.function.fact.basic.prolog',
- 'punctuation.end.fact.basic.prolog' ],
- regex: '([a-z]\\w*)(\\.)' } ],
- '#builtins':
- [ { token: 'support.function.builtin.prolog',
- regex: '\\b(?:abolish|abort|ancestors|arg|ascii|assert[az]|atom(?:ic)?|body|char|close|conc|concat|consult|define|definition|dynamic|dump|fail|file|free|free_proc|functor|getc|goal|halt|head|head|integer|length|listing|match_args|member|next_clause|nl|nonvar|nth|number|cvars|nvars|offset|op|print?|prompt|putc|quoted|ratom|read|redefine|rename|retract(?:all)?|see|seeing|seen|skip|spy|statistics|system|tab|tell|telling|term|time|told|univ|unlink_clause|unspy_predicate|var|write)\\b' } ],
- '#comment':
- [ { token:
- [ 'punctuation.definition.comment.prolog',
- 'comment.line.percentage.prolog' ],
- regex: '(%)(.*$)' },
- { token: 'punctuation.definition.comment.prolog',
- regex: '/\\*',
- push:
- [ { token: 'punctuation.definition.comment.prolog',
- regex: '\\*/',
- next: 'pop' },
- { defaultToken: 'comment.block.prolog' } ] } ],
- '#constants':
- [ { token: 'constant.language.prolog',
- regex: '\\b(?:true|false|yes|no)\\b' } ],
- '#directive':
- [ { token: 'keyword.operator.directive.prolog',
- regex: ':-',
- push:
- [ { token: 'meta.directive.prolog', regex: '\\.', next: 'pop' },
- { include: '#comment' },
- { include: '#statement' },
- { defaultToken: 'meta.directive.prolog' } ] } ],
- '#expr':
- [ { include: '#comments' },
- { token: 'meta.expression.prolog',
- regex: '\\(',
- push:
- [ { token: 'meta.expression.prolog', regex: '\\)', next: 'pop' },
- { include: '#expr' },
- { defaultToken: 'meta.expression.prolog' } ] },
- { token: 'keyword.control.cutoff.prolog', regex: '!' },
- { token: 'punctuation.control.and.prolog', regex: ',' },
- { token: 'punctuation.control.or.prolog', regex: ';' },
- { include: '#basic_elem' } ],
- '#fact':
- [ { token:
- [ 'entity.name.function.fact.prolog',
- 'punctuation.begin.fact.parameters.prolog' ],
- regex: '([a-z]\\w*)(\\()(?!.*:-)',
- push:
- [ { token:
- [ 'punctuation.end.fact.parameters.prolog',
- 'punctuation.end.fact.prolog' ],
- regex: '(\\))(\\.?)',
- next: 'pop' },
- { include: '#parameter' },
- { defaultToken: 'meta.fact.prolog' } ] } ],
- '#list':
- [ { token: 'punctuation.begin.list.prolog',
- regex: '\\[(?=.*\\])',
- push:
- [ { token: 'punctuation.end.list.prolog',
- regex: '\\]',
- next: 'pop' },
- { include: '#comment' },
- { token: 'punctuation.separator.list.prolog', regex: ',' },
- { token: 'punctuation.concat.list.prolog',
- regex: '\\|',
- push:
- [ { token: 'meta.list.concat.prolog',
- regex: '(?=\\s*\\])',
- next: 'pop' },
- { include: '#basic_elem' },
- { defaultToken: 'meta.list.concat.prolog' } ] },
- { include: '#basic_elem' },
- { defaultToken: 'meta.list.prolog' } ] } ],
- '#operators':
- [ { token: 'keyword.operator.prolog',
- regex: '\\\\\\+|\\bnot\\b|\\bis\\b|->|[><]|[><\\\\:=]?=|(?:=\\\\|\\\\=)=' } ],
- '#parameter':
- [ { token: 'variable.language.anonymous.prolog',
- regex: '\\b_\\b' },
- { token: 'variable.parameter.prolog',
- regex: '\\b[A-Z_]\\w*\\b' },
- { token: 'punctuation.separator.parameters.prolog', regex: ',' },
- { include: '#basic_elem' },
- { token: 'text', regex: '[^\\s]' } ],
- '#rule':
- [ { token: 'meta.rule.prolog',
- regex: '(?=[a-z]\\w*.*:-)',
- push:
- [ { token: 'punctuation.rule.end.prolog',
- regex: '\\.',
- next: 'pop' },
- { token: 'meta.rule.signature.prolog',
- regex: '(?=[a-z]\\w*.*:-)',
- push:
- [ { token: 'meta.rule.signature.prolog',
- regex: '(?=:-)',
- next: 'pop' },
- { token: 'entity.name.function.rule.prolog',
- regex: '[a-z]\\w*(?=\\(|\\s*:-)' },
- { token: 'punctuation.rule.parameters.begin.prolog',
- regex: '\\(',
- push:
- [ { token: 'punctuation.rule.parameters.end.prolog',
- regex: '\\)',
- next: 'pop' },
- { include: '#parameter' },
- { defaultToken: 'meta.rule.parameters.prolog' } ] },
- { defaultToken: 'meta.rule.signature.prolog' } ] },
- { token: 'keyword.operator.definition.prolog',
- regex: ':-',
- push:
- [ { token: 'meta.rule.definition.prolog',
- regex: '(?=\\.)',
- next: 'pop' },
- { include: '#comment' },
- { include: '#expr' },
- { defaultToken: 'meta.rule.definition.prolog' } ] },
- { defaultToken: 'meta.rule.prolog' } ] } ],
- '#statement':
- [ { token: 'meta.statement.prolog',
- regex: '(?=[a-z]\\w*\\()',
- push:
- [ { token: 'punctuation.end.statement.parameters.prolog',
- regex: '\\)',
- next: 'pop' },
- { include: '#builtins' },
- { include: '#atom' },
- { token: 'punctuation.begin.statement.parameters.prolog',
- regex: '\\(',
- push:
- [ { token: 'meta.statement.parameters.prolog',
- regex: '(?=\\))',
- next: 'pop' },
- { token: 'punctuation.separator.statement.prolog', regex: ',' },
- { include: '#basic_elem' },
- { defaultToken: 'meta.statement.parameters.prolog' } ] },
- { defaultToken: 'meta.statement.prolog' } ] } ],
- '#string':
- [ { token: 'punctuation.definition.string.begin.prolog',
- regex: '\'',
- push:
- [ { token: 'punctuation.definition.string.end.prolog',
- regex: '\'',
- next: 'pop' },
- { token: 'constant.character.escape.prolog', regex: '\\\\.' },
- { token: 'constant.character.escape.quote.prolog',
- regex: '\'\'' },
- { defaultToken: 'string.quoted.single.prolog' } ] } ],
- '#variable':
- [ { token: 'variable.language.anonymous.prolog',
- regex: '\\b_\\b' },
- { token: 'variable.other.prolog',
- regex: '\\b[A-Z_][a-zA-Z0-9_]*\\b' } ] }
-
- this.normalizeRules();
- };
- PrologHighlightRules.metaData = { fileTypes: [ 'plg', 'prolog' ],
- foldingStartMarker: '(%\\s*region \\w*)|([a-z]\\w*.*:- ?)',
- foldingStopMarker: '(%\\s*end(\\s*region)?)|(?=\\.)',
- keyEquivalent: '^~P',
- name: 'Prolog',
- scopeName: 'source.prolog' }
- oop.inherits(PrologHighlightRules, TextHighlightRules);
- exports.PrologHighlightRules = PrologHighlightRules;
- });
|