oval_class (library)

Author(s): Montserrat Urraca.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.9#139 (2003/12/4, 17:34:21 CET)

• Usage and interface (oval_class)
• Documentation on exports (oval_class)

Usage and interface (oval_class)

Documentation on exports (oval_class)

PREDICATE: coord/4:

Usage: coord(X1, Y1, X2, Y2)

• Description: X1, Y1, X2, and Y2 give the coordinates of two diagonally opposite corners of a rectangular region enclosing the oval.
• Call and exit should be compatible with: X1 is an integer. (basic_props:int/1) Y1 is an integer. (basic_props:int/1) X2 is an integer. (basic_props:int/1) Y2 is an integer. (basic_props:int/1)
• The following properties should hold at call time: X1 is currently a term which is not a free variable. (term_typing:nonvar/1) Y1 is currently a term which is not a free variable. (term_typing:nonvar/1) X2 is currently a term which is not a free variable. (term_typing:nonvar/1) Y2 is currently a term which is not a free variable. (term_typing:nonvar/1)

PREDICATE: width/1:

Usage 1: width(Width)

• Description: Specifies shape's Width.
• Call and exit should be compatible with: Width is an integer. (basic_props:int/1)
• The following properties should hold at call time: Width is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: width(Width)

• Description: Gets shape's Width.
• Call and exit should be compatible with: Width is an integer. (basic_props:int/1)
• The following properties should hold at call time: Width is a free variable. (term_typing:var/1)

PREDICATE: height/1:

Usage 1: height(Height)

• Description: Specifies shape's Heigh.
• Call and exit should be compatible with: Height is an integer. (basic_props:int/1)
• The following properties should hold at call time: Height is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: height(Height)

• Description: Gets shape's Height.
• Call and exit should be compatible with: Height is an integer. (basic_props:int/1)
• The following properties should hold at call time: Height is a free variable. (term_typing:var/1)

PREDICATE: center/2:

Usage 1: center(X, Y)

• Description: Specifies shape's center with X and Y.
• Call and exit should be compatible with: X is an integer. (basic_props:int/1) Y is an integer. (basic_props:int/1)
• The following properties should hold at call time: X is currently a term which is not a free variable. (term_typing:nonvar/1) Y is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: center(X, Y)

• Description: Gets shape's center with X and Y.
• Call and exit should be compatible with: X is an integer. (basic_props:int/1) Y is an integer. (basic_props:int/1)
• The following properties should hold at call time: X is a free variable. (term_typing:var/1) Y is a free variable. (term_typing:var/1)

PREDICATE: outline_color/1:

Usage 1: outline_color(Color)

• Description: Color specifies the color to be used for drawing the oval's outline. This option defaults to black.
• Call and exit should be compatible with: Color is currently instantiated to an atom. (term_typing:atom/1)
• The following properties should hold at call time: Color is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: outline_color(Color)

• Description: Gets oval's outline Color.
• Call and exit should be compatible with: Color is currently instantiated to an atom. (term_typing:atom/1)
• The following properties should hold at call time: Color is a free variable. (term_typing:var/1)

Go to the first, previous, next, last section, table of contents.