StaticdifferenceStaticgetThe statement join point
A set containing the names of the local variables or parameters on the left-hand side (LHS) of each assignment present in the given joinpoint
StaticgetStaticgetThe statement join point
A set of variable names declared with initialization in the given joinpoint
StaticgetThe statement join point
A set containing the names of local variables or parameters referenced by varref joinpoints, excluding those present on the LHS of assignments.
StaticisChecks if the provided joinpoint refers to an assigned variable.
The varref join point
StaticisStaticisChecks if the given joinpoint is a local variable or parameter
The varref join point
StaticisChecks if two sets contain the same elements
Staticunion
Computes the set difference between two sets