public class PLGLogCollection
extends java.lang.Object
Constructor and Description |
---|
PLGLogCollection(int size)
Basic constructor
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<PLGLog> |
get(PlgProcess p)
This method to get the set of all the logs for a given process
|
PLGLogCollectionGeneratorConfiguration |
getConfiguration()
Method to get the current configuration that generated this collection
|
java.util.Set<PlgProcess> |
keySet()
This method to get the set of all the processes with a log
|
java.util.Set<PLGLog> |
put(PlgProcess p,
PLGLog l)
Method to add a log to the current collection
|
void |
setConfiguration(PLGLogCollectionGeneratorConfiguration configuration)
Method to set the current configuration that generated this collection
|
int |
size()
This method returns the size of the collection
|
public PLGLogCollection(int size)
size
- the expected size of the collectionpublic void setConfiguration(PLGLogCollectionGeneratorConfiguration configuration)
configuration
- the configuration to setpublic PLGLogCollectionGeneratorConfiguration getConfiguration()
public java.util.Set<PLGLog> put(PlgProcess p, PLGLog l)
p
- the process that generated the logl
- the log to addpublic int size()
public java.util.Set<PlgProcess> keySet()
public java.util.Set<PLGLog> get(PlgProcess p)
p
- the given process