korat.gui.viz.metamodel
Class AtomFactory

java.lang.Object
  korat.gui.viz.metamodel.AtomFactory

public class AtomFactory
extends Object

Author:

Aleksandar Milicevic

Field Summary

private Map<Object,AlloyAtom>	allAtoms
private LinkedList<AlloyAtom>	allAtomsOrdered
private static AtomFactory	instance

Constructor Summary

private

AtomFactory()

Method Summary

void	clear()
AlloyAtom	getAlloyAtom(AlloySig sig, Object obj)
static AtomFactory	getInstance()
AlloyAtom	getIntAlloyAtom(AlloySig sig, int i)
void	initAtomNames()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

instance

private static AtomFactory instance

allAtoms

private Map<Object,AlloyAtom> allAtoms

allAtomsOrdered

private LinkedList<AlloyAtom> allAtomsOrdered

Constructor Detail

AtomFactory

private AtomFactory()

Method Detail

getInstance

public static AtomFactory getInstance()

getAlloyAtom

public AlloyAtom getAlloyAtom(AlloySig sig,
                              Object obj)

getIntAlloyAtom

public AlloyAtom getIntAlloyAtom(AlloySig sig,
                                 int i)

clear

public void clear()

initAtomNames

public void initAtomNames()