korat.gui.viz.metamodel
Class SigFactory

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

public class SigFactory
extends Object

• Factory for the AlloySig class.
• Keeps tracks of all created AlloySig objects.
• Ensures that the names of all AlloySig objects are unique.

Author:

Aleksandar Milicevic

Field Summary

private Map<String,AlloySig>	allSigs
private static SigFactory	instance

Constructor Summary

private

SigFactory()

Method Summary

void	clear()
AlloySig	getAlloySig(String name)
AlloySig	getAlloySig(String name, String extendsName)
Collection<AlloySig>	getAllSigs()
static SigFactory	getInstance()

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static SigFactory instance

allSigs

private Map<String,AlloySig> allSigs

Constructor Detail

SigFactory

private SigFactory()

Method Detail

getInstance

public static SigFactory getInstance()

getAllSigs

public Collection<AlloySig> getAllSigs()

getAlloySig

public AlloySig getAlloySig(String name)

getAlloySig

public AlloySig getAlloySig(String name,
                            String extendsName)
                     throws SigDoesNotExistException

Throws:

SigDoesNotExistException

clear

public void clear()