Skip to content
Snippets Groups Projects
Select Git revision
  • 70385e28c2c062d69722e4dba0a98ed4da89ebf9
  • develop default protected
  • 0.3.0
  • 0.2.1
  • 0.2.0
  • 0.1.0
6 results

VOParseException.java

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    VOParseException.java 347 B 
    package de.prob.voparser;

public class VOParseException extends Exception {

	public enum ErrorType {
		PARSING, SCOPING, TYPECHECKING
	}

	private ErrorType errorType;

	public VOParseException(String message, ErrorType errorType) {
		super(message);
		this.errorType = errorType;
	}

	public ErrorType getErrorType() {
		return errorType;
	}
}