Uses of Class
edu.mit.csail.sdg.alloy4.A4Reporter

Packages that use A4Reporter

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4compiler.parser	This package contains the compiler
edu.mit.csail.sdg.alloy4compiler.translator	This package contains the translator from Alloy4 to CNF (using kodkod).

Uses of A4Reporter in edu.mit.csail.sdg.alloy4

Fields in edu.mit.csail.sdg.alloy4 declared as A4Reporter

static A4Reporter

A4Reporter.NOP This is a pre-constructed instance that simply ignores all calls.

Constructors in edu.mit.csail.sdg.alloy4 with parameters of type A4Reporter

A4Reporter(A4Reporter reporter)
Constructs an A4Reporter that forwards each method to the given A4Reporter.

Uses of A4Reporter in edu.mit.csail.sdg.alloy4compiler.parser

Methods in edu.mit.csail.sdg.alloy4compiler.parser with parameters of type A4Reporter

static CompModule	CompUtil.parseEverything_fromFile(A4Reporter rep, java.util.Map<java.lang.String,java.lang.String> loaded, java.lang.String filename) Read everything from "file" and parse it; if it mentions submodules, open them and parse them too.
static CompModule	CompUtil.parseEverything_fromFile(A4Reporter rep, java.util.Map<java.lang.String,java.lang.String> loaded, java.lang.String filename, int initialResolutionMode) Read everything from "file" and parse it; if it mentions submodules, open them and parse them too.

Uses of A4Reporter in edu.mit.csail.sdg.alloy4compiler.translator

Methods in edu.mit.csail.sdg.alloy4compiler.translator with parameters of type A4Reporter

static A4Solution	TranslateAlloyToKodkod.execute_command(A4Reporter rep, java.lang.Iterable<Sig> sigs, Command cmd, A4Options opt) Based on the specified "options", execute one command and return the resulting A4Solution object.
static A4Solution	TranslateAlloyToKodkod.execute_commandFromBook(A4Reporter rep, java.lang.Iterable<Sig> sigs, Command cmd, A4Options opt) Based on the specified "options", execute one command and return the resulting A4Solution object.
boolean	Simplifier.simplify(A4Reporter rep, A4Solution sol, java.util.List<kodkod.ast.Formula> formulas) Simplify sol.bounds() based on the set of formulas, or to modify the formulas list itself.
void	A4Solution.writeXML(A4Reporter rep, java.io.PrintWriter writer, java.lang.Iterable<Func> macros, java.util.Map<java.lang.String,java.lang.String> sourceFiles) Helper method to write out a full XML file.
void	A4Solution.writeXML(A4Reporter rep, java.lang.String filename, java.lang.Iterable<Func> macros, java.util.Map<java.lang.String,java.lang.String> sourceFiles) Helper method to write out a full XML file.