From f758a6ed42474f38498f41f5f49a7e384b1309c6 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 26 Mar 2015 23:07:07 -0400 Subject: [PATCH] Add record-dc% in typed/racket/draw --- typed-racket-more/typed/racket/draw.rkt | 3 +++ typed-racket-more/typed/racket/private/gui-types.rkt | 8 ++++++++ 2 files changed, 11 insertions(+) diff --git a/typed-racket-more/typed/racket/draw.rkt b/typed-racket-more/typed/racket/draw.rkt index f00fe74c..c7038250 100644 --- a/typed-racket-more/typed/racket/draw.rkt +++ b/typed-racket-more/typed/racket/draw.rkt @@ -27,6 +27,7 @@ racket/draw/private/color racket/draw/private/font racket/draw/private/pen + racket/draw/private/record-dc racket/draw/private/region) LoadFileKind Font-Family @@ -56,6 +57,7 @@ Point% PS-Setup% Radial-Gradient% + Record-DC% Region%)) (begin-for-syntax @@ -86,6 +88,7 @@ [pen% (parse-type #'Pen%)] [ps-setup% (parse-type #'PS-Setup%)] [radial-gradient% (parse-type #'Radial-Gradient%)] + [record-dc% (parse-type #'Record-DC%)] [region% (parse-type #'Region%)] ;; 26 Drawing Functions [current-ps-setup (-Param (-inst (parse-type #'PS-Setup%)))] diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index a2c99569..cdee7510 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -33,6 +33,7 @@ Point% PS-Setup% Radial-Gradient% + Record-DC% Region%) (define-type LoadFileKind @@ -498,6 +499,13 @@ [set-bitmap ((Option (Instance Bitmap%)) -> Void)] [set-pixel (Real Real (Instance Color%) -> Boolean)])) +(define-type Record-DC% + (Class #:implements DC<%> + (init [width Real #:optional] + [height Real #:optional]) + [get-recorded-datum (-> Any)] + [get-recorded-procedure (-> (-> (Instance DC<%>) Void))])) + (define-type Font-List% (Class [find-or-create-font