korat.gui.viz.metamodel
Class AlloyField

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

public class AlloyField
extends Object

Use FieldFactory to create object of this type.

Author:

Aleksandar Milicevic

Field Summary

private String	name
private List<AlloySig>	types
private List<AlloyAtom>	values

Constructor Summary

AlloyField(String name)

Method Summary

String	getName()
List<AlloySig>	getTypes()
List<AlloyAtom>	getValues()
void	setName(String name)

Methods inherited from class java.lang.Object

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

Field Detail

name

private String name

types

private List<AlloySig> types

values

private List<AlloyAtom> values

Constructor Detail

AlloyField

AlloyField(String name)

Method Detail

getName

public String getName()

setName

public void setName(String name)

getTypes

public List<AlloySig> getTypes()

getValues

public List<AlloyAtom> getValues()