@FunctionalInterface
public static interface Unsoundness.MessageCollector
Modifier and Type | Method and Description |
---|---|
void |
accept(AbstractNode n,
Message.Severity severity,
java.lang.String msg) |
void accept(AbstractNode n, Message.Severity severity, java.lang.String msg)
Copyright © 2009-2019 Aarhus University