package asli

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

Install

Dune 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct