Searched refs:ErrorInfoHeader (Results 1 – 8 of 8) sorted by relevance
71 super(ErrorInfo.class, ErrorInfoHeader.NAME); in ErrorInfoList()
48 implements ErrorInfoHeader {
45 public static final String ERROR_INFO = ErrorInfoHeader.NAME; //2
1154 public ErrorInfoHeader createErrorInfoHeader(URI errorInfo) { in createErrorInfoHeader()
6 public interface ErrorInfoHeader extends Header, Parameters { interface
69 ErrorInfoHeader createErrorInfoHeader(URI errorInfo); in createErrorInfoHeader()
196 ErrorInfoHeader.NAME.toLowerCase(), in ErrorInfoHeader.NAME.toLowerCase()
114 addKeyword(ErrorInfoHeader.NAME.toUpperCase(), in selectLexer()