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

Packages that use AlloySig

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

Uses of AlloySig in korat.gui.viz

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

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

Uses of AlloySig in korat.gui.viz.metamodel

Fields in korat.gui.viz.metamodel declared as AlloySig

private AlloySig	AlloySig.extendsSig
private AlloySig	AlloyAtom.mySig

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

private Map<String,AlloySig>	SigFactory.allSigs
private List<AlloySig>	AlloyField.types

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

AlloySig	SigFactory.getAlloySig(String name)
AlloySig	SigFactory.getAlloySig(String name, String extendsName)
AlloySig	AlloySig.getExtendsSig()
AlloySig	AlloyAtom.getMySig()

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

Collection<AlloySig>	SigFactory.getAllSigs()
List<AlloySig>	AlloyField.getTypes()

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

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

Constructors in korat.gui.viz.metamodel with parameters of type AlloySig

AlloyAtom(AlloySig mySig, String name, Object obj)

AlloySig(String name, AlloySig extendsSig)