mercury top-level property

Mode mercury
final

Implementation

final mercury = Mode(refs: {}, aliases: [
  "m",
  "moo"
], keywords: {
  "keyword": "module use_module import_module include_module end_module initialise mutable initialize finalize finalise interface implementation pred mode func type inst solver any_pred any_func is semidet det nondet multi erroneous failure cc_nondet cc_multi typeclass instance where pragma promise external trace atomic or_else require_complete_switch require_det require_semidet require_multi require_nondet require_cc_multi require_cc_nondet require_erroneous require_failure",
  "meta":
      "inline no_inline type_spec source_file fact_table obsolete memo loop_check minimal_model terminates does_not_terminate check_termination promise_equivalent_clauses foreign_proc foreign_decl foreign_code foreign_type foreign_import_module foreign_export_enum foreign_export foreign_enum may_call_mercury will_not_call_mercury thread_safe not_thread_safe maybe_thread_safe promise_pure promise_semipure tabled_for_io local untrailed trailed attach_to_io_state can_pass_as_mercury_type stable will_not_throw_exception may_modify_trail will_not_modify_trail may_duplicate may_not_duplicate affects_liveness does_not_affect_liveness doesnt_affect_liveness no_sharing unknown_sharing sharing",
  "built_in": "some all not if then else true fail false try catch catch_any semidet_true semidet_false semidet_fail impure_true impure semipure"
}, contains: [
  Mode(className: "built_in", variants: [Mode(begin: "<=>"), Mode(begin: "<=", relevance: 0), Mode(begin: "=>", relevance: 0), Mode(begin: "/\\\\"), Mode(begin: "\\\\/")]),
  Mode(className: "built_in", variants: [Mode(begin: ":-\\|-->"), Mode(begin: "=", relevance: 0)]),
  Mode(className: "comment", begin: "%", end: "\$", contains: [phrasalWordsMode, Mode(className: "doctag", begin: "(?:TODO|FIXME|NOTE|BUG|XXX):", relevance: 0)]),
  cBlockCommentMode,
  Mode(className: "number", begin: "0'.\\|0[box][0-9a-fA-F]*"),
  numberMode,
  Mode(className: "string", begin: "'", end: "'", illegal: "\\n", contains: [backSlashEscape], relevance: 0),
  Mode(className: "string", begin: "\"", end: "\"", illegal: "\\n", contains: [backSlashEscape, Mode(className: "subst", begin: "\\\\[abfnrtv]\\|\\\\x[0-9a-fA-F]*\\\\\\|%[-+# *.0-9]*[dioxXucsfeEgGp]", relevance: 0)], relevance: 0),
  Mode(begin: ":-"),
  Mode(begin: "\\.\$")
]);