partisan
partisan
v5.0.0-rc.8

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

Summary

Types

escapes/0
label/0
labelset/0
ordset/1
XXX: TAKE ME OUT
outlist/0

Functions

annotate(Tree)
intraprocedural(Tree)
is_escape_op(F, A)
is_escape_op(M, F, A)
is_literal_op(F, A)
is_literal_op(M, F, A)
partisan_analysis(Tree)

Types

Link to this type

escapes/0

View Source 
-type escapes() :: labelset().
Link to this type

label/0

View Source 
-type label() :: integer() | top | external | external_call.
Link to this type

labelset/0

View Source 
-type labelset() :: ordset(label()).
Link to this type

ordset/1

View Source 
-type ordset(X) :: [X].
XXX: TAKE ME OUT
Link to this type

outlist/0

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

Functions

Link to this function

annotate(Tree)

View Source 
-spec annotate(cerl:cerl()) ->
            {cerl:cerl(),
             outlist(),
             dict:dict(),
             escapes(),
             dict:dict(),
             dict:dict(),
             sets:set(),
             sets:set()}.
Link to this function

intraprocedural(Tree)

View Source 
-spec intraprocedural(cerl:cerl()) ->
                   {outlist(),
                    dict:dict(),
                    escapes(),
                    dict:dict(),
                    dict:dict(),
                    sets:set(),
                    sets:set()}.
Link to this function

is_escape_op(F, A)

View Source 
-spec is_escape_op(atom(), arity()) -> boolean().
Link to this function

is_escape_op(M, F, A)

View Source 
-spec is_escape_op(atom(), atom(), arity()) -> boolean().
Link to this function

is_literal_op(F, A)

View Source 
-spec is_literal_op(atom(), arity()) -> boolean().
Link to this function

is_literal_op(M, F, A)

View Source 
-spec is_literal_op(atom(), atom(), arity()) -> boolean().
Link to this function

partisan_analysis(Tree)

View Source