A B C D E F G H I J L M N O P Q R S T U V W X Y Z

W

width - Variable in class edu.hws.jcm.draw.DrawBorder

A non-negative integer giving the width of the border in pixels.

withLabel() - Method in class edu.hws.jcm.awt.VariableInput

Convenience method for creating a component containing this VariableInput together with a label of the form " = ".

withLabel(Color, Color) - Method in class edu.hws.jcm.awt.VariableInput

Convenience method for creating a component containing this VariableInput together with a label of the form "name = ".

WrapperFunction - Class in edu.hws.jcm.functions

A WrapperFunction contains another function and delegates to it all calls to methods from the Function interface, except for calls to setName() and getName().

WrapperFunction(Function) - Constructor for class edu.hws.jcm.functions.WrapperFunction

Create a WrapperFunction object containing a specified function.

write(BufferedWriter) - Method in class generator.data.IntervalListNoUnion

Write the current transition list to the disk.

writeHeader() - Method in class generator.engin.GeneratorEngine

This method write the file header