Interface SymbolicValue

    • Method Detail

      • valueEquals

        boolean valueEquals​(Object o)
        Returns true if this symbolic value represents the same value as the given object. If the parameter is null, returns false.
      • of

        static @Nullable SymbolicValue of​(TypeSystem ts,
                                          Object value)
        Returns a symbolic value for the given java object Returns an annotation element for the given java value. Returns null if the value cannot be an annotation element or cannot be constructed.