Exemplos de SafetySharp.CaseStudies.PillProduction.Modeling FaultHelper em C# (CSharp)

Exemplo n.º 1

 protected Station()
 {
     Name = $"Station#{++_instanceCounter}";
     FaultHelper.PrefixFaultNames(this, Name);
 }

Exemplo n.º 2

 public IngredientTank(string stationName, IngredientType ingredientType)
 {
     IngredientType = ingredientType;
     FaultHelper.PrefixFaultNames(this, $"{stationName}.{ingredientType}");
 }