Method get

src/main/java/pascal/taie/language/type/PrimitiveType.java:61–68

@return the primitive type specified by specific name. @throws IllegalArgumentException if given name is irrelevant to any primitive type.

(String name)

     * @throws IllegalArgumentException if given name is irrelevant to any primitive type.
     */
    public static PrimitiveType get(String name) {
        for (PrimitiveType t : values()) {
            if (t.name.equals(name)) {
                return t;
            }
        }
        throw new IllegalArgumentException(name + " is not primitive type");
    }

    @Override
    public String getName() {