Searched refs:Point (Results 1 - 25 of 27) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java31 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 DGraph.java649 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 DSpline.java31 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 DGraph.java649 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 Dpopup.scala10 import java.awt.{Point, Dimension}
17 location: Point,
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/
H A Dpopup.scala10 import java.awt.{Point, Dimension}
17 location: Point,
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dpyobjc-tc.c10 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 Dtheories_dockable.scala17 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 Dgraphview_dockable.scala14 import java.awt.{Point, Font}
75 Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
H A Djedit_lib.scala13 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 Dpretty_tooltip.scala12 import java.awt.{Color, Point, BorderLayout, Dimension}
45 location: Point,
169 location: Point,
H A Dcompletion_popup.scala12 import java.awt.{Color, Font, Point, BorderLayout, Dimension}
564 location: Point,
H A Drich_text_area.scala13 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 Dtheories_dockable.scala17 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 Dgraphview_dockable.scala14 import java.awt.{Point, Font}
75 Pretty_Tooltip(view, parent, new Point(x, y), rendering, Command.Results.empty, info)
H A Djedit_lib.scala13 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 Dpretty_tooltip.scala12 import java.awt.{Color, Point, BorderLayout, Dimension}
45 location: Point,
169 location: Point,
H A Dcompletion_popup.scala12 import java.awt.{Color, Font, Point, BorderLayout, Dimension}
564 location: Point,
H A Drich_text_area.scala13 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 Dshapes.scala159 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 Dgraph_panel.scala13 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 Dshapes.scala159 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 Dgraph_panel.scala13 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 Dxwindows.cpp1122 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 Dsets.tex994 \section{Fixed Point Operators}

Completed in 204 milliseconds

12