Uses of Class
edu.mit.csail.sdg.alloy4viz.AlloyInstance

Packages that use AlloyInstance
edu.mit.csail.sdg.alloy4viz This package displays Alloy4 instances. 
 

Uses of AlloyInstance in edu.mit.csail.sdg.alloy4viz
 

Methods in edu.mit.csail.sdg.alloy4viz that return AlloyInstance
 AlloyInstance VizState.getOriginalInstance()
          Returns the original unprojected model.
static AlloyInstance StaticInstanceReader.parseInstance(java.io.File file)
          Parse the file into an AlloyInstance if possible.
static AlloyInstance StaticInstanceReader.parseInstance(java.io.Reader reader)
          Parse the file into an AlloyInstance if possible, then close the Reader afterwards.
static AlloyInstance StaticProjector.project(AlloyInstance oldInstance, AlloyProjection projection)
          Project an instance over the given list of types (and their associated chosen atom).
 

Methods in edu.mit.csail.sdg.alloy4viz with parameters of type AlloyInstance
 void VizState.loadInstance(AlloyInstance unprojectedInstance)
          Load a new instance into this VizState object (the input argument is treated as a new unprojected instance); if world!=null, it is the root of the AST
 DotColor VizState.nodeColor(AlloyAtom a, AlloyInstance i)
           
 DotStyle VizState.nodeStyle(AlloyAtom a, AlloyInstance i)
           
 boolean VizState.nodeVisible(AlloyAtom a, AlloyInstance i)
           
static javax.swing.JPanel StaticGraphMaker.produceGraph(AlloyInstance instance, VizState view, AlloyProjection proj)
          Produces a single Graph from the given Instance and View and choice of Projection
static AlloyInstance StaticProjector.project(AlloyInstance oldInstance, AlloyProjection projection)
          Project an instance over the given list of types (and their associated chosen atom).
 DotShape VizState.shape(AlloyAtom a, AlloyInstance i)
           
 

Constructors in edu.mit.csail.sdg.alloy4viz with parameters of type AlloyInstance
VizState(AlloyInstance originalInstance)
          Construct a new VizState (with default theme settings) for the given instance; if world!=null, it is the root of the AST.