public ParameterValueIsNeverUsedFactum(Parameter param, ColaBottle bottle) : base(Severity.Negligible, bottle) { Param = param; }
public DependencyGraphHasLoopFactum(ColaBottle bottle, IEnumerable<ColaNode> loop) : base(Severity.Fatal, bottle) { Loop = loop; }
protected Factum(Severity severity, ColaBottle bottle) { Severity = severity; Bottle = bottle; }