Up – Package index » bap-std » Library bap » Bap » Std » Bili » t

Class `Bili.t`

Base class for BIL interpreters

constraint 'a = context

inherit 'a Expi.t

method eval : stmt list -> 'a u

method eval_stmt : stmt -> 'a u

method eval_move : var -> exp -> 'a u

method eval_jmp : exp -> 'a u

method eval_while : cond:exp -> body:stmt list -> 'a u

method eval_if : cond:exp -> yes:stmt list -> no:stmt list -> 'a u

method eval_cpuexn : int -> 'a u

method eval_special : string -> 'a u