Method of

src/main/java/pascal/taie/util/graph/DotAttributes.java:110–112

@return a DotAttributes containing attributes specified by input.

(String... input)

     * @return a {@link DotAttributes} containing attributes specified by input.
     */
    public static DotAttributes of(String... input) {
        return input.length == 0 ? EMPTY : EMPTY.add(input);
    }

    @Override
    public String toString() {