public static Configuration getConfiguration(
Definition node, org.kframework.kil.loader.Context context) {
final List<Configuration> result = new LinkedList<Configuration>();
node.accept(
new BasicVisitor(context) {
@Override
public void visit(Configuration node) {
result.add(node);
}
@Override
public void visit(org.kframework.kil.Context node) {
return;
}
@Override
public void visit(Rule node) {
return;
}
@Override
public void visit(Syntax node) {
return;
}
});
if (result.size() == 0) {
GlobalSettings.kem.register(
new KException(
ExceptionType.ERROR,
KExceptionGroup.INTERNAL,
"Internal compiler error --- Cannot find configuration.",
node.getFilename(),
node.getLocation()));
}
return result.get(0);
}
