Method getName

src/main/java/jace/ide/Program.java:86–88

()

    }

    public String getName() {
        return filename;
    }

    public DocumentType getType() {
        return fileType;