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