Overview

Module tcbdbmsutil

• Description
• Data Types
• Function Index
• Function Details

Description

Data Types

action_term()

action_term() = any()

bool_function()

bool_function() = is_atom | is_constant | is_float | is_integer | is_list | is_number | is_pid | is_port | is_reference | is_tuple | is_binary | is_function | is_record | is_seq_trace | 'and' | 'or' | 'not' | 'xor' | 'andalso' | 'orelse'

condition_expression()

condition_expression() = expression_match_variable() | term_construct()

expression_match_variable()

expression_match_variable() = match_variable() | '$_' | '$$'

extended_term()

extended_term() = smallest | largest | {literal, non_composite_term()} | [any()] | {tuple, integer(), [any()]}

guard_function()

guard_function() = bool_function() | abs | element | hd | length | node | round | size | tl | trunc | '+' | '-' | '*' | 'div' | 'rem' | 'band' | 'bor' | 'bxor' | 'bnot' | 'bsl' | 'bsr' | '>' | '>=' | '<' | '=<' | '=:=' | '==' | '=/=' | '/=' | self | get_tcw

interval()

interval() = {interval, extended_term(), extended_term()} | none

match_condition()

match_condition() = {guard_function()} | {guard_function(), condition_expression()} | {guard_function(), condition_expression(), condition_expression()}

match_constant()

match_constant() = {const, any()}

match_expression()

match_expression() = [match_function()]

match_function()

match_function() = {match_head(), [match_condition()], [action_term()]}

match_head()

match_head() = any()

match_variable()

match_variable() = '$1' | '$2' | '$3'

...

non_composite_term()

non_composite_term() = pid() | port() | reference() | atom() | binary() | float() | integer()

term_construct()

term_construct() = {{}} | {{any()}} | non_composite_term() | match_constant() | [any()]

Function Index

Function Details

analyze/2

Return an union of intervals which is guaranteed to contain all keys in tuples that contribute to the results of the match spec.

Overview

Generated by EDoc, Feb 28 2016, 22:12:06.