Searched refs:Rect (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | pyobjc-tc.c | 20 typedef struct Rect { struct 23 } Rect; typedef in typeref:struct:Rect 25 int doit(int o, char* s, Point p, Rect r, int last) 63 rect_type.size = 0;/*sizeof(Rect);*/ 64 rect_type.alignment =0;/* __alignof__(Rect);*/ 92 Rect r = { { 9.0, 10.0}, { -1.0, -2.0 } };
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | completion_popup.scala | 200 case selection : Selection.Rect
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | completion_popup.scala | 200 case selection : Selection.Rect
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Font.sml | 317 (* The Rect is optional but really depends on the ETO_OPAQUE or ETO_CLIPPED
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 1165 inline MLXRectangle *Rect(PolyWord R) { return (MLXRectangle *) R.AsObjPtr(); } function 1167 inline short GetRectTop(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->top); } 1168 inline short GetRectLeft(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->left); } 1169 inline short GetRectRight(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->right); } 1170 inline short GetRectBottom(TaskData *taskData, PolyWord R) { return get_C_short(taskData, Rect(R)->bottom); }
|
Completed in 119 milliseconds