private boolean isDesugarCandidate(IConstructor o) {
if (o instanceof AnnotatedConstructorFacade) {
AnnotatedConstructorFacade acf = (AnnotatedConstructorFacade) o;
if (acf.getType() instanceof NonTerminalType) {
NonTerminalType ntt = (NonTerminalType) acf.getType();
String name = SymbolAdapter.toString(ntt.getSymbol(), false);
if (eval.getCurrentEnvt().lookupAbstractDataType(name) != null
|| eval.getCurrentEnvt().lookupConcreteSyntaxType(name) != null) {
return true;
}
}
return false;
}
// TODO Hack.
return (o.getClass()
.toString()
.equals("class org.eclipse.imp.pdb.facts.impl.fast.Constructor"));
// System.out.println("Scheiße!");
// System.out.println(o.getClass());
// return false;
}
