package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/mopsa.mopsa_universal_parser/Mopsa_universal_parser/U_parser/index.html
Module Mopsa_universal_parser.U_parser
Source
Source
type token =
| TOK_string of string
| TOK_real of string
| TOK_int of string
| TOK_id of string
| TOK_char of char
| TOK_WHILE
| TOK_VOID
| TOK_TRUE
| TOK_STRING
| TOK_STAR
| TOK_SEMICOLON
| TOK_RPAREN
| TOK_ROUND
| TOK_RETURN
| TOK_REAL
| TOK_RCURLY
| TOK_RBRACKET
| TOK_RANDF
| TOK_RAND
| TOK_PRINT
| TOK_PLUS
| TOK_NOT_EQUAL
| TOK_MINUS
| TOK_LPAREN
| TOK_LESS_EQUAL
| TOK_LESS
| TOK_LCURLY
| TOK_LBRACKET
| TOK_INT
| TOK_IF
| TOK_GREATER_EQUAL
| TOK_GREATER
| TOK_FOR
| TOK_FALSE
| TOK_EXCLAIM
| TOK_EQUAL_EQUAL
| TOK_EQUAL
| TOK_EOF
| TOK_ELSE
| TOK_DIVIDE
| TOK_CONTINUE
| TOK_CONCAT
| TOK_COMMA
| TOK_CHAR
| TOK_BREAK
| TOK_BAR_BAR
| TOK_BAR
| TOK_ASSUME
| TOK_ASSERT
| TOK_ARRAY
| TOK_AND_AND
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>