/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | Spline.java | 31 public Point draw(Graphics g,Point s) { 55 return new Point(e_x,e_y); 63 Point start,end; 68 Point p0,p1,p2; 71 start=(Point)(pts.firstElement()); 72 end=(Point)(pts.lastElement()); 76 p0=(Point)(pts.elementAt(i)); 77 p1=(Point)(pts.elementAt(i+1)); 78 p2=(Point)(pt [all...] |
H A D | Graph.java | 649 Point intersect(Point p1,Point p2,Point p3,Point p4,Point p5) { 666 return new Point(Math.round(x),Math.round(y)); 671 Points calcPoint(Point p1,Point p2,Point p [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Spline.java | 31 public Point draw(Graphics g,Point s) { 55 return new Point(e_x,e_y); 63 Point start,end; 68 Point p0,p1,p2; 71 start=(Point)(pts.firstElement()); 72 end=(Point)(pts.lastElement()); 76 p0=(Point)(pts.elementAt(i)); 77 p1=(Point)(pts.elementAt(i+1)); 78 p2=(Point)(pt [all...] |
H A D | Graph.java | 649 Point intersect(Point p1,Point p2,Point p3,Point p4,Point p5) { 666 return new Point(Math.round(x),Math.round(y)); 671 Points calcPoint(Point p1,Point p2,Point p [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/GUI/ |
H A D | popup.scala | 10 import java.awt.{Point, Dimension} 17 location: Point,
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/ |
H A D | popup.scala | 10 import java.awt.{Point, Dimension} 17 location: Point,
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | pyobjc-tc.c | 10 typedef struct Point { struct 13 } Point; typedef in typeref:struct:Point 21 Point o; 25 int doit(int o, char* s, Point p, Rect r, int last) 47 point_type.size = 0; /*sizeof(Point);*/ 48 point_type.alignment = 0; /*__alignof__(Point);*/ 91 Point p = { 1.0, 2.0 };
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | theories_dockable.scala | 17 import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension} 115 private def in(geometry: Option[(Point, Dimension)], loc0: Point, p: Point): Boolean = 123 private def in_checkbox(loc0: Point, p: Point): Boolean = 126 private def in_label(loc0: Point, p: Point): Boolean = 137 var checkbox_geometry: Option[(Point, Dimension)] = None 148 var label_geometry: Option[(Point, Dimensio [all...] |
H A D | graphview_dockable.scala | 14 import java.awt.{Point, Font} 75 Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
|
H A D | jedit_lib.scala | 13 import java.awt.{Component, Container, GraphicsEnvironment, Point, Rectangle, Dimension} 31 final case class Screen_Location(point: Point, bounds: Rectangle) 33 def relative(parent: Component, size: Dimension): Point = 45 val location = new Point((x2 min x1) max x0, (y2 min y1) max y0) 51 def screen_location(component: Component, point: Point): Screen_Location = 53 val screen_point = new Point(point.x, point.y)
|
H A D | pretty_tooltip.scala | 12 import java.awt.{Color, Point, BorderLayout, Dimension} 45 location: Point, 169 location: Point,
|
H A D | completion_popup.scala | 12 import java.awt.{Color, Font, Point, BorderLayout, Dimension} 564 location: Point,
|
H A D | rich_text_area.scala | 13 import java.awt.{Graphics2D, Shape, Color, Point, Toolkit, Cursor, MouseInfo} 273 val loc = new Point(x, y + painter.getLineHeight / 2)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | theories_dockable.scala | 17 import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension} 115 private def in(geometry: Option[(Point, Dimension)], loc0: Point, p: Point): Boolean = 123 private def in_checkbox(loc0: Point, p: Point): Boolean = 126 private def in_label(loc0: Point, p: Point): Boolean = 137 var checkbox_geometry: Option[(Point, Dimension)] = None 148 var label_geometry: Option[(Point, Dimensio [all...] |
H A D | graphview_dockable.scala | 14 import java.awt.{Point, Font} 75 Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
|
H A D | jedit_lib.scala | 13 import java.awt.{Component, Container, GraphicsEnvironment, Point, Rectangle, Dimension} 31 final case class Screen_Location(point: Point, bounds: Rectangle) 33 def relative(parent: Component, size: Dimension): Point = 45 val location = new Point((x2 min x1) max x0, (y2 min y1) max y0) 51 def screen_location(component: Component, point: Point): Screen_Location = 53 val screen_point = new Point(point.x, point.y)
|
H A D | pretty_tooltip.scala | 12 import java.awt.{Color, Point, BorderLayout, Dimension} 45 location: Point, 169 location: Point,
|
H A D | completion_popup.scala | 12 import java.awt.{Color, Font, Point, BorderLayout, Dimension} 564 location: Point,
|
H A D | rich_text_area.scala | 13 import java.awt.{Graphics2D, Shape, Color, Point, Toolkit, Cursor, MouseInfo} 273 val loc = new Point(x, y + painter.getLineHeight / 2)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | shapes.scala | 159 type Point = (Double, Double) 163 def intersecting_line(path: GeneralPath, shape: Shape): Option[(Point, Point)] = 185 def binary_search(line: (Point, Point), shape: Shape): Option[AffineTransform] =
|
H A D | graph_panel.scala | 13 import java.awt.{Dimension, Graphics2D, Point, Rectangle} 187 private var draginfo: (Point, List[Graph_Display.Node], List[Layout.Dummy]) = 188 (new Point(0, 0), Nil, Nil) 190 def pressed(at: Point) 208 def dragged(to: Point) 232 def clicked(at: Point, m: Key.Modifiers, clicks: Int, right_click: Boolean)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/ |
H A D | shapes.scala | 159 type Point = (Double, Double) 163 def intersecting_line(path: GeneralPath, shape: Shape): Option[(Point, Point)] = 185 def binary_search(line: (Point, Point), shape: Shape): Option[AffineTransform] =
|
H A D | graph_panel.scala | 13 import java.awt.{Dimension, Graphics2D, Point, Rectangle} 187 private var draginfo: (Point, List[Graph_Display.Node], List[Layout.Dummy]) = 188 (new Point(0, 0), Nil, Nil) 190 def pressed(at: Point) 208 def dragged(to: Point) 232 def clicked(at: Point, m: Key.Modifiers, clicks: Int, right_click: Boolean)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 1122 inline MLXPoint * Point(PolyWord p) { return (MLXPoint *) p.AsObjPtr(); } function 1125 inline short GetPointX(TaskData *taskData, PolyWord p) { return get_C_short(taskData, Point(p)->x); } 1126 inline short GetPointY(TaskData *taskData, PolyWord p) { return get_C_short(taskData, Point(p)->y); } 1128 inline short GetOffsetX(TaskData *taskData, PolyWord p) { return get_C_ushort(taskData, Point(p)->x); } 1129 inline short GetOffsetY(TaskData *taskData, PolyWord p) { return get_C_ushort(taskData, Point(p)->y); }
|
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/ |
H A D | sets.tex | 994 \section{Fixed Point Operators}
|