org.processmining.plugins.declareminer.visualizing
Class ConstraintTemplate

java.lang.Object
  extended by org.processmining.plugins.declareminer.visualizing.Base
      extended by org.processmining.plugins.declareminer.visualizing.ConstraintTemplate
All Implemented Interfaces:
java.lang.Cloneable, IItem
Direct Known Subclasses:
ConstraintDefinition

public class ConstraintTemplate
extends Base
implements IItem


Field Summary
protected  BaseCollection<Parameter> parameters
           
 
Constructor Summary
ConstraintTemplate(int id, ConstraintTemplate t)
           
ConstraintTemplate(int id, Language lang)
          ConstraintTemplate
 
Method Summary
 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)
           
 
Methods inherited from class org.processmining.plugins.declareminer.visualizing.Base
cloneAttributes, equals, getId, getIdString, hashCode, newInstance, nextId, setId
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

parameters

protected BaseCollection<Parameter> parameters
Constructor Detail

ConstraintTemplate

public ConstraintTemplate(int id,
                          Language lang)
ConstraintTemplate

Parameters:
id - int
lang - int

ConstraintTemplate

public ConstraintTemplate(int id,
                          ConstraintTemplate t)
Method Detail

getDescription

public java.lang.String getDescription()

getDisplay

public java.lang.String getDisplay()

isUnary

public boolean isUnary()
isUnary

Returns:
boolean

isBinary

public boolean isBinary()
isBinary

Returns:
boolean

setDescription

public void setDescription(java.lang.String description)

setDisplay

public void setDisplay(java.lang.String display)

clone

public java.lang.Object clone()
Description copied from class: Base
clone

Overrides:
clone in class Base
Returns:
Object

getLanguage

public Language getLanguage()

getName

public java.lang.String getName()
Returns:
String

getText

public java.lang.String getText()
Returns:
String

setName

public void setName(java.lang.String name)
Parameters:
name - String

setText

public void setText(java.lang.String text)
Parameters:
text - String

addParameter

public void addParameter(Parameter parameter)
Parameters:
parameter - FormalParameter

addParameter

public Parameter addParameter(java.lang.String name)
Parameters:
name - FormalParameter
type - ParameterType
Returns:
FormalParameter

getFirstParameter

public Parameter getFirstParameter()

getParameterWithId

public Parameter getParameterWithId(int id)

parameterCount

public int parameterCount()
attributeCount

Returns:
int

parameterExists

public boolean parameterExists(Parameter param)
attributeExists

Parameters:
param - FormalParameter
Returns:
boolean

deleteParameter

protected void deleteParameter(Parameter param)
deleteAttribute

Parameters:
param - LTLFormalParameter

getParameters

public java.util.Collection<Parameter> getParameters()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getMaxId

public int getMaxId()
Specified by:
getMaxId in interface IItem

withId

public IItem withId(int id)
Specified by:
withId in interface IItem

exists

public boolean exists(IItem item)
Specified by:
exists in interface IItem

getStateMessages

public java.util.Set<java.util.Map.Entry<State,java.lang.String>> getStateMessages()

getStateMessage

public java.lang.String getStateMessage(State state)

setStateMessage

public void setStateMessage(State state,
                            java.lang.String message)