TABLE OF CONTENTS
- 1. TkAda/Image
- 1.1. Image/Bitmap
- 1.1.1. Bitmap/Bitmap.Tk_Bitmap
- 1.1.2. Bitmap/Bitmap.Create_(function)
- 1.1.3. Bitmap/Bitmap.Create_(procedure)
- 1.1.4. Bitmap/Bitmap.Get_Widget
- 1.2. Image/Photo
- 1.2.1. Photo/Photo.Tk_Photo
- 1.2.2. Photo/Create_(procedure)
- 1.2.3. Photo/Photo.Blank
- 1.2.4. Photo/Photo.Copy
- 1.2.5. Photo/Photo.Create_(function)
- 1.2.6. Photo/Photo.Data
- 1.2.7. Photo/Photo.Get
- 1.2.8. Photo/Photo.Get_Widget
- 1.2.9. Photo/Photo.Put
- 1.2.10. Photo/Photo.Read
- 1.2.11. Photo/Photo.Redither
- 1.2.12. Photo/Photo.Transparency_Get
- 1.2.13. Photo/Photo.Transparency_Set
- 1.2.14. Photo/Photo.Write
- 1.3. Image/Image.Delete
- 1.4. Image/Image.Height
- 1.5. Image/Image.Image_Type
- 1.6. Image/Image.Inuse
- 1.7. Image/Image.Names
- 1.8. Image/Image.Types
- 1.9. Image/Image.Width
TkAda/Image [ Packages ]
[ Top ] [ TkAda ] [ Packages ]
FUNCTION
Provides code for manipulate Tk command image
SOURCE
package Tcl.Tk.Ada.Image with SPARK_Mode is
Image/Image.Delete [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Delete the selected image widget
SOURCE
procedure Delete(Img: in out Tk_Widget'Class);
PARAMETERS
Img - Image to delete
OUTPUT
Empty parameter Img
EXAMPLE
-- Delete image My_Image Delete(My_Image);
COMMANDS
image delete img
HISTORY
8.6.1 - Added
Image/Image.Height [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Get the selected image height
SOURCE
function Height(Img: in Tk_Widget'Class) return String;
PARAMETERS
Img - Image to query
RESULT
The selected image height in pixels
EXAMPLE
-- Get the height of the My_Image image Image_Height: constant String := Height(My_Image);
COMMANDS
image height img
HISTORY
8.6.4 - Added
Image/Image.Image_Type [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Get type of the selected image
SOURCE
function Image_Type(Img: in Tk_Widget'Class) return String;
PARAMETERS
Img - Image which type will be queried
RESULT
The selected image type
EXAMPLE
-- Get the type of image My_Image My_Image_Type: constant String := Image_Type(My_Image);
COMMANDS
image type img
HISTORY
8.6.4 - Added
Image/Image.Inuse [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Check if the selected image is used by any widget
SOURCE
function Inuse(Img: in Tk_Widget'Class) return String;
PARAMETERS
Img - Image to check
RESULT
0 if image is not used, otherwise 1
EXAMPLE
-- Check if My_Image is in use Is_Used: constant String := Inuse(My_Image);
COMMANDS
image inuse img
HISTORY
8.6.4 - Added
Image/Image.Names [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Get names of all existing images
SOURCE
function Names return String;
RESULT
List of names of all existing images or {} if no images exists
EXAMPLE
-- Get the all existing images names Images_List: constant String := Names;
COMMANDS
image names
HISTORY
8.6.4 - Added
Image/Image.Types [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Get types of images available
SOURCE
function Types return String;
RESULT
List of types of images available
EXAMPLE
-- Get the all available types of images Images_Types: constant String := Types;
COMMANDS
image types
HISTORY
8.6.1 - Added
Image/Image.Width [ Subprograms ]
[ Top ] [ Image ] [ Subprograms ]
FUNCTION
Get the selected image width
SOURCE
function Width(Img: in Tk_Widget'Class) return String;
PARAMETERS
Img - Image to query
RESULT
The selected image width in pixels
EXAMPLE
-- Get the width of My_Image image Image_Width: constant String := Width(My_Image);
COMMANDS
image width img
HISTORY
8.6.4 - Added