org.processmining.plugins.ltlchecker.parser

Class AttributeSet

java.lang.Object

org.processmining.plugins.ltlchecker.parser.AttributeSet

public class AttributeSet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AttributeSet()

Method Summary

Modifier and Type	Method and Description
void	add(java.lang.String name, Attribute attribute) Add an Attribute to this set.
boolean	exists(java.lang.String name) Returns if name of attribute already exists.
Attribute	get(java.lang.String name) Get an attribute given an identifier
boolean	isEmpty() Is this set empty?
java.util.Iterator	iterator() Return an iterator over all attributes in this set.

Methods inherited from class java.lang.Object

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

Constructor Detail

AttributeSet

public AttributeSet()

Method Detail

add

public void add(java.lang.String name,
                Attribute attribute)

Add an Attribute to this set.

Parameters:

name - The identifier of the attribute.

attribute - The attribute to add to this set.

exists

public boolean exists(java.lang.String name)

Returns if name of attribute already exists.

Parameters:

name - The identifier of the attribute.

Returns:

If name is in this set, return true, else false.

get

public Attribute get(java.lang.String name)

Get an attribute given an identifier

Parameters:

name - The identifier of the attribute.

Returns:

The attribute attached to name, if none attached, return null.

isEmpty

public boolean isEmpty()

Is this set empty?

Returns:

Return true if this set is empty, else false.

iterator

public java.util.Iterator iterator()

Return an iterator over all attributes in this set.

Returns:

An iterator over all attributes in this set.