Searched refs:getNumber (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 58 Vertex vx=gv.getGraph().getVertexByNum(l.getNumber()); 59 gv.focusToVertex(l.getNumber()); 60 vx=gv.getOriginalGraph().getVertexByNum(l.getNumber());
|
H A D | NormalVertex.java | 23 ve.setNumber(getNumber()); 74 if (getNumber()<0) 103 return contains(x,y) && x<=leftX()+gra.box_height && getParents().hasMoreElements() && getNumber()>=0; 107 return contains(x,y) && x>=rightX()-gra.box_height && getChildren().hasMoreElements() && getNumber()>=0; 111 if (getNumber()<0) return;
|
H A D | Vertex.java | 54 public int getNumber() { return number; } method in class:Vertex
|
H A D | TreeNode.java | 66 public int getNumber() { return number; } method in class:TreeNode
|
H A D | Graph.java | 107 tn.insertNode(name,dir,tok.sval,ve1.getNumber(),unfoldDir); 905 if (vx.getNumber()>=0) 906 code.addElement(new Integer(vx.getNumber())); 920 if (vx.getNumber()==x) return vx;
|
H A D | GraphView.java | 210 int num=v.getNumber();
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 58 Vertex vx=gv.getGraph().getVertexByNum(l.getNumber()); 59 gv.focusToVertex(l.getNumber()); 60 vx=gv.getOriginalGraph().getVertexByNum(l.getNumber());
|
H A D | NormalVertex.java | 23 ve.setNumber(getNumber()); 74 if (getNumber()<0) 103 return contains(x,y) && x<=leftX()+gra.box_height && getParents().hasMoreElements() && getNumber()>=0; 107 return contains(x,y) && x>=rightX()-gra.box_height && getChildren().hasMoreElements() && getNumber()>=0; 111 if (getNumber()<0) return;
|
H A D | Vertex.java | 54 public int getNumber() { return number; } method in class:Vertex
|
H A D | TreeNode.java | 66 public int getNumber() { return number; } method in class:TreeNode
|
H A D | Graph.java | 107 tn.insertNode(name,dir,tok.sval,ve1.getNumber(),unfoldDir); 905 if (vx.getNumber()>=0) 906 code.addElement(new Integer(vx.getNumber())); 920 if (vx.getNumber()==x) return vx;
|
H A D | GraphView.java | 210 int num=v.getNumber();
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Real.sml | 429 fun getNumber sign digits acc src = function 434 then getNumber sign (digits+1) (acc*10 + Char.ord ch - Char.ord #"0") src' 443 then getNumber false 0 0 src' 445 then getNumber true 0 0 src' 446 else getNumber false 0 0 src
|
Completed in 102 milliseconds