Searched refs:getNumber (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java58 Vertex vx=gv.getGraph().getVertexByNum(l.getNumber());
59 gv.focusToVertex(l.getNumber());
60 vx=gv.getOriginalGraph().getVertexByNum(l.getNumber());
H A DNormalVertex.java23 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 DVertex.java54 public int getNumber() { return number; } method in class:Vertex
H A DTreeNode.java66 public int getNumber() { return number; } method in class:TreeNode
H A DGraph.java107 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 DGraphView.java210 int num=v.getNumber();
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java58 Vertex vx=gv.getGraph().getVertexByNum(l.getNumber());
59 gv.focusToVertex(l.getNumber());
60 vx=gv.getOriginalGraph().getVertexByNum(l.getNumber());
H A DNormalVertex.java23 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 DVertex.java54 public int getNumber() { return number; } method in class:Vertex
H A DTreeNode.java66 public int getNumber() { return number; } method in class:TreeNode
H A DGraph.java107 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 DGraphView.java210 int num=v.getNumber();
/seL4-l4v-master/HOL4/polyml/basis/
H A DReal.sml429 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 95 milliseconds