Searched defs:getName (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ | ||
| H A D | Directory.java | 18 public String getName() { return name; } method in class:Directory |
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ | ||
| H A D | Directory.java | 18 public String getName() { return name; } method in class:Directory |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ | ||
| H A D | EXPORT_PARSETREE.sml | 73 fun getName () = function 95 fun getName () = function 111 fun getName () = function 396 fun getName () = function 409 fun getName () = function [all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ | ||
| H A D | SIGNATURES.sml | 355 fun getName () = function 373 fun getName () = function 384 fun getName () = function 394 fun getName () = function [all...] |
Completed in 46 milliseconds