Searched refs:ParseError (Results 1 - 25 of 29) sorted by relevance

12

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DParseError.java3 class ParseError extends Exception { class in inherits:Exception
4 public ParseError(String s) { super(s); } method in class:ParseError
H A DConsole.java55 } catch (ParseError exn) {
H A DGraph.java69 public Graph(InputStream s,TreeNode tn) throws IOException, ParseError {
79 throw new ParseError("expected: vertex name\nfound : "+tok.toString());
83 throw new ParseError("expected: vertex identifier\nfound : "+tok.toString());
87 throw new ParseError("expected: directory name\nfound : "+tok.toString());
96 throw new ParseError("expected: path name\nfound : "+tok.toString());
118 throw new ParseError("expected: child vertex identifier or ';'\nfound : "+tok.toString());
H A DGraphBrowser.java164 } catch (ParseError exn) {
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DParseError.java3 class ParseError extends Exception { class in inherits:Exception
4 public ParseError(String s) { super(s); } method in class:ParseError
H A DConsole.java55 } catch (ParseError exn) {
H A DGraph.java69 public Graph(InputStream s,TreeNode tn) throws IOException, ParseError {
79 throw new ParseError("expected: vertex name\nfound : "+tok.toString());
83 throw new ParseError("expected: vertex identifier\nfound : "+tok.toString());
87 throw new ParseError("expected: directory name\nfound : "+tok.toString());
96 throw new ParseError("expected: path name\nfound : "+tok.toString());
118 throw new ParseError("expected: child vertex identifier or ';'\nfound : "+tok.toString());
H A DGraphBrowser.java164 } catch (ParseError exn) {
/seL4-l4v-master/HOL4/help/src-sml/
H A DParseDoc.sml5 exception ParseError of string exception
76 raise ParseError ("Unknown keyword: "^s)
110 val _ = not (isEmpty ssb) orelse raise ParseError "No \\DOC beginning entry"
111 val _ = isEmpty ssa orelse raise ParseError "Text before \\DOC"
141 | NONE => raise ParseError "No closing brace"
158 | _ => raise ParseError "Strange backslash in normal text"
226 else raise ParseError "Closing brace not found in \\TYPE"
260 | _ => raise ParseError "Ill-formed \\DOC section"
271 raise ParseError "Multi-word \\STRUCTURE section"
273 | _ => raise ParseError "Il
[all...]
H A DParseDoc.sig17 exception ParseError of string exception
H A DDoc2Tex.sml193 handle ParseError msg => die ("Parse error in "^dnm^": "^msg)
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_join.sml42 exception ParseError = LrParser.ParseError exception
86 exception ParseError = LrParser.ParseError exception
H A DMLY_parser1.sml50 exception ParseError exception
110 raise ParseError
H A DMLY_base-sig.sml120 exception ParseError exception
261 exception ParseError exception
306 exception ParseError exception
H A DMLY_parser2.sml144 exception ParseError exception
532 leftPos,leftPos); raise ParseError)
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml23 exception ParseError = LrParser.ParseError exception
67 exception ParseError = LrParser.ParseError exception
H A Dparser1.sml28 exception ParseError exception
88 raise ParseError
H A Dbase.sig96 exception ParseError exception
237 exception ParseError exception
282 exception ParseError exception
H A Dparser2.sml116 exception ParseError exception
514 leftPos,leftPos); raise ParseError)
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml23 exception ParseError = LrParser.ParseError exception
67 exception ParseError = LrParser.ParseError exception
H A Dparser1.sml28 exception ParseError exception
88 raise ParseError
H A Dbase.sig96 exception ParseError exception
237 exception ParseError exception
282 exception ParseError exception
/seL4-l4v-master/l4v/isabelle/lib/browser/
H A Dbuild36 GraphBrowser/ParseError.java
/seL4-l4v-master/isabelle/lib/browser/
H A Dbuild36 GraphBrowser/ParseError.java
/seL4-l4v-master/HOL4/examples/PSL/1.01/parser.mosmlyacc/
H A DMain.sml67 Parsing.ParseError f =>

Completed in 210 milliseconds

12