korat.gui.viz.metamodel
Class AlloySig

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

public class AlloySig
extends Object

Use SigFactory to create object of this type.

Author:

Aleksandar Milicevic

Field Summary

private List<AlloyAtom>	atoms
private AlloySig	extendsSig
private String	name

Constructor Summary

AlloySig(String name)

AlloySig(String name, AlloySig extendsSig)

Method Summary

void	addAtom(AlloyAtom a)
List<AlloyAtom>	getAtoms()
AlloySig	getExtendsSig()
String	getName()
boolean	isPrimitive()
void	setExtendsSig(AlloySig extendsSig)

Methods inherited from class java.lang.Object

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

Field Detail

name

private String name

extendsSig

private AlloySig extendsSig

atoms

private List<AlloyAtom> atoms

Constructor Detail

AlloySig

AlloySig(String name)

AlloySig

AlloySig(String name,
         AlloySig extendsSig)

Method Detail

getExtendsSig

public AlloySig getExtendsSig()

setExtendsSig

public void setExtendsSig(AlloySig extendsSig)

getName

public String getName()

getAtoms

public List<AlloyAtom> getAtoms()

addAtom

public void addAtom(AlloyAtom a)

isPrimitive

public boolean isPrimitive()