/FileExtraction/Java_unseen/cpn-io_cpn-js/backend/cpn-ide-back/src/main/java/com/indevstudio/cpnide/server/net/IssueTypes.java
package com.indevstudio.cpnide.server.net;

public enum IssueTypes {
    DECLARATION("decl"),
    MONITOR("mon"),
    PAGE("page");

    private String type;

    IssueTypes(String envUrl) {
        this.type = envUrl;
    }

    public String getType() {
        return type;
    }
}
