public Checker(CyPhyGUIs.IInterpreterMainParameters parameters, CyPhyGUIs.GMELogger logger, IMgaTraceability traceability, CyPhyTypeFactory factory)
{
this.mainParameters = parameters;
this.Logger = logger;
this.Traceability = traceability;
this.Factory = factory;
}
public Checker(CyPhyGUIs.IInterpreterMainParameters parameters, CyPhyGUIs.GMELogger logger, IMgaTraceability traceability, CyPhyTypeFactory factory)
{
this.mainParameters = parameters;
this.Logger = logger;
this.Traceability = traceability;
this.Factory = factory;
}