示例#1
0
 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;
 }
示例#2
0
 @Override
 public String toString() {
   return SymbolAdapter.toString(symbol, false);
 }