public final class HlddModel extends Model
Modifier and Type | Field and Description |
---|---|
static EntityType |
TYPE |
Constructor and Description |
---|
HlddModel()
Constructs a new model entity.
|
HlddModel(java.util.Collection<Module> modules)
Constructs a new model entity using the specified collection of modules.
|
Modifier and Type | Method and Description |
---|---|
void |
add(Entity entity)
Adds the specified entity.
|
java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> |
getUseDefMap() |
void |
setUseDefMap(java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> useDefMap) |
addModule, addModules, getModules
equals, getEntityType, hashCode, toString
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getAllMetaInfo, getMetaInfo, getMetaInfo, getStringMetaInfo, getStringMetaInfo, hasMetaInfo, hasMetaInfo
public static final EntityType TYPE
public HlddModel()
public HlddModel(java.util.Collection<Module> modules)
modules
- - the specified collection of HlddModule
.public void add(Entity entity)
Model
Able to add entity of the appropriate type.
public java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> getUseDefMap()
public void setUseDefMap(java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> useDefMap)