Uses of Class
korat.gui.viz.metamodel.AlloyAtom

Packages that use AlloyAtom

korat.gui.viz
korat.gui.viz.metamodel

Uses of AlloyAtom in korat.gui.viz

Fields in korat.gui.viz with type parameters of type AlloyAtom

protected Map<AlloyAtom,Object>	ToXMLInstanceConverter.visited
protected Stack<AlloyAtom>	ToXMLInstanceConverter.workList

Methods in korat.gui.viz with parameters of type AlloyAtom

private void	ToXMLInstanceConverter.handleArrayField(Object obj, Field f, AlloySig clzSig, AlloyAtom atom)
private void	ToXMLInstanceConverter.handleClass(Class clz, AlloyAtom atom)
private void	ToXMLInstanceConverter.handleCollectionField(Object obj, Field f, AlloySig clzSig, AlloyAtom atom)
private void	ToXMLInstanceConverter.handleFields(Class clz, AlloyAtom atom)
private void	ToXMLInstanceConverter.handlePrimitives(Object obj, Field f, AlloySig objSig, AlloyAtom objAtom)

Uses of AlloyAtom in korat.gui.viz.metamodel

Fields in korat.gui.viz.metamodel with type parameters of type AlloyAtom

private Map<Object,AlloyAtom>	AtomFactory.allAtoms
private LinkedList<AlloyAtom>	AtomFactory.allAtomsOrdered
private List<AlloyAtom>	AlloySig.atoms
private List<AlloyAtom>	AlloyField.values

Methods in korat.gui.viz.metamodel that return AlloyAtom

AlloyAtom	AtomFactory.getAlloyAtom(AlloySig sig, Object obj)
AlloyAtom	AtomFactory.getIntAlloyAtom(AlloySig sig, int i)

Methods in korat.gui.viz.metamodel that return types with arguments of type AlloyAtom

List<AlloyAtom>	AlloySig.getAtoms()
List<AlloyAtom>	AlloyField.getValues()

Methods in korat.gui.viz.metamodel with parameters of type AlloyAtom

void	AlloySig.addAtom(AlloyAtom a)