Find mechanism to pass options from configuration to strategies, observers, and delegates

DeepseaPlatform / coastal

Concolic analysis tool for Java

https://deepseaplatform.github.io/coastal/

Apache License 2.0

21 stars 9 forks source link

Find mechanism to pass options from configuration to strategies, observers, and delegates #20

Closed jacogeld closed 5 years ago

jacogeld commented 5 years ago

The DTD allows the XML configuration to include specific options for strategies, observers, and delegates. We need to find a way to pass these options to the plugins without the need to know the full "path" of the options.