package asli

  1. Overview
  2. Docs
Interpreter for Arm's Architecture Specification Language (ASL)

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. A
    Alastair Reid

Maintainers

  1. A
    Alastair Reid <alastair.d.reid@gmail.com>

Sources

0.2.0.tar.gz
md5=f4581fd209256823fa4d569ac96c8cee
sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

doc/asli.libASL/LibASL/Asl_parser/index.html

Module LibASL.Asl_parserSource

Sourcetype token =
  1. | WHILE
  2. | WHEN
  3. | UNTIL
  4. | UNPREDICTABLE
  5. | UNKNOWN
  6. | UNDERSCORE_UNDERSCORE_WRITE
  7. | UNDERSCORE_UNDERSCORE_UNPREDICTABLE_UNDERSCORE_UNLESS
  8. | UNDERSCORE_UNDERSCORE_UNPREDICTABLE
  9. | UNDERSCORE_UNDERSCORE_UNALLOCATED
  10. | UNDERSCORE_UNDERSCORE_REGISTER
  11. | UNDERSCORE_UNDERSCORE_READWRITE
  12. | UNDERSCORE_UNDERSCORE_POSTDECODE
  13. | UNDERSCORE_UNDERSCORE_OPERATOR_TWO
  14. | UNDERSCORE_UNDERSCORE_OPERATOR_ONE
  15. | UNDERSCORE_UNDERSCORE_OPCODE
  16. | UNDERSCORE_UNDERSCORE_NOP
  17. | UNDERSCORE_UNDERSCORE_NEWMAP
  18. | UNDERSCORE_UNDERSCORE_NEWEVENT
  19. | UNDERSCORE_UNDERSCORE_MAP
  20. | UNDERSCORE_UNDERSCORE_INSTRUCTION_UNDERSCORE_SET
  21. | UNDERSCORE_UNDERSCORE_INSTRUCTION
  22. | UNDERSCORE_UNDERSCORE_GUARD
  23. | UNDERSCORE_UNDERSCORE_FUNCTION
  24. | UNDERSCORE_UNDERSCORE_FIELD
  25. | UNDERSCORE_UNDERSCORE_EXECUTE
  26. | UNDERSCORE_UNDERSCORE_EXCEPTIONTAKEN
  27. | UNDERSCORE_UNDERSCORE_EVENT
  28. | UNDERSCORE_UNDERSCORE_ENCODING
  29. | UNDERSCORE_UNDERSCORE_DECODE
  30. | UNDERSCORE_UNDERSCORE_CONFIG
  31. | UNDERSCORE_UNDERSCORE_CONDITIONAL
  32. | UNDERSCORE_UNDERSCORE_BUILTIN
  33. | UNDERSCORE_UNDERSCORE_ARRAY
  34. | UNDEFINED
  35. | TYPEOF
  36. | TYPEID of string
  37. | TYPE
  38. | TRY
  39. | TO
  40. | THROW
  41. | THEN
  42. | STRINGLIT of string
  43. | STAR
  44. | SLASH
  45. | SEMICOLON
  46. | SEE
  47. | RPAREN
  48. | RETURN
  49. | REPEAT
  50. | REM
  51. | RECORD
  52. | REALLIT of string
  53. | RBRACK
  54. | RBRACE_RBRACE
  55. | RBRACE
  56. | QUOT
  57. | QUALIFIER of string
  58. | PLUS_PLUS
  59. | PLUS_COLON
  60. | PLUS
  61. | OTHERWISE
  62. | OR
  63. | OF
  64. | NOT
  65. | MOD
  66. | MINUS
  67. | MASKLIT of string
  68. | LT_LT
  69. | LT_EQ
  70. | LT
  71. | LPAREN
  72. | LBRACK
  73. | LBRACE_LBRACE
  74. | LBRACE
  75. | IS
  76. | INTLIT of string
  77. | INDENT
  78. | IN
  79. | IMPLIES
  80. | IMPLEMENTATION_UNDERSCORE_DEFINED
  81. | IFF
  82. | IF
  83. | ID of string
  84. | HEXLIT of string
  85. | GT_GT
  86. | GT_EQ
  87. | GT
  88. | FOR
  89. | EQ_GT
  90. | EQ_EQ
  91. | EQ
  92. | EOR
  93. | EOL2 of unit
  94. | EOL1
  95. | EOF
  96. | ENUMERATION
  97. | ELSIF
  98. | ELSE
  99. | DOWNTO
  100. | DOT_DOT
  101. | DOT
  102. | DO
  103. | DIV
  104. | DEDENT
  105. | CONSTRAINED_UNDERSCORE_UNPREDICTABLE
  106. | CONSTANT
  107. | COMMA
  108. | COLON
  109. | CATCH
  110. | CASE
  111. | CARET
  112. | BITSLIT of string
  113. | BITS
  114. | BAR_BAR
  115. | BANG_EQ
  116. | BANG
  117. | ASSERT
  118. | ARRAY
  119. | AND
  120. | AMPERSAND_AMPERSAND
  121. | AMPERSAND
Sourceexception Error
Sourceval stmt_command_start : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asl_ast.stmt
Sourceval impdef_command_start : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asl_ast.impdef_command
Sourceval expr_command_start : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asl_ast.expr
Sourceval declarations_start : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asl_ast.declaration list