View Source partisan_analysis (partisan v5.0.0-rc.16)

Summary

Types

escapes/0

-type escapes() :: labelset().

label/0

-type label() :: integer() | top | external | external_call.

labelset/0

-type labelset() :: ordset(label()).

ordset/1

-type ordset(X) :: [X].

XXX: TAKE ME OUT

outlist/0

-type outlist() :: [labelset()] | none.

Functions

annotate(Tree)

-spec annotate(cerl:cerl()) ->
                  {cerl:cerl(),
                   outlist(),
                   dict:dict(),
                   escapes(),
                   dict:dict(),
                   dict:dict(),
                   sets:set(),
                   sets:set()}.

intraprocedural(Tree)

-spec intraprocedural(cerl:cerl()) ->
                         {outlist(),
                          dict:dict(),
                          escapes(),
                          dict:dict(),
                          dict:dict(),
                          sets:set(),
                          sets:set()}.

is_escape_op(F, A)

-spec is_escape_op(atom(), arity()) -> boolean().

is_escape_op(M, F, A)

-spec is_escape_op(atom(), atom(), arity()) -> boolean().

is_literal_op(F, A)

-spec is_literal_op(atom(), arity()) -> boolean().

is_literal_op(M, F, A)

-spec is_literal_op(atom(), atom(), arity()) -> boolean().

partisan_analysis(Tree)