width -- width of a file or net

Ways to use width :

• width(File) -- get window width
• width(Net) -- width of a net
• "width(String)" -- see width(Net) -- width of a net

For the programmer

The object width is a method function.