korat.gui.viz.metamodel
Class FieldFactory

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

public class FieldFactory
extends Object

Author:

Aleksandar Milicevic

Field Summary

private List<AlloyField>	allFields
private static FieldFactory	instance

Constructor Summary

private

FieldFactory()

Method Summary

void	clear()
AlloyField	createAlloyField(String name)
List<AlloyField>	getAllFields()
static FieldFactory	getInstance()

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static FieldFactory instance

allFields

private List<AlloyField> allFields

Constructor Detail

FieldFactory

private FieldFactory()

Method Detail

getInstance

public static FieldFactory getInstance()

createAlloyField

public AlloyField createAlloyField(String name)

clear

public void clear()

getAllFields

public List<AlloyField> getAllFields()