public class ConstraintTemplate extends Base implements IItem
Modifier and Type | Field and Description |
---|---|
protected BaseCollection<Parameter> |
parameters |
Constructor and Description |
---|
ConstraintTemplate(int id,
ConstraintTemplate t) |
ConstraintTemplate(int id,
Language lang)
ConstraintTemplate
|
Modifier and Type | Method and Description |
---|---|
void |
addParameter(Parameter parameter) |
Parameter |
addParameter(java.lang.String name) |
java.lang.Object |
clone()
clone
|
protected void |
deleteParameter(Parameter param)
deleteAttribute
|
boolean |
exists(IItem item) |
java.lang.String |
getDescription() |
java.lang.String |
getDisplay() |
Parameter |
getFirstParameter() |
Language |
getLanguage() |
int |
getMaxId() |
java.lang.String |
getName() |
java.util.Collection<Parameter> |
getParameters() |
Parameter |
getParameterWithId(int id) |
java.lang.String |
getStateMessage(State state) |
java.util.Set<java.util.Map.Entry<State,java.lang.String>> |
getStateMessages() |
java.lang.String |
getText() |
boolean |
isBinary()
isBinary
|
boolean |
isUnary()
isUnary
|
int |
parameterCount()
attributeCount
|
boolean |
parameterExists(Parameter param)
attributeExists
|
void |
setDescription(java.lang.String description) |
void |
setDisplay(java.lang.String display) |
void |
setName(java.lang.String name) |
void |
setStateMessage(State state,
java.lang.String message) |
void |
setText(java.lang.String text) |
java.lang.String |
toString() |
IItem |
withId(int id) |
cloneAttributes, equals, getId, getIdString, hashCode, newInstance, nextId, setId
protected BaseCollection<Parameter> parameters
public ConstraintTemplate(int id, Language lang)
id
- intlang
- intpublic ConstraintTemplate(int id, ConstraintTemplate t)
public java.lang.String getDescription()
public java.lang.String getDisplay()
public boolean isUnary()
public boolean isBinary()
public void setDescription(java.lang.String description)
public void setDisplay(java.lang.String display)
public java.lang.Object clone()
Base
public Language getLanguage()
public java.lang.String getName()
public java.lang.String getText()
public void setName(java.lang.String name)
name
- Stringpublic void setText(java.lang.String text)
text
- Stringpublic void addParameter(Parameter parameter)
parameter
- FormalParameterpublic Parameter addParameter(java.lang.String name)
name
- FormalParametertype
- ParameterTypepublic Parameter getFirstParameter()
public Parameter getParameterWithId(int id)
public int parameterCount()
public boolean parameterExists(Parameter param)
param
- FormalParameterprotected void deleteParameter(Parameter param)
param
- LTLFormalParameterpublic java.util.Collection<Parameter> getParameters()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<java.util.Map.Entry<State,java.lang.String>> getStateMessages()
public java.lang.String getStateMessage(State state)
public void setStateMessage(State state, java.lang.String message)