Uses of Interface
edu.mit.csail.sdg.alloy4compiler.ast.Module

Packages that use Module

edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.
edu.mit.csail.sdg.alloy4compiler.parser	This package contains the compiler
edu.mit.csail.sdg.alloy4compiler.sim	This package contains a pure-Java evaluator/simulator for Alloy4 instances.

Uses of Module in edu.mit.csail.sdg.alloy4compiler.ast

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type Module

SafeList<? extends Module>

Module.getAllReachableModules() Return the list containing THIS MODULE and all modules reachable from this module.

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

Classes in edu.mit.csail.sdg.alloy4compiler.parser that implement Module

class

CompModule Mutable; this class represents an Alloy module; equals() uses object identity.

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

static Expr

CompUtil.parseOneExpression_fromString(Module world, java.lang.String input) Parses then typecheck the given input String as an Alloy expression from that world

Uses of Module in edu.mit.csail.sdg.alloy4compiler.sim

Fields in edu.mit.csail.sdg.alloy4compiler.sim declared as Module

Module

SimInstance.root The root module associated with this instance.

Methods in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type Module

static SimInstance	SimInstance.read(Module root, java.lang.String filename, java.util.List<ExprVar> vars) Construct a new simulation context by reading the given file.
java.lang.String	SimInstance.validate(Module world) Checks whether this instance satisfies every fact defined in the given model.

Constructors in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type Module

SimInstance(Module root, int bitwidth, int maxseq)
Construct a new simulation context with the given bitwidth and the given maximum sequence length.