public class NotDeclException extends KeYSemanticException
Constructor and Description |
---|
NotDeclException(org.antlr.runtime.TokenStream input,
java.lang.String cat,
java.lang.String undeclared_symbol) |
NotDeclException(org.antlr.runtime.TokenStream input,
java.lang.String cat,
java.lang.String undeclared_symbol,
java.lang.String addtl) |
getColumn, getErrorMessage, getFilename, getLine, getLocation, getMessage, toString
extractInformationFromTreeNodeStream, getUnexpectedType
public NotDeclException(org.antlr.runtime.TokenStream input, java.lang.String cat, java.lang.String undeclared_symbol, java.lang.String addtl)
public NotDeclException(org.antlr.runtime.TokenStream input, java.lang.String cat, java.lang.String undeclared_symbol)
Copyright © 2003-2019 The KeY-Project.