next up previous
Next: Slot constraints Up: OIL-Lite Previous: Class expressions

Concrete type expressions

Slot constraints can take concrete type expressions as well as class expressions. A concrete type expression can be either:

Individual data values (e.g., the integer 123 or the string ``xyz'') can also be used as slot fillers.

Ian Horrocks 2000-09-10