Add type annotations for GUI libraries
The types for racket/gui are substantially complete, but there are still some missing classes and methods. Some interesting future work would be to ensure type coverage by comparing the class members vs. the types in the environment. That could be run as a test to ensure it stays up to date. Most types for the framework library are still missing.
This commit is contained in:
Asumu Takikawa
parent
90dccbdffb
commit
00a3b7cb14
|
|
@ -8,6 +8,7 @@
|
||||||
"draw-lib"
|
"draw-lib"
|
||||||
"rackunit-lib"
|
"rackunit-lib"
|
||||||
"rackunit-gui"
|
"rackunit-gui"
|
||||||
|
"snip-lib"
|
||||||
"typed-racket-lib"
|
"typed-racket-lib"
|
||||||
"gui-lib"
|
"gui-lib"
|
||||||
"pict-lib"))
|
"pict-lib"))
|
||||||
|
|
|
||||||
43
pkgs/typed-racket-pkgs/typed-racket-more/typed/framework.rkt
Normal file
43
pkgs/typed-racket-pkgs/typed-racket-more/typed/framework.rkt
Normal file
|
|
@ -0,0 +1,43 @@
|
||||||
|
#lang s-exp typed-racket/base-env/extra-env-lang
|
||||||
|
|
||||||
|
;; A typed wrapper for the framework library
|
||||||
|
|
||||||
|
(require framework
|
||||||
|
(for-syntax (only-in (rep type-rep)
|
||||||
|
make-Instance))
|
||||||
|
"racket/private/gui-types.rkt"
|
||||||
|
(for-syntax (submod "racket/private/gui-types.rkt" #%type-decl))
|
||||||
|
"private/framework-types.rkt"
|
||||||
|
(for-syntax (submod "private/framework-types.rkt" #%type-decl)))
|
||||||
|
|
||||||
|
(provide (all-from-out "private/framework-types.rkt"))
|
||||||
|
|
||||||
|
(begin-for-syntax
|
||||||
|
(define -Button% (parse-type #'Button%))
|
||||||
|
(define -Event% (parse-type #'Event%)))
|
||||||
|
|
||||||
|
(type-environment
|
||||||
|
;; 8 Canvas
|
||||||
|
[canvas:basic% (parse-type #'Canvas:Basic%)]
|
||||||
|
[canvas:wide-snip-mixin (parse-type #'Canvas:Wide-Snip-Mixin)]
|
||||||
|
;; 11 Editor
|
||||||
|
[editor:get-standard-style-list
|
||||||
|
(-> (make-Instance (parse-type #'Style-List%)))]
|
||||||
|
;; 14 Frame
|
||||||
|
[frame:basic-mixin (parse-type #'Frame:Basic-Mixin)]
|
||||||
|
[frame:focus-table-mixin (parse-type #'Frame:Focus-Table-Mixin)]
|
||||||
|
[frame:size-pref-mixin (parse-type #'Frame:Size-Pref-Mixin)]
|
||||||
|
[frame:register-group-mixin (parse-type #'Frame:Register-Group-Mixin)]
|
||||||
|
[frame:status-line-mixin (parse-type #'Frame:Status-Line-Mixin)]
|
||||||
|
;; 16
|
||||||
|
[gui-utils:ok/cancel-buttons
|
||||||
|
(-> (make-Instance (parse-type #'Horizontal-Panel%))
|
||||||
|
(-> (make-Instance -Button%) (make-Instance -Event%) -Void)
|
||||||
|
(-> (make-Instance -Button%) (make-Instance -Event%) -Void)
|
||||||
|
(-values (list Univ Univ)))]
|
||||||
|
;; 27
|
||||||
|
[preferences:get (-> -Symbol -Sexp)]
|
||||||
|
[preferences:set (-> -Symbol -Sexp -Void)]
|
||||||
|
[preferences:set-default (-> -Symbol -Sexp (-> Univ -Boolean) -Void)]
|
||||||
|
;; 28
|
||||||
|
[racket:text% (parse-type #'Text:Basic<%>)])
|
||||||
|
|
@ -0,0 +1,173 @@
|
||||||
|
#lang typed/racket
|
||||||
|
|
||||||
|
;; Types for the framework library
|
||||||
|
|
||||||
|
(require "../racket/private/gui-types.rkt")
|
||||||
|
|
||||||
|
;; 4 Canvas
|
||||||
|
(provide Canvas:Basic<%>
|
||||||
|
Canvas:Basic%
|
||||||
|
Canvas:Wide-Snip<%>
|
||||||
|
Canvas:Wide-Snip-Mixin)
|
||||||
|
|
||||||
|
(define-type Canvas:Basic<%>
|
||||||
|
(Class #:implements Editor-Canvas%))
|
||||||
|
|
||||||
|
(define-type Canvas:Basic%
|
||||||
|
(Class #:implements Canvas:Basic<%>
|
||||||
|
(init [parent (Instance Dialog%)]
|
||||||
|
[editor (Instance Text:Basic<%>)])))
|
||||||
|
|
||||||
|
(define-type Canvas:Wide-Snip<%>
|
||||||
|
(Class #:implements Canvas:Basic<%>
|
||||||
|
[recalc-snips (-> Void)]
|
||||||
|
[add-wide-snip ((Instance Snip%) -> Void)]
|
||||||
|
[add-tall-snip ((Instance Snip%) -> Void)]))
|
||||||
|
|
||||||
|
(define-type Canvas:Wide-Snip-Mixin
|
||||||
|
(All (r #:row)
|
||||||
|
(Class #:row-var r #:implements Canvas:Basic<%>)
|
||||||
|
->
|
||||||
|
(Class #:row-var r #:implements Canvas:Wide-Snip<%>)))
|
||||||
|
|
||||||
|
;; 11 Editor
|
||||||
|
(provide Editor:Basic<%>
|
||||||
|
Editor:Keymap<%>
|
||||||
|
Editor:File<%>)
|
||||||
|
|
||||||
|
(define-type Editor:Basic<%>
|
||||||
|
(Class #:implements Editor<%>
|
||||||
|
[has-focus? (-> Boolean)]
|
||||||
|
;; FIXME
|
||||||
|
))
|
||||||
|
|
||||||
|
(define-type Editor:Keymap<%>
|
||||||
|
(Class #:implements Editor:Basic<%>
|
||||||
|
;; FIXME
|
||||||
|
))
|
||||||
|
|
||||||
|
(define-type Editor:File<%>
|
||||||
|
(Class #:implements Editor:Keymap<%>
|
||||||
|
;; FIXME
|
||||||
|
[update-frame-filename (-> Void)]
|
||||||
|
[allow-close-with-no-filename? (-> Boolean)]
|
||||||
|
[user-saves-or-not-modified? (#t -> Boolean)] ; FIXME: fishy docs
|
||||||
|
))
|
||||||
|
|
||||||
|
;; 14 Frame
|
||||||
|
(provide Frame:Basic<%>
|
||||||
|
Frame:Focus-Table<%>
|
||||||
|
Frame:Size-Pref<%>
|
||||||
|
Frame:Register-Group<%>
|
||||||
|
Frame:Status-Line<%>
|
||||||
|
Frame:Basic-Mixin
|
||||||
|
Frame:Focus-Table-Mixin
|
||||||
|
Frame:Size-Pref-Mixin
|
||||||
|
Frame:Register-Group-Mixin
|
||||||
|
Frame:Status-Line-Mixin)
|
||||||
|
|
||||||
|
(define-type Frame:Basic<%>
|
||||||
|
(Class #:implements Frame%
|
||||||
|
;; this method has a tricky type
|
||||||
|
[get-area-container% (-> Any)]
|
||||||
|
[get-area-container (-> (Instance Area-Container<%>))]
|
||||||
|
[get-menu-bar% (-> Any)]
|
||||||
|
[make-root-area-container
|
||||||
|
(Any (Instance Area-Container<%>) -> (Instance Area-Container<%>))]
|
||||||
|
[close (-> Void)]
|
||||||
|
[editing-this-file? (Path -> Boolean)]
|
||||||
|
[get-filename
|
||||||
|
(case->
|
||||||
|
(-> (Option Path))
|
||||||
|
((Option (Boxof Boolean)) -> (Option Path)))]
|
||||||
|
[make-visible (String -> Void)]))
|
||||||
|
|
||||||
|
(define-type Frame:Focus-Table<%>
|
||||||
|
(Class #:implements Frame%))
|
||||||
|
|
||||||
|
(define-type Frame:Size-Pref<%>
|
||||||
|
(Class #:implements Frame:Basic<%>
|
||||||
|
[adjust-size-when-monitor-setup-changes? (-> Boolean)]))
|
||||||
|
|
||||||
|
(define-type Frame:Register-Group<%>
|
||||||
|
(Class #:implements Frame%))
|
||||||
|
|
||||||
|
(define-type Frame:Status-Line<%>
|
||||||
|
;; Note: if you change this next line to
|
||||||
|
;; #:implements Frame%, then the mixin using this
|
||||||
|
;; type below should be ruled out by sealing contracts.
|
||||||
|
;;
|
||||||
|
;; TODO: implement sealing contracts and make sure
|
||||||
|
;; that mistake is ruled out
|
||||||
|
(Class #:implements Frame:Basic<%>
|
||||||
|
[open-status-line (Symbol -> Void)]
|
||||||
|
[close-status-line (Symbol -> Void)]
|
||||||
|
[update-status-line
|
||||||
|
(Symbol (Option String) -> Void)]))
|
||||||
|
|
||||||
|
(define-type Frame:Basic-Mixin
|
||||||
|
(All (r #:row)
|
||||||
|
(Class #:row-var r #:implements Frame%)
|
||||||
|
->
|
||||||
|
(Class #:row-var r #:implements Frame:Basic<%>)))
|
||||||
|
|
||||||
|
(define-type Frame:Focus-Table-Mixin
|
||||||
|
(All (r #:row)
|
||||||
|
(Class #:row-var r #:implements Frame%)
|
||||||
|
->
|
||||||
|
(Class #:row-var r #:implements Frame:Focus-Table<%>)))
|
||||||
|
|
||||||
|
(define-type Frame:Size-Pref-Mixin
|
||||||
|
(All (r #:row)
|
||||||
|
(Class #:row-var r #:implements Frame%)
|
||||||
|
->
|
||||||
|
(Class #:row-var r #:implements Frame:Size-Pref<%>
|
||||||
|
(init [size-preferences Symbol]
|
||||||
|
[position-preferences-key (Option Symbol) #:optional]
|
||||||
|
[width (Option Natural)]
|
||||||
|
[height (Option Natural)]
|
||||||
|
[x (Option Integer)]
|
||||||
|
[y (Option Integer)]))))
|
||||||
|
|
||||||
|
(define-type Frame:Register-Group-Mixin
|
||||||
|
(All (r #:row)
|
||||||
|
(Class #:row-var r #:implements Frame:Basic<%>)
|
||||||
|
->
|
||||||
|
(Class #:row-var r #:implements Frame:Focus-Table<%>)))
|
||||||
|
|
||||||
|
(define-type Frame:Status-Line-Mixin
|
||||||
|
(All (r #:row)
|
||||||
|
(Class #:row-var r #:implements Frame:Basic<%>)
|
||||||
|
->
|
||||||
|
(Class #:row-var r #:implements Frame:Status-Line<%>)))
|
||||||
|
|
||||||
|
;; 29 Text
|
||||||
|
(provide Text:Basic<%>
|
||||||
|
Text:File<%>)
|
||||||
|
|
||||||
|
(define-type Text:Basic<%>
|
||||||
|
(Class #:implements Text%
|
||||||
|
;; highlight-range
|
||||||
|
;; unhighlight-range
|
||||||
|
;; unhighlight-ranges/key
|
||||||
|
[unhighlight-ranges/key (Any -> Void)]
|
||||||
|
;; unhighlight-ranges
|
||||||
|
;; get-highlighted-ranges
|
||||||
|
[get-styles-fixed (-> Boolean)]
|
||||||
|
;; get-fixed-style
|
||||||
|
[set-styles-fixed (Boolean -> Void)]
|
||||||
|
;; move/copy-to-edit
|
||||||
|
[initial-autowrap-bitmap
|
||||||
|
(-> (Option (Instance Bitmap%)))]
|
||||||
|
[get-port-name
|
||||||
|
(-> (U Path-String Symbol #f))]
|
||||||
|
[port-name-matches? (Any -> Boolean)]
|
||||||
|
[get-edition-number (-> Natural)]
|
||||||
|
[get-start-of-line (Natural -> Natural)]))
|
||||||
|
|
||||||
|
(define-type Text:File<%>
|
||||||
|
(Class #:implements Text:Basic<%>
|
||||||
|
#:implements Editor:File<%>
|
||||||
|
[get-read-write? (-> Boolean)]
|
||||||
|
[while-unlocked ((-> Any) -> Any)]))
|
||||||
|
|
||||||
|
|
@ -0,0 +1,78 @@
|
||||||
|
#lang s-exp typed-racket/base-env/extra-env-lang
|
||||||
|
|
||||||
|
;; This module provides a base type environment including
|
||||||
|
;; racket/draw bindings
|
||||||
|
|
||||||
|
(begin
|
||||||
|
(require racket/draw/private/bitmap
|
||||||
|
racket/draw/private/bitmap-dc
|
||||||
|
racket/draw/private/brush
|
||||||
|
racket/draw/private/color
|
||||||
|
racket/draw/private/font
|
||||||
|
racket/draw/private/gl-config
|
||||||
|
racket/draw/private/pen
|
||||||
|
racket/draw/private/region
|
||||||
|
(for-syntax (only-in (rep type-rep) make-Instance))
|
||||||
|
"private/gui-types.rkt"
|
||||||
|
(for-syntax (submod "private/gui-types.rkt" #%type-decl)))
|
||||||
|
|
||||||
|
(provide (all-from-out racket/draw/private/bitmap
|
||||||
|
racket/draw/private/bitmap-dc
|
||||||
|
racket/draw/private/brush
|
||||||
|
racket/draw/private/color
|
||||||
|
racket/draw/private/font
|
||||||
|
racket/draw/private/pen
|
||||||
|
racket/draw/private/region)
|
||||||
|
LoadFileKind
|
||||||
|
Font-Family
|
||||||
|
Font-Style
|
||||||
|
Font-Weight
|
||||||
|
Font-Smoothing
|
||||||
|
Font-Hinting
|
||||||
|
Bitmap%
|
||||||
|
Bitmap-DC%
|
||||||
|
Brush-Style
|
||||||
|
Brush%
|
||||||
|
Brush-List%
|
||||||
|
Color%
|
||||||
|
Color-Database<%>
|
||||||
|
DC<%>
|
||||||
|
Font%
|
||||||
|
Font-List%
|
||||||
|
GL-Config%
|
||||||
|
GL-Context<%>
|
||||||
|
Pen%
|
||||||
|
Pen-List%
|
||||||
|
Pen-Style
|
||||||
|
Pen-Cap-Style
|
||||||
|
Pen-Join-Style
|
||||||
|
Point%
|
||||||
|
Region%))
|
||||||
|
|
||||||
|
(type-environment
|
||||||
|
[the-brush-list (make-Instance (parse-type #'Brush-List%))]
|
||||||
|
[the-pen-list (make-Instance (parse-type #'Pen-List%))]
|
||||||
|
[the-font-list (make-Instance (parse-type #'Font-List%))]
|
||||||
|
[make-bitmap
|
||||||
|
(->optkey -PosInt -PosInt [Univ] #:backing-scale -Real #f
|
||||||
|
(make-Instance (parse-type #'Bitmap%)))]
|
||||||
|
[read-bitmap
|
||||||
|
(->opt (Un -Pathlike) [-Symbol (Un (make-Instance (parse-type #'Color%)) (-val #f)) Univ]
|
||||||
|
(make-Instance (parse-type #'Bitmap%)))]
|
||||||
|
[make-color
|
||||||
|
(->optkey -Byte -Byte -Byte
|
||||||
|
[-Real]
|
||||||
|
#:immutable? Univ #f
|
||||||
|
(make-Instance (parse-type #'Color%)))]
|
||||||
|
|
||||||
|
[bitmap% (parse-type #'Bitmap%)]
|
||||||
|
[bitmap-dc% (parse-type #'Bitmap-DC%)]
|
||||||
|
[brush% (parse-type #'Brush%)]
|
||||||
|
[brush-list% (parse-type #'Brush-List%)]
|
||||||
|
[color% (parse-type #'Color%)]
|
||||||
|
[the-color-database (make-Instance (parse-type #'Color-Database<%>))]
|
||||||
|
[font% (parse-type #'Font%)]
|
||||||
|
[font-list% (parse-type #'Font-List%)]
|
||||||
|
[gl-config% (parse-type #'GL-Config%)]
|
||||||
|
[pen% (parse-type #'Pen%)]
|
||||||
|
[region% (parse-type #'Region%)])
|
||||||
332
pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt
Normal file
332
pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/gui.rkt
Normal file
|
|
@ -0,0 +1,332 @@
|
||||||
|
#lang s-exp typed-racket/base-env/extra-env-lang
|
||||||
|
|
||||||
|
;; This module provides a base type environment including
|
||||||
|
;; most GUI library bindings
|
||||||
|
|
||||||
|
(require racket/require
|
||||||
|
(subtract-in racket/gui/base
|
||||||
|
racket/draw
|
||||||
|
(except-in racket/snip get-the-snip-class-list))
|
||||||
|
(for-syntax (only-in (rep type-rep)
|
||||||
|
make-Evt
|
||||||
|
make-Instance
|
||||||
|
make-Opaque))
|
||||||
|
"draw.rkt"
|
||||||
|
"snip.rkt"
|
||||||
|
"private/gui-types.rkt"
|
||||||
|
(for-syntax (submod "private/gui-types.rkt" #%type-decl)))
|
||||||
|
|
||||||
|
(provide (all-from-out "draw.rkt")
|
||||||
|
(all-from-out "snip.rkt")
|
||||||
|
(all-from-out "private/gui-types.rkt"))
|
||||||
|
|
||||||
|
(begin-for-syntax
|
||||||
|
(define -Eventspace (make-Opaque #'eventspace?))
|
||||||
|
(define -Color% (parse-type #'Color%))
|
||||||
|
(define -Color%-Obj (make-Instance -Color%)))
|
||||||
|
|
||||||
|
(type-environment
|
||||||
|
[button% (parse-type #'Button%)]
|
||||||
|
[canvas% (parse-type #'Canvas%)]
|
||||||
|
[check-box% (parse-type #'Check-Box%)]
|
||||||
|
[checkable-menu-item% (parse-type #'Checkable-Menu-Item%)]
|
||||||
|
[choice% (parse-type #'Choice%)]
|
||||||
|
[clipboard-client% (parse-type #'Clipboard-Client%)]
|
||||||
|
[combo-field% (parse-type #'Combo-Field%)]
|
||||||
|
[column-control-event% (parse-type #'Column-Control-Event%)]
|
||||||
|
[control-event% (parse-type #'Control-Event%)]
|
||||||
|
[cursor% (parse-type #'Cursor%)]
|
||||||
|
[dialog% (parse-type #'Dialog%)]
|
||||||
|
[event% (parse-type #'Event%)]
|
||||||
|
[frame% (parse-type #'Frame%)]
|
||||||
|
[gauge% (parse-type #'Gauge%)]
|
||||||
|
[group-box-panel% (parse-type #'Group-Box-Panel%)]
|
||||||
|
[grow-box-spacer-pane% (parse-type #'Grow-Box-Spacer-Pane%)]
|
||||||
|
[horizontal-pane% (parse-type #'Horizontal-Pane%)]
|
||||||
|
[horizontal-panel% (parse-type #'Horizontal-Panel%)]
|
||||||
|
[key-event% (parse-type #'Key-Event%)]
|
||||||
|
[list-box% (parse-type #'List-Box%)]
|
||||||
|
[menu% (parse-type #'Menu%)]
|
||||||
|
[menu-bar% (parse-type #'Menu-Bar%)]
|
||||||
|
[menu-item% (parse-type #'Menu-Item%)]
|
||||||
|
[message% (parse-type #'Message%)]
|
||||||
|
[mouse-event% (parse-type #'Mouse-Event%)]
|
||||||
|
[pane% (parse-type #'Pane%)]
|
||||||
|
[panel% (parse-type #'Panel%)]
|
||||||
|
[popup-menu% (parse-type #'Popup-Menu%)]
|
||||||
|
[printer-dc% (parse-type #'Printer-DC%)]
|
||||||
|
[radio-box% (parse-type #'Radio-Box%)]
|
||||||
|
[separator-menu-item% (parse-type #'Separator-Menu-Item%)]
|
||||||
|
[scroll-event% (parse-type #'Scroll-Event%)]
|
||||||
|
[slider% (parse-type #'Slider%)]
|
||||||
|
[tab-panel% (parse-type #'Tab-Panel%)]
|
||||||
|
[text-field% (parse-type #'Text-Field%)]
|
||||||
|
[timer% (parse-type #'Timer%)]
|
||||||
|
[vertical-pane% (parse-type #'Vertical-Pane%)]
|
||||||
|
[vertical-panel% (parse-type #'Vertical-Panel%)]
|
||||||
|
[the-font-list (make-Instance (parse-type #'Font-List%))]
|
||||||
|
[get-face-list
|
||||||
|
(->optkey [(one-of/c 'mono 'all)]
|
||||||
|
#:all-variants? Univ #f
|
||||||
|
(-lst -String))]
|
||||||
|
[editor-canvas% (parse-type #'Editor-Canvas%)]
|
||||||
|
[message-box (-> -String -String (one-of/c 'ok 'cancel 'yes 'no))]
|
||||||
|
[open-input-text-editor
|
||||||
|
(->optkey (make-Instance (parse-type #'Text%))
|
||||||
|
[-Integer
|
||||||
|
(Un (-val 'end) -Integer)
|
||||||
|
(-> (make-Instance (parse-type #'Snip%))
|
||||||
|
(make-Instance (parse-type #'Snip%)))
|
||||||
|
(make-Instance (parse-type #'Text%))
|
||||||
|
-Boolean]
|
||||||
|
#:lock-while-reading? Univ #f
|
||||||
|
-Input-Port)]
|
||||||
|
;; Editor classes
|
||||||
|
[editor-admin% (parse-type #'Editor-Admin%)]
|
||||||
|
[editor-canvas% (parse-type #'Editor-Canvas%)]
|
||||||
|
[editor-data% (parse-type #'Editor-Data%)]
|
||||||
|
[editor-data-class% (parse-type #'Editor-Data-Class%)]
|
||||||
|
[editor-stream-in% (parse-type #'Editor-Stream-In%)]
|
||||||
|
[editor-stream-out% (parse-type #'Editor-Stream-Out%)]
|
||||||
|
[keymap% (parse-type #'Keymap%)]
|
||||||
|
[pasteboard% (parse-type #'Pasteboard%)]
|
||||||
|
[text% (parse-type #'Text%)]
|
||||||
|
;; 4.1 Dialogs
|
||||||
|
[get-file
|
||||||
|
(->optkey [(Un (-val #f) -String)
|
||||||
|
(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(Un (-val #f) -String)
|
||||||
|
(-lst (one-of/c 'packages 'enter-packages 'common))
|
||||||
|
(-lst (-pair -String (-pair -String (-val null))))]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(Un (-val #f) -Path))]
|
||||||
|
[get-file-list
|
||||||
|
(->optkey [(Un (-val #f) -String)
|
||||||
|
(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(Un (-val #f) -String)
|
||||||
|
(-lst (one-of/c 'packages 'enter-packages 'common))
|
||||||
|
(-lst (-pair -String (-pair -String (-val null))))]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(Un (-val #f) (-lst -Path)))]
|
||||||
|
[put-file
|
||||||
|
(->optkey [(Un (-val #f) -String)
|
||||||
|
(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(Un (-val #f) -String)
|
||||||
|
(-lst (one-of/c 'packages 'enter-packages 'common))
|
||||||
|
(-lst (-pair -String (-pair -String (-val null))))]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(Un (-val #f) -Path))]
|
||||||
|
[get-directory
|
||||||
|
(->optkey [(Un (-val #f) -String)
|
||||||
|
(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(Un (-val #f) -Pathlike)
|
||||||
|
(-lst (one-of/c 'enter-packages 'common))]
|
||||||
|
;; FIXME: better type for this argument
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(Un (-val #f) -Path))]
|
||||||
|
[message-box
|
||||||
|
(->optkey -String -String
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst (one-of/c 'ok 'ok-cancel 'yes-no
|
||||||
|
'caution 'stop 'no-icon))]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(one-of/c 'ok 'cancel 'yes 'no))]
|
||||||
|
[message-box/custom
|
||||||
|
(->optkey -String -String
|
||||||
|
(Un -String (make-Instance (parse-type #'Bitmap%)) (-val #f))
|
||||||
|
(Un -String (make-Instance (parse-type #'Bitmap%)) (-val #f))
|
||||||
|
(Un -String (make-Instance (parse-type #'Bitmap%)) (-val #f))
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst (one-of/c 'stop 'caution 'no-icon 'number-order
|
||||||
|
'disallow-close 'no-default
|
||||||
|
'default=1 'default=2 'default=3))
|
||||||
|
Univ]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
Univ)]
|
||||||
|
[message+check-box
|
||||||
|
(->optkey -String -String -String
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst (one-of/c 'ok 'ok-cancel 'yes-no
|
||||||
|
'caution 'stop 'no-icon 'checked))]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(-values (list (one-of/c 'ok 'cancel 'yes 'no)
|
||||||
|
-Boolean)))]
|
||||||
|
[message+check-box
|
||||||
|
(->optkey -String -String -String
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst (one-of/c 'ok 'ok-cancel 'yes-no
|
||||||
|
'caution 'stop 'no-icon 'checked))]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(-values (list (one-of/c 'ok 'cancel 'yes 'no)
|
||||||
|
-Boolean)))]
|
||||||
|
[message+check-box/custom
|
||||||
|
(->optkey -String -String -String
|
||||||
|
(Un -String (make-Instance (parse-type #'Bitmap%)) (-val #f))
|
||||||
|
(Un -String (make-Instance (parse-type #'Bitmap%)) (-val #f))
|
||||||
|
(Un -String (make-Instance (parse-type #'Bitmap%)) (-val #f))
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst (one-of/c 'stop 'caution 'no-icon 'number-order
|
||||||
|
'disallow-close 'no-default
|
||||||
|
'default=1 'default=2 'default=3))
|
||||||
|
Univ]
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
Univ)]
|
||||||
|
[get-text-from-user
|
||||||
|
(->optkey -String -String
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst (one-of/c 'password 'disallow-invalid))]
|
||||||
|
#:validate (-> -String -Boolean) #f
|
||||||
|
#:dialog-mixin (Un) #f
|
||||||
|
(Un (-val #f) -String))]
|
||||||
|
[get-choices-from-user
|
||||||
|
(->optkey -String -String (-lst -String)
|
||||||
|
[(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(-lst -Integer)
|
||||||
|
(-lst (one-of/c 'single 'multiple 'extended))]
|
||||||
|
(Un (-val #f) (-lst -Nat)))]
|
||||||
|
[get-choices-from-user
|
||||||
|
(->optkey [(Un (-val #f) -String)
|
||||||
|
(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(Un -Color%-Obj
|
||||||
|
(-val #f))
|
||||||
|
(-lst (-val 'alpha))]
|
||||||
|
(Un (-val #f) -Color%-Obj))]
|
||||||
|
[get-font-from-user
|
||||||
|
(->optkey [(Un (-val #f) -String)
|
||||||
|
(Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))
|
||||||
|
(Un (make-Instance (parse-type #'Font%)) (-val #f))
|
||||||
|
(-val null)]
|
||||||
|
(Un (-val #f) (make-Instance (parse-type #'Font%))))]
|
||||||
|
[can-get-page-setup-from-user? (-> -Boolean)]
|
||||||
|
;; 4.2 Eventspaces
|
||||||
|
[#:opaque Eventspace eventspace?]
|
||||||
|
[make-eventspace (-> -Eventspace)]
|
||||||
|
[current-eventspace (-Param -Eventspace -Eventspace)]
|
||||||
|
[event-dispatch-handler (-Param (-> -Eventspace Univ) (-> -Eventspace Univ))]
|
||||||
|
[eventspace-event-evt
|
||||||
|
(cl->* (-> (make-Evt -Eventspace))
|
||||||
|
(-> -Eventspace (make-Evt -Eventspace)))]
|
||||||
|
[eventspace-shutdown? (-> -Eventspace -Boolean)]
|
||||||
|
[eventspace-handler-thread (-> -Eventspace (-opt -Thread))]
|
||||||
|
[check-for-break (-> -Boolean)]
|
||||||
|
[get-top-level-windows
|
||||||
|
(-> (-lst (Un (make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%)))))]
|
||||||
|
[get-top-level-focus-window
|
||||||
|
(-> (Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%))))]
|
||||||
|
[get-top-level-edit-target-window
|
||||||
|
(-> (Un (-val #f)
|
||||||
|
(make-Instance (parse-type #'Frame%))
|
||||||
|
(make-Instance (parse-type #'Dialog%))))]
|
||||||
|
[special-control-key
|
||||||
|
(cl->* (-> Univ -Void) (-> -Boolean))]
|
||||||
|
[special-option-key
|
||||||
|
(cl->* (-> Univ -Void) (-> -Boolean))]
|
||||||
|
[queue-callback (->opt (-> Univ) [Univ] -Void)]
|
||||||
|
[yield
|
||||||
|
(-poly (a)
|
||||||
|
(cl->* (-> -Boolean)
|
||||||
|
(-> (-val 'wait) (-val #t))
|
||||||
|
(-> (make-Evt a) a)))]
|
||||||
|
[sleep/yield (-> -NonNegReal -Void)]
|
||||||
|
;; 4.4 Global Graphics
|
||||||
|
[flush-display (-> -Void)]
|
||||||
|
[get-display-count (-> -PosInt)]
|
||||||
|
[get-display-depth (-> -Nat)]
|
||||||
|
[get-display-left-top-inset
|
||||||
|
(cl->* (->key #:monitor -Nat #f
|
||||||
|
(-values (list (Un (-val #f) -Nat)
|
||||||
|
(Un (-val #f) -Nat))))
|
||||||
|
(->key Univ #:monitor -Nat #f
|
||||||
|
(-values (list (Un (-val #f) -Nat)
|
||||||
|
(Un (-val #f) -Nat)))))]
|
||||||
|
[get-display-size
|
||||||
|
(cl->* (->key #:monitor -Nat #f
|
||||||
|
(-values (list (Un (-val #f) -Nat)
|
||||||
|
(Un (-val #f) -Nat))))
|
||||||
|
(->key Univ #:monitor -Nat #f
|
||||||
|
(-values (list (Un (-val #f) -Nat)
|
||||||
|
(Un (-val #f) -Nat)))))]
|
||||||
|
[is-color-display? (-> -Boolean)]
|
||||||
|
;; 4.5 Fonts
|
||||||
|
[menu-control-font (make-Instance (parse-type #'Font%))]
|
||||||
|
[normal-control-font (make-Instance (parse-type #'Font%))]
|
||||||
|
[small-control-font (make-Instance (parse-type #'Font%))]
|
||||||
|
[tiny-control-font (make-Instance (parse-type #'Font%))]
|
||||||
|
[view-control-font (make-Instance (parse-type #'Font%))]
|
||||||
|
;; 4.6 Miscellaneous
|
||||||
|
[begin-busy-cursor (-> -Void)]
|
||||||
|
[bell (-> -Void)]
|
||||||
|
[dimension-integer? (-> Univ -Boolean)]
|
||||||
|
[end-busy-cursor (-> -Void)]
|
||||||
|
[file-creator-and-type
|
||||||
|
(cl->* (-> -Path (-values (list -Bytes -Bytes)))
|
||||||
|
(-> -Path -Bytes -Bytes -Void))]
|
||||||
|
[find-graphical-system-path
|
||||||
|
(-> (one-of/c 'init-file 'x-display) (-opt -Path))]
|
||||||
|
[get-default-shortcut-prefix
|
||||||
|
(-> (Un (-lst* (-val 'ctl))
|
||||||
|
(-lst* (-val 'cmd))
|
||||||
|
(-lst (one-of/c 'alt 'cmd 'meta 'ctl 'shift 'option))))]
|
||||||
|
[get-panel-background (-> -Color%-Obj)]
|
||||||
|
[get-highlight-background-color (-> -Color%-Obj)]
|
||||||
|
[get-highlight-text-color (-> (-opt -Color%-Obj))]
|
||||||
|
; get-window-text-extent
|
||||||
|
; graphical-read-eval-print-loop
|
||||||
|
; textual-read-eval-print-loop
|
||||||
|
; get-current-mouse-state
|
||||||
|
[hide-cursor-until-moved (-> -Void)]
|
||||||
|
[is-busy? (-> -Boolean)]
|
||||||
|
[label->plain-label (-> -String -String)]
|
||||||
|
; make-gl-bitmap
|
||||||
|
[make-gui-empty-namespace (-> -Namespace)]
|
||||||
|
[make-gui-namespace (-> -Namespace)]
|
||||||
|
; make-screen-bitmap
|
||||||
|
; play-sound
|
||||||
|
; position-integer?
|
||||||
|
; positive-dimension-integer?
|
||||||
|
; register-collecting-blit
|
||||||
|
; unregister-collecting-blit
|
||||||
|
; send-message-to-window
|
||||||
|
; spacing-integer?
|
||||||
|
[system-position-ok-before-cancel? (-> -Boolean)]
|
||||||
|
; the-clipboard
|
||||||
|
; the-x-selection-clipboard
|
||||||
|
; label-string?
|
||||||
|
; key-code-symbol?
|
||||||
|
;; 8 Editor functions
|
||||||
|
[get-the-snip-class-list (-> (make-Instance (parse-type #'Snip-Class-List<%>)))])
|
||||||
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,26 @@
|
||||||
|
#lang s-exp typed-racket/base-env/extra-env-lang
|
||||||
|
|
||||||
|
;; This module provides a base type environment including
|
||||||
|
;; racket/snip bindings
|
||||||
|
|
||||||
|
(require racket/snip/private/snip
|
||||||
|
racket/snip/private/snip-admin
|
||||||
|
racket/snip/private/style
|
||||||
|
"private/gui-types.rkt"
|
||||||
|
(for-syntax (submod "private/gui-types.rkt" #%type-decl)))
|
||||||
|
|
||||||
|
(provide Snip%
|
||||||
|
Snip-Admin%
|
||||||
|
Snip-Class%
|
||||||
|
String-Snip%
|
||||||
|
Style<%>
|
||||||
|
Style-Delta%
|
||||||
|
Style-List%)
|
||||||
|
|
||||||
|
(type-environment
|
||||||
|
[snip% (parse-type #'Snip%)]
|
||||||
|
[snip-admin% (parse-type #'Snip-Admin%)]
|
||||||
|
[snip-class% (parse-type #'Snip-Class%)]
|
||||||
|
[string-snip% (parse-type #'String-Snip%)]
|
||||||
|
[style-delta% (parse-type #'Style-Delta%)]
|
||||||
|
[style-list% (parse-type #'Style-List%)])
|
||||||
Loading…
Reference in New Issue
Block a user