Class StringLocation

An infinite class that can represent any location, backed by a string.

To “construct” a string location, use the stringLocation() predicate.

This class is useful anywhere that strings or infinite types are useful, and for reporting locations that don’t exist in a database. For instance, it can be useful to store these locations in an infinite StringTuple. For more, see LocationToString.

Caution: Infinite types are not always the best choice for performance. Before using this class, consider if you can reasonably use the standard finite type Location type instead. When your use has reached a finite set of locations, you can use the FinitizeStringLocation module to reduce the performance overhead of using infinite types.