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

W

warning(ErrorWarning) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

This method is called by the typechecker to report a nonfatal type error.

wasOverflow() - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

weight - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Each leaf Expr has a weight value (which can be 0 or higher); by default, each nonleaf Expr's weight is the sum of its children's weights.

weight() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Returns the edge weight (which is always between 1 and 10000 inclusively).

weight - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

windowActivated(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

windowClosed(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

windowClosing(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation calls this.run())

windowDeactivated(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

windowDeiconified(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

windowIconified(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

windowOpened(WindowEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

WorkerEngine - Class in edu.mit.csail.sdg.alloy4

This class allows you to execute tasks in a subprocess, and receive its outputs via callback.

WorkerEngine.WorkerCallback - Interface in edu.mit.csail.sdg.alloy4

This defines an interface for receiving results from a subprocess.

WorkerEngine.WorkerTask - Interface in edu.mit.csail.sdg.alloy4

This defines an interface for performing tasks in a subprocess.

write(Object) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

This method is called by the A4SolutionWriter when it is writing a particular sig, field, or skolem.

write(String) - Method in class edu.mit.csail.sdg.alloy4.ByteBuffer

Write the given String into this byte buffer (by converting the String into its UTF-8 representation)

write(String) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Write the bitwidth, maxseq, set of all atoms, and map of all sig/field/var into the given file.

writeAll(String, String) - Static method in class edu.mit.csail.sdg.alloy4.Util

Open then overwrite the file with the given content; throws Err if an error occurred.

writeAlloy(String, VizState) - Static method in class edu.mit.csail.sdg.alloy4viz.StaticThemeReaderWriter

Write the VizState's customizations into a new file (which will be overwritten if it exists).

writeMetamodel(ConstList<Sig>, String, PrintWriter) - Static method in class edu.mit.csail.sdg.alloy4compiler.translator.A4SolutionWriter

Write the metamodel as <instance>..</instance> in XML format.

writePNG(BufferedImage, String, double, double) - Static method in class edu.mit.csail.sdg.alloy4.OurPNGWriter

Writes the image as a PNG file with the given horizontal and vertical dots-per-inch.

writes(long) - Method in class edu.mit.csail.sdg.alloy4.ByteBuffer

Write the given number into this byte buffer, followed by a space.

writes(double) - Method in class edu.mit.csail.sdg.alloy4.ByteBuffer

Write the given number into this byte buffer (truncated to the range -32767..+32767), followed by a space.

writeXML(String) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Helper method to write out a full XML file.

writeXML(String, Iterable<Func>) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Helper method to write out a full XML file.

writeXML(String, Iterable<Func>, Map<String, String>) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Helper method to write out a full XML file.

writeXML(A4Reporter, String, Iterable<Func>, Map<String, String>) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Helper method to write out a full XML file.

writeXML(PrintWriter, Iterable<Func>, Map<String, String>) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Helper method to write out a full XML file.

writeXML(A4Reporter, PrintWriter, Iterable<Func>, Map<String, String>) - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Helper method to write out a full XML file.