public interface PluginExecutionResult
Modifier and Type | Method and Description |
---|---|
PluginDescriptor |
getPlugin()
Returns the plugin used to generate this result
|
ProvidedObjectID |
getProvidedObjectID(int i)
Returns the ProvidedObjectID under which the object at index i is known
to the framework's ProvidedObject manager
|
<T> T |
getResult(int resultIndex)
returns the result at the given index, casted to the given returntype.
|
java.lang.String |
getResultName(int resultIndex)
this method returns the name of the result at the given index.
|
java.lang.String[] |
getResultNames()
This method returns the names of the results
|
java.lang.Object[] |
getResults()
returns the results of this plugin in an array.
|
int |
getSize()
Returns the size of this result, i.e.
|
<T> java.lang.Class<? super T> |
getType(int i)
Returns the type of the object at index i, as declared by the plugin
|
void |
setProvidedObjectID(int i,
ProvidedObjectID id)
Tells this result under which provided object ID the object at index i is
known to the framework
|
void |
synchronize()
Synchronizes on any futures that might still exist in the result.
|
int getSize()
void synchronize() throws java.util.concurrent.CancellationException, java.util.concurrent.ExecutionException, java.lang.InterruptedException
java.util.concurrent.CancellationException
java.util.concurrent.ExecutionException
java.lang.InterruptedException
java.lang.Object[] getResults()
<T> T getResult(int resultIndex) throws java.lang.ClassCastException
T
- resultIndex
- java.lang.ClassCastException
java.lang.String[] getResultNames()
java.lang.String getResultName(int resultIndex)
resultIndex
- void setProvidedObjectID(int i, ProvidedObjectID id)
i
- index of the objectid
- the id of the provided object refering to the objet at index iProvidedObjectID getProvidedObjectID(int i)
i
- index of the object<T> java.lang.Class<? super T> getType(int i)
i
- PluginDescriptor getPlugin()