IR.Annot
The Smallfoot Intermediate Language: Annotations
Type to represent an @Annotation
with potentially complex parameter values such as arrays or other annotations.
Type to represent possible annotation parameter values. Note that support for numeric parameters is missing for now due to an issue with MaximumSharing
and int64
.
val volatile : t
annotation for fields marked with the "volatile" keyword
val final : t
annotation for fields marked with the "final" keyword
val notnull : t
annotation for fields/params marked as "never null"
val has_matching_str_value : pred:(string -> bool) -> value -> bool
Check if annotation parameter value contains a string satisfying a predicate. For convenience it works both with raw Str
, Str
inside Array
and Enum
values.
val pp : F.formatter -> t -> unit
Pretty print an annotation.
module Item : sig ... end
module Class : sig ... end