|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |