- All Implemented Interfaces:
- VM.BstFunction
public class WidthFunction
extends java.lang.Object
implements VM.BstFunction
The |built_in| function {\.{width\$}} pops the top (string) literal and
pushes the integer that represents its width in units specified by the
|char_width| array. This function takes the literal literally; that is, it
assumes each character in the string is to be printed as is, regardless of
whether the character has a special meaning to \TeX, except that special
characters (even without their |right_brace|s) are handled specially. If the
literal isn't a string, it complains and pushes~0.
- Version:
- $Revision$ ($Date$)
- Author:
- $Author$