korat.gui.viz.metamodel
Class AlloyAtom

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

public class AlloyAtom
extends Object

Author:

Aleksandar Milicevic

Field Summary

private Object	myObj
private AlloySig	mySig
private String	name

Constructor Summary

AlloyAtom(AlloySig mySig, String name, Object obj)

Method Summary

Object	getMyObj()
AlloySig	getMySig()
String	getName()
(package private) 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

mySig

private AlloySig mySig

myObj

private Object myObj

Constructor Detail

AlloyAtom

AlloyAtom(AlloySig mySig,
          String name,
          Object obj)

Method Detail

getName

public String getName()

getMySig

public AlloySig getMySig()

getMyObj

public Object getMyObj()

setName

void setName(String name)