Define a primitive data type: Difference between revisions

Demonstrate how to define a type that behaves like an integer but has a lowest valid value of 1 and a highest valid value of 10. Include all bounds checking you need to write, or explain how the compiler or interpreter creates those bounds checks for you.

 

type My_Type is range 1..10;

The compiler identifies the range of valid values from the range specification ''1..10'' and automatically builds in bounds checking where it is needed. The compiler is smart enough to omit bounds checking when it is not needed.

};

 

def MyNumber := 1..10

 

Similarly, we could declare the subtype of floating point numbers with restricted exponent, and so on.

 

'''Interpreter:''' [[Perl]] 5

 

# dies, too small. string is 0 interpreted numerically

 

needs quotes

{