Searched defs:object (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/src/opentheory/
H A DOpenTheoryCommon.sig7 datatype object type
H A DOpenTheoryCommon.sml19 datatype object type
/seL4-l4v-master/HOL4/examples/acl2/lisp/
H A Da2ml.lisp
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp555 X_Object *object; /* pointer into Poly heap; weak */ member in struct:X_List_struct
1310 X_Colormap_Object *object = (X_Colormap_Object *)DEREFHANDLE(objectHandle); local
1366 X_Visual_Object *object = (X_Visual_Object *)DEREFHANDLE(objectHandle); local
1421 X_GC_Object *object = (X_GC_Object *)DEREFHANDLE(objectHandle); local
1503 X_GC_Object *object = (X_GC_Object *)DEREFHANDLE(objectHandle); local
1574 X_Window_Object *object = DEREFWINDOWHANDLE(objectHandle); local
1673 X_Pixmap_Object *object = (X_Pixmap_Object *)DEREFHANDLE(objectHandle); local
1805 X_Font_Object *object = (X_Font_Object *)DEREFHANDLE(objectHandle); local
1871 X_Cursor_Object *object = (X_Cursor_Object *)DEREFHANDLE(objectHandle); local
2018 X_Widget_Object *object = (X_Widget_Object *)DEREFHANDLE(objectHandle); local
2136 X_Window_Object *object = DEREFWINDOWHANDLE(objectHandle); local
2291 X_Trans_Object *object = (X_Trans_Object *)DEREFHANDLE(objectHandle); local
2317 X_Acc_Object *object = (X_Acc_Object *)DEREFHANDLE(objectHandle); local
[all...]

Completed in 94 milliseconds