public Launcher(String workingDir, String simulatorFile, LaunchParameters parameters)
{
_proc = null;
WorkingDir = workingDir;
_simulatorFile = simulatorFile;
_params = parameters.Clone() as LaunchParameters;
}
public object Clone()
{
var res = new LaunchParameters();
if (Args != null)
{
res.Args = Args.Clone() as CliArgs;
}
if (Config != null)
{
res.Config = Config.Clone() as SimParams;
}
if (InitialStates != null)
{
res.InitialStates = InitialStates.Clone() as InitialStates;
}
if (PoleCoords != null)
{
res.PoleCoords = PoleCoords.Clone() as PoleCoordinates;
}
return(res);
}
