org.chocosolver.parser.flatzinc.Flatzinc4Lexer Maven / Gradle / Ivy
// Generated from org/chocosolver/parser/flatzinc/Flatzinc4Lexer.g4 by ANTLR 4.2
package org.chocosolver.parser.flatzinc;
/*
* Copyright (c) 1999-2012, Ecole des Mines de Nantes
* 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 the Ecole des Mines de Nantes 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 REGENTS 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 THE REGENTS AND CONTRIBUTORS 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.
*/
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;
@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class Flatzinc4Lexer extends Lexer {
protected static final DFA[] _decisionToDFA;
protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache();
public static final int
BOOL=1, TRUE=2, FALSE=3, INT=4, FLOAT=5, SET=6, OF=7, ARRAY=8, VAR=9,
PAR=10, PREDICATE=11, CONSTRAINT=12, SOLVE=13, SATISFY=14, MINIMIZE=15,
MAXIMIZE=16, DD=17, DO=18, LB=19, RB=20, CM=21, LS=22, RS=23, EQ=24, PL=25,
MN=26, SC=27, CL=28, DC=29, LP=30, RP=31, IDENTIFIER=32, COMMENT=33, WS=34,
INT_CONST=35, STRING=36, CHAR=37;
public static String[] modeNames = {
"DEFAULT_MODE"
};
public static final String[] tokenNames = {
"",
"BOOL", "'true'", "'false'", "'int'", "'float'", "'set'", "'of'", "'array'",
"'var'", "'par'", "'predicate'", "'constraint'", "'solve'", "'satisfy'",
"'minimize'", "'maximize'", "'..'", "'.'", "'{'", "'}'", "','", "'['",
"']'", "'='", "'+'", "'-'", "';'", "':'", "'::'", "'('", "')'", "IDENTIFIER",
"COMMENT", "WS", "INT_CONST", "STRING", "CHAR"
};
public static final String[] ruleNames = {
"BOOL", "TRUE", "FALSE", "INT", "FLOAT", "SET", "OF", "ARRAY", "VAR",
"PAR", "PREDICATE", "CONSTRAINT", "SOLVE", "SATISFY", "MINIMIZE", "MAXIMIZE",
"DD", "DO", "LB", "RB", "CM", "LS", "RS", "EQ", "PL", "MN", "SC", "CL",
"DC", "LP", "RP", "IDENTIFIER", "COMMENT", "WS", "INT_CONST", "STRING",
"CHAR", "EXPONENT", "ESC_SEQ", "OCTAL_ESC", "HEX_DIGIT", "UNICODE_ESC"
};
public Flatzinc4Lexer(CharStream input) {
super(input);
_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
}
@Override
public String getGrammarFileName() { return "Flatzinc4Lexer.g4"; }
@Override
public String[] getTokenNames() { return tokenNames; }
@Override
public String[] getRuleNames() { return ruleNames; }
@Override
public String getSerializedATN() { return _serializedATN; }
@Override
public String[] getModeNames() { return modeNames; }
@Override
public ATN getATN() { return _ATN; }
public static final String _serializedATN =
"\3\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\2\'\u0130\b\1\4\2\t"+
"\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13"+
"\t\13\4\f\t\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22"+
"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30\4\31\t\31"+
"\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36\t\36\4\37\t\37\4 \t \4!"+
"\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t+\3"+
"\2\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\4\3\4\3\4\3\4\3\4\3\4\3\5\3\5"+
"\3\5\3\5\3\6\3\6\3\6\3\6\3\6\3\6\3\7\3\7\3\7\3\7\3\b\3\b\3\b\3\t\3\t\3"+
"\t\3\t\3\t\3\t\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\f\3\f\3\f\3\f\3\f"+
"\3\f\3\f\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\16"+
"\3\16\3\16\3\16\3\16\3\16\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\20"+
"\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\21\3\21\3\21\3\21\3\21\3\21"+
"\3\21\3\21\3\21\3\22\3\22\3\22\3\23\3\23\3\24\3\24\3\25\3\25\3\26\3\26"+
"\3\27\3\27\3\30\3\30\3\31\3\31\3\32\3\32\3\33\3\33\3\34\3\34\3\35\3\35"+
"\3\36\3\36\3\36\3\37\3\37\3 \3 \3!\3!\7!\u00de\n!\f!\16!\u00e1\13!\3\""+
"\3\"\7\"\u00e5\n\"\f\"\16\"\u00e8\13\"\3\"\5\"\u00eb\n\"\3\"\3\"\3\"\3"+
"\"\3#\3#\3#\3#\3$\5$\u00f6\n$\3$\6$\u00f9\n$\r$\16$\u00fa\3%\3%\3%\7%"+
"\u0100\n%\f%\16%\u0103\13%\3%\3%\3&\3&\3&\5&\u010a\n&\3&\3&\3\'\3\'\5"+
"\'\u0110\n\'\3\'\6\'\u0113\n\'\r\'\16\'\u0114\3(\3(\3(\3(\5(\u011b\n("+
"\3)\3)\3)\3)\3)\3)\3)\3)\3)\5)\u0126\n)\3*\3*\3+\3+\3+\3+\3+\3+\3+\2\2"+
",\3\3\5\4\7\5\t\6\13\7\r\b\17\t\21\n\23\13\25\f\27\r\31\16\33\17\35\20"+
"\37\21!\22#\23%\24\'\25)\26+\27-\30/\31\61\32\63\33\65\34\67\359\36;\37"+
"= ?!A\"C#E$G%I&K\'M\2O\2Q\2S\2U\2\3\2\f\5\2C\\aac|\6\2\62;C\\aac|\4\2"+
"\f\f\17\17\5\2\13\f\17\17\"\"\4\2--//\4\2$$^^\4\2))^^\4\2GGgg\n\2$$))"+
"^^ddhhppttvv\5\2\62;CHch\u0138\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t"+
"\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2"+
"\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\2"+
"\37\3\2\2\2\2!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2"+
"+\3\2\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2\2"+
"\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2"+
"C\3\2\2\2\2E\3\2\2\2\2G\3\2\2\2\2I\3\2\2\2\2K\3\2\2\2\3W\3\2\2\2\5\\\3"+
"\2\2\2\7a\3\2\2\2\tg\3\2\2\2\13k\3\2\2\2\rq\3\2\2\2\17u\3\2\2\2\21x\3"+
"\2\2\2\23~\3\2\2\2\25\u0082\3\2\2\2\27\u0086\3\2\2\2\31\u0090\3\2\2\2"+
"\33\u009b\3\2\2\2\35\u00a1\3\2\2\2\37\u00a9\3\2\2\2!\u00b2\3\2\2\2#\u00bb"+
"\3\2\2\2%\u00be\3\2\2\2\'\u00c0\3\2\2\2)\u00c2\3\2\2\2+\u00c4\3\2\2\2"+
"-\u00c6\3\2\2\2/\u00c8\3\2\2\2\61\u00ca\3\2\2\2\63\u00cc\3\2\2\2\65\u00ce"+
"\3\2\2\2\67\u00d0\3\2\2\29\u00d2\3\2\2\2;\u00d4\3\2\2\2=\u00d7\3\2\2\2"+
"?\u00d9\3\2\2\2A\u00db\3\2\2\2C\u00e2\3\2\2\2E\u00f0\3\2\2\2G\u00f5\3"+
"\2\2\2I\u00fc\3\2\2\2K\u0106\3\2\2\2M\u010d\3\2\2\2O\u011a\3\2\2\2Q\u0125"+
"\3\2\2\2S\u0127\3\2\2\2U\u0129\3\2\2\2WX\7d\2\2XY\7q\2\2YZ\7q\2\2Z[\7"+
"n\2\2[\4\3\2\2\2\\]\7v\2\2]^\7t\2\2^_\7w\2\2_`\7g\2\2`\6\3\2\2\2ab\7h"+
"\2\2bc\7c\2\2cd\7n\2\2de\7u\2\2ef\7g\2\2f\b\3\2\2\2gh\7k\2\2hi\7p\2\2"+
"ij\7v\2\2j\n\3\2\2\2kl\7h\2\2lm\7n\2\2mn\7q\2\2no\7c\2\2op\7v\2\2p\f\3"+
"\2\2\2qr\7u\2\2rs\7g\2\2st\7v\2\2t\16\3\2\2\2uv\7q\2\2vw\7h\2\2w\20\3"+
"\2\2\2xy\7c\2\2yz\7t\2\2z{\7t\2\2{|\7c\2\2|}\7{\2\2}\22\3\2\2\2~\177\7"+
"x\2\2\177\u0080\7c\2\2\u0080\u0081\7t\2\2\u0081\24\3\2\2\2\u0082\u0083"+
"\7r\2\2\u0083\u0084\7c\2\2\u0084\u0085\7t\2\2\u0085\26\3\2\2\2\u0086\u0087"+
"\7r\2\2\u0087\u0088\7t\2\2\u0088\u0089\7g\2\2\u0089\u008a\7f\2\2\u008a"+
"\u008b\7k\2\2\u008b\u008c\7e\2\2\u008c\u008d\7c\2\2\u008d\u008e\7v\2\2"+
"\u008e\u008f\7g\2\2\u008f\30\3\2\2\2\u0090\u0091\7e\2\2\u0091\u0092\7"+
"q\2\2\u0092\u0093\7p\2\2\u0093\u0094\7u\2\2\u0094\u0095\7v\2\2\u0095\u0096"+
"\7t\2\2\u0096\u0097\7c\2\2\u0097\u0098\7k\2\2\u0098\u0099\7p\2\2\u0099"+
"\u009a\7v\2\2\u009a\32\3\2\2\2\u009b\u009c\7u\2\2\u009c\u009d\7q\2\2\u009d"+
"\u009e\7n\2\2\u009e\u009f\7x\2\2\u009f\u00a0\7g\2\2\u00a0\34\3\2\2\2\u00a1"+
"\u00a2\7u\2\2\u00a2\u00a3\7c\2\2\u00a3\u00a4\7v\2\2\u00a4\u00a5\7k\2\2"+
"\u00a5\u00a6\7u\2\2\u00a6\u00a7\7h\2\2\u00a7\u00a8\7{\2\2\u00a8\36\3\2"+
"\2\2\u00a9\u00aa\7o\2\2\u00aa\u00ab\7k\2\2\u00ab\u00ac\7p\2\2\u00ac\u00ad"+
"\7k\2\2\u00ad\u00ae\7o\2\2\u00ae\u00af\7k\2\2\u00af\u00b0\7|\2\2\u00b0"+
"\u00b1\7g\2\2\u00b1 \3\2\2\2\u00b2\u00b3\7o\2\2\u00b3\u00b4\7c\2\2\u00b4"+
"\u00b5\7z\2\2\u00b5\u00b6\7k\2\2\u00b6\u00b7\7o\2\2\u00b7\u00b8\7k\2\2"+
"\u00b8\u00b9\7|\2\2\u00b9\u00ba\7g\2\2\u00ba\"\3\2\2\2\u00bb\u00bc\7\60"+
"\2\2\u00bc\u00bd\7\60\2\2\u00bd$\3\2\2\2\u00be\u00bf\7\60\2\2\u00bf&\3"+
"\2\2\2\u00c0\u00c1\7}\2\2\u00c1(\3\2\2\2\u00c2\u00c3\7\177\2\2\u00c3*"+
"\3\2\2\2\u00c4\u00c5\7.\2\2\u00c5,\3\2\2\2\u00c6\u00c7\7]\2\2\u00c7.\3"+
"\2\2\2\u00c8\u00c9\7_\2\2\u00c9\60\3\2\2\2\u00ca\u00cb\7?\2\2\u00cb\62"+
"\3\2\2\2\u00cc\u00cd\7-\2\2\u00cd\64\3\2\2\2\u00ce\u00cf\7/\2\2\u00cf"+
"\66\3\2\2\2\u00d0\u00d1\7=\2\2\u00d18\3\2\2\2\u00d2\u00d3\7<\2\2\u00d3"+
":\3\2\2\2\u00d4\u00d5\7<\2\2\u00d5\u00d6\7<\2\2\u00d6<\3\2\2\2\u00d7\u00d8"+
"\7*\2\2\u00d8>\3\2\2\2\u00d9\u00da\7+\2\2\u00da@\3\2\2\2\u00db\u00df\t"+
"\2\2\2\u00dc\u00de\t\3\2\2\u00dd\u00dc\3\2\2\2\u00de\u00e1\3\2\2\2\u00df"+
"\u00dd\3\2\2\2\u00df\u00e0\3\2\2\2\u00e0B\3\2\2\2\u00e1\u00df\3\2\2\2"+
"\u00e2\u00e6\7\'\2\2\u00e3\u00e5\n\4\2\2\u00e4\u00e3\3\2\2\2\u00e5\u00e8"+
"\3\2\2\2\u00e6\u00e4\3\2\2\2\u00e6\u00e7\3\2\2\2\u00e7\u00ea\3\2\2\2\u00e8"+
"\u00e6\3\2\2\2\u00e9\u00eb\7\17\2\2\u00ea\u00e9\3\2\2\2\u00ea\u00eb\3"+
"\2\2\2\u00eb\u00ec\3\2\2\2\u00ec\u00ed\7\f\2\2\u00ed\u00ee\3\2\2\2\u00ee"+
"\u00ef\b\"\2\2\u00efD\3\2\2\2\u00f0\u00f1\t\5\2\2\u00f1\u00f2\3\2\2\2"+
"\u00f2\u00f3\b#\2\2\u00f3F\3\2\2\2\u00f4\u00f6\t\6\2\2\u00f5\u00f4\3\2"+
"\2\2\u00f5\u00f6\3\2\2\2\u00f6\u00f8\3\2\2\2\u00f7\u00f9\4\62;\2\u00f8"+
"\u00f7\3\2\2\2\u00f9\u00fa\3\2\2\2\u00fa\u00f8\3\2\2\2\u00fa\u00fb\3\2"+
"\2\2\u00fbH\3\2\2\2\u00fc\u0101\7$\2\2\u00fd\u0100\5O(\2\u00fe\u0100\n"+
"\7\2\2\u00ff\u00fd\3\2\2\2\u00ff\u00fe\3\2\2\2\u0100\u0103\3\2\2\2\u0101"+
"\u00ff\3\2\2\2\u0101\u0102\3\2\2\2\u0102\u0104\3\2\2\2\u0103\u0101\3\2"+
"\2\2\u0104\u0105\7$\2\2\u0105J\3\2\2\2\u0106\u0109\7)\2\2\u0107\u010a"+
"\5O(\2\u0108\u010a\n\b\2\2\u0109\u0107\3\2\2\2\u0109\u0108\3\2\2\2\u010a"+
"\u010b\3\2\2\2\u010b\u010c\7)\2\2\u010cL\3\2\2\2\u010d\u010f\t\t\2\2\u010e"+
"\u0110\t\6\2\2\u010f\u010e\3\2\2\2\u010f\u0110\3\2\2\2\u0110\u0112\3\2"+
"\2\2\u0111\u0113\4\62;\2\u0112\u0111\3\2\2\2\u0113\u0114\3\2\2\2\u0114"+
"\u0112\3\2\2\2\u0114\u0115\3\2\2\2\u0115N\3\2\2\2\u0116\u0117\7^\2\2\u0117"+
"\u011b\t\n\2\2\u0118\u011b\5U+\2\u0119\u011b\5Q)\2\u011a\u0116\3\2\2\2"+
"\u011a\u0118\3\2\2\2\u011a\u0119\3\2\2\2\u011bP\3\2\2\2\u011c\u011d\7"+
"^\2\2\u011d\u011e\4\62\65\2\u011e\u011f\4\629\2\u011f\u0126\4\629\2\u0120"+
"\u0121\7^\2\2\u0121\u0122\4\629\2\u0122\u0126\4\629\2\u0123\u0124\7^\2"+
"\2\u0124\u0126\4\629\2\u0125\u011c\3\2\2\2\u0125\u0120\3\2\2\2\u0125\u0123"+
"\3\2\2\2\u0126R\3\2\2\2\u0127\u0128\t\13\2\2\u0128T\3\2\2\2\u0129\u012a"+
"\7^\2\2\u012a\u012b\7w\2\2\u012b\u012c\5S*\2\u012c\u012d\5S*\2\u012d\u012e"+
"\5S*\2\u012e\u012f\5S*\2\u012fV\3\2\2\2\17\2\u00df\u00e6\u00ea\u00f5\u00fa"+
"\u00ff\u0101\u0109\u010f\u0114\u011a\u0125\3\b\2\2";
public static final ATN _ATN =
new ATNDeserializer().deserialize(_serializedATN.toCharArray());
static {
_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
}
}
} © 2015 - 2025 Weber Informatics LLC | Privacy Policy