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 Dpyobjc-tc.c20 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 Dcompletion_popup.scala200 case selection : Selection.Rect
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dcompletion_popup.scala200 case selection : Selection.Rect
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DFont.sml317 (* The Rect is optional but really depends on the ETO_OPAQUE or ETO_CLIPPED
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp1165 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