Package tulip :: Package interfaces :: Module ltl2ba :: Class Lexer

Class Lexer

Token rules to build lexer for ltl2ba output.

Instance Methods

__init__(self)
x.__init__(...) initializes x; see help(type(x)) for signature

t_newline(self, t)
\n+

t_error(self, t)

t_name(self, t)
[A-Za-z_][a-zA-Z0-9_]*

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __sizeof__, __str__, __subclasshook__

Class Variables
	reserved = `{'fi': 'FI', 'goto': 'GOTO', 'if': 'IF', 'never': '...`
	tokens = `('TRUE', 'FALSE', 'NUMBER', 'NOT', 'AND', 'OR', 'XOR'...`
	t_TRUE = `'TRUE\|True\|true'`
	t_FALSE = `'FALSE\|False\|false'`
	t_COMMENT = `'/\\.\\*/'`
	t_NOT = `'\\!'`
	t_AND = `'\\&\\&\|\\&'`
	t_OR = `'\\\|\\\|\|\\\|'`
	t_XOR = `'\\^'`
	t_EQUALS = `'\\=\|\\=\\='`
	t_NEQUALS = `'\\!\\='`
	t_LT = `'\\<'`
	t_LE = `'\\<\\='`
	t_GT = `'>\\='`
	t_GE = `'>'`
	t_LPAREN = `'\\('`
	t_RPAREN = `'\\)'`
	t_LBRACE = `'\\{'`
	t_RBRACE = `'\\}'`
	t_SEMI = `';'`
	t_COLON2 = `'::'`
	t_COLON = `':'`
	t_NUMBER = `'\\d+'`
	t_IMP = `'->'`
	t_ignore = `' \t'`

Properties
Inherited from `object`: `__class__`

Method Details

init(self)
(Constructor)

x.__init__(...) initializes x; see help(type(x)) for signature

Overrides: object.__init__: (inherited documentation)

Class Variable Details

reserved

Value:

{'fi': 'FI',
 'goto': 'GOTO',
 'if': 'IF',
 'never': 'NEVER',
 'skip': 'SKIP'}

tokens

Value:

('TRUE',
 'FALSE',
 'NUMBER',
 'NOT',
 'AND',
 'OR',
 'XOR',
 'IMP',
...

Class Lexer

__init__(self) (Constructor)

reserved

tokens

init(self)
(Constructor)