RDLProofSystem/src/main/java/parser/exceptions/ParseException.java at 5c2869992723a3ff030d4bfaff203293d15cc3ad

Fork: 0

nitta-lab / RDLProofSystem

Find file

Newer

Older

RDLProofSystem / src / main / java / parser / exceptions / ParseException.java

Sakoda2269 5 days ago 200 bytes DTRAMからalgebraを抜き出し、DTRAMの依存を解消

Raw Blame History

package parser.exceptions;

public class ParseException extends RuntimeException {
	protected int line;
	
	public ParseException(int line) {
		super("at line " + (line + 1));
		this.line = line;
	}
}