uk.ac.sheffield.vtts.model

Class Entity

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Entity

public class Entity
extends Named

Entity is the model entity used to simulate all uninterpreted basic types. A specification may wish to model uninterpreted basic types, such as Document, or Customer. Such types are uninterpreted, and when simulated, are modelled by an instance of Entity. The only thing known about an Entity is its name, which serves as a unique identifier. The value of a declared Constant of some uninterpreted type is used as the name of the Entity, which is simulated in the specification.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields inherited from class uk.ac.sheffield.vtts.model.Named

name

Constructor Summary

Constructors

Constructor and Description
Entity() Creates an unnamed Entity.
Entity(java.lang.String name) Creates an Entity with the given name.

Method Summary

Methods inherited from class uk.ac.sheffield.vtts.model.Named

equals, getName, hashCode, setName, setName, toString

Methods inherited from class uk.ac.sheffield.vtts.model.Element

safeEquals, safeHashCode, semanticError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Entity

public Entity()

Creates an unnamed Entity. There can only be one such instance; but in practice, Entities are created with names.

Entity

public Entity(java.lang.String name)

Creates an Entity with the given name. This name is used to identify the Entity, in the way it is stored in Maps and Sets, or compared for equality with other Entities.

Parameters:

name - the name of this Entity.