org.processmining.plugins.ltlchecker

Class DataSection

java.lang.Object

org.processmining.plugins.ltlchecker.DataSection

All Implemented Interfaces:

java.util.Map<java.lang.String,java.lang.String>

public class DataSection
extends java.lang.Object
implements java.util.Map<java.lang.String,java.lang.String>

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
DataSection()
DataSection(DataSection data)

Method Summary

Modifier and Type	Method and Description
void	clear()
java.lang.Object	clone()
boolean	containsKey(java.lang.Object key)
boolean	containsValue(java.lang.Object value)
java.util.Set<java.util.Map.Entry<java.lang.String,java.lang.String>>	entrySet()
static DataSection	fromMap(java.util.Map<java.lang.String,java.lang.String> map)
java.lang.String	get(java.lang.Object key)
java.util.List<java.lang.String>	getModelReferences(java.lang.String key)
boolean	isEmpty()
java.util.Set<java.lang.String>	keySet()
void	put(DataAttribute attr)
java.lang.String	put(java.lang.String key, java.lang.String value)
void	putAll(java.util.Map<? extends java.lang.String,? extends java.lang.String> map)
java.lang.String	remove(java.lang.Object key)
void	setModelReferences(java.lang.String key, java.util.List<java.lang.String> modelRefs)
int	size()
java.lang.String	toString()
java.util.Collection<java.lang.String>	values()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll

Constructor Detail

DataSection

public DataSection()

DataSection

public DataSection(DataSection data)

Method Detail

clear

public void clear()

Specified by:

clear in interface java.util.Map<java.lang.String,java.lang.String>

put

public void put(DataAttribute attr)

getModelReferences

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

remove

public java.lang.String remove(java.lang.Object key)

Specified by:

remove in interface java.util.Map<java.lang.String,java.lang.String>

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

fromMap

public static DataSection fromMap(java.util.Map<java.lang.String,java.lang.String> map)

setModelReferences

public void setModelReferences(java.lang.String key,
                               java.util.List<java.lang.String> modelRefs)

containsKey

public boolean containsKey(java.lang.Object key)

Specified by:

containsKey in interface java.util.Map<java.lang.String,java.lang.String>

containsValue

public boolean containsValue(java.lang.Object value)

Specified by:

containsValue in interface java.util.Map<java.lang.String,java.lang.String>

entrySet

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

Specified by:

entrySet in interface java.util.Map<java.lang.String,java.lang.String>

get

public java.lang.String get(java.lang.Object key)

Specified by:

get in interface java.util.Map<java.lang.String,java.lang.String>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Map<java.lang.String,java.lang.String>

keySet

public java.util.Set<java.lang.String> keySet()

Specified by:

keySet in interface java.util.Map<java.lang.String,java.lang.String>

put

public java.lang.String put(java.lang.String key,
                            java.lang.String value)

Specified by:

put in interface java.util.Map<java.lang.String,java.lang.String>

putAll

public void putAll(java.util.Map<? extends java.lang.String,? extends java.lang.String> map)

Specified by:

putAll in interface java.util.Map<java.lang.String,java.lang.String>

size

public int size()

Specified by:

size in interface java.util.Map<java.lang.String,java.lang.String>

values

public java.util.Collection<java.lang.String> values()

Specified by:

values in interface java.util.Map<java.lang.String,java.lang.String>