UnaryOp

Unary operation.

All unary operations follow common evaluation steps:

1. Let lhsValue be the result of evaluating lhs.
2. Perform an operation that depends on op and lhsValue.

The Class_x operations take a jl.Class! argument, i.e., a non-nullable jl.Class.

Likewise, Array_length, GetClass, Clone and UnwrapFromThrowable take arguments of non-nullable types.

CheckNotNull throws NPEs subject to UB.

Throw always throws, obviously.

Clone and WrapAsThrowable are side-effect-free but not pure.

Otherwise, unary operations preserve pureness.