Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IConstructor.accept()

327
328
329
330
331
332
333
334
335
336
337
      // so lets try to find the tree without the cycle
      IConstructor tree = (IConstructor)alternatives.next();
      while (alternatives.hasNext() && CycleDetector.detect(tree) ) {
        tree = (IConstructor)alternatives.next();
      }
      tree.accept(this);
      return arg;
    }
   
    public IConstructor visitTreeCycle(IConstructor arg) throws IOException {
      return arg;
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
      java.util.List<Expression> args = x.getArguments();
      StringConstant.Lexical sort = (org.rascalmpl.ast.StringConstant.Lexical)
        x.getArguments().get(0).getLiteral().getStringLiteral().getConstant();
      IList rest = vf.list(Factory.Symbol);
      for (Expression arg: ((Expression.List)args.get(1)).getElements()) {
        rest = rest.append(arg.accept(this));
      }
      return vf.constructor(Factory.Symbol_ParameterizedSort, vf.string(sort.getString()), rest);
     
    }
   
View Full Code Here
207
208
209
210
211
212
213
214
215
216
217
   
    if (name.equals("char-class")) {
      java.util.List<Expression> args = x.getArguments();
      IList ranges = vf.list(Factory.CharRange);
      for (Expression arg: ((Expression.List)args.get(0)).getElements()) {
        ranges = ranges.append(arg.accept(this));
      }
      return vf.constructor(Factory.Symbol_CharClass, ranges);
    }
   
    if (name.equals("single")) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.