Interface Codes.Positioned

All Superinterfaces:
Applicable, Describable
All Known Implementing Classes:
Codes.InteractUse, Codes.ListHd, Codes.ListLast, Codes.ListNth, Codes.ListTabulate, Codes.ListTake, Codes.ListTl, Codes.OptionValOf, Codes.RealCheckFloat, Codes.RealCompare, Codes.RealSign, Codes.RelationalOnly, Codes.StringConcat, Codes.StringConcatWith, Codes.StringExtract, Codes.StringSub, Codes.StringSubstring, Codes.VectorUpdate
Enclosing class:
Codes

public static interface Codes.Positioned extends Applicable
An Applicable whose position can be changed.

Operations that may throw exceptions should implement this interface. Then the exceptions can be tied to the correct position in the source code.

If you don't implement this interface, the applicable will use the default position, which is Pos.ZERO. If the exception has position "0.0-0.0", that is an indication you need to use this interface, and make sure that the position is propagated through the translation process.