package dgm.exceptions; import dgm.ID; public class NoConfiguration extends DegraphmalizerException { public NoConfiguration(ID id) { super("No matching configuration for index=" + id.index() + ", type=" + id.type(), Severity.INFO); } }