org.processmining.plugins.ltlchecker

Class DataAttribute

java.lang.Object

org.processmining.plugins.ltlchecker.DataAttribute

public class DataAttribute
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DataAttribute(java.lang.String name, java.lang.String value)
DataAttribute(java.lang.String name, java.lang.String value, java.util.List<java.lang.String> modelReferences)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.String>	getModelReferences()
java.lang.String	getName()
java.lang.String	getValue()
void	setModelReferences(java.util.List<java.lang.String> modelReferences)
void	setValue(java.lang.String value)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DataAttribute

public DataAttribute(java.lang.String name,
                     java.lang.String value)

DataAttribute

public DataAttribute(java.lang.String name,
                     java.lang.String value,
                     java.util.List<java.lang.String> modelReferences)

Method Detail

getName

public java.lang.String getName()

getValue

public java.lang.String getValue()

setValue

public void setValue(java.lang.String value)

getModelReferences

public java.util.List<java.lang.String> getModelReferences()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setModelReferences

public void setModelReferences(java.util.List<java.lang.String> modelReferences)