Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.IConstructor

3445
3446
3447
3448
3449
3450
3451
3452
3453
      super(values);
    }
   
    @Override
    public INode node(String name, IValue... children) {
      IConstructor res = specializeType(name, children);
     
      return res != null ? res: values.node(name, children);
    }
View Full Code Here
3467
3468
3469
3470
3471
3472
3473
3474
3475
    }
   
    @Override
    public INode node(String name, Map<String, IValue> annotations,
        IValue... children) throws FactTypeUseException {
      IConstructor res = specializeType(name, children);
     
      return res != null ? res: values.node(name, annotations, children);
    }
View Full Code Here
3475
3476
3477
3478
3479
3480
3481
3482
3483
    }
   
    @Override
    public INode node(String name, IValue[] children,
        Map<String, IValue> keyArgValues) throws FactTypeUseException {
      IConstructor res = specializeType(name, children);
     
      return res != null ? res: values.node(name, children, keyArgValues);
    }
View Full Code Here
448
449
450
451
452
453
454
455
456
457
458
    StringBuilder b = new StringBuilder();
   
    if (symbols.length() > 0) {
      b.append(toString((IConstructor) symbols.get(0), false));
      for (int i = 1; i < symbols.length(); i++) {
        IConstructor sym = (IConstructor) symbols.get(i);
        if (!withLayout && isLayouts(sym)) {
          continue;
        }
        b.append(sep);
        b.append(toString(sym, withLayout));
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
  private void initListPatternDelegate(List<IMatchingResult> list) {
    Type type = getType(null, null);
   
    if (type instanceof NonTerminalType) {
      IConstructor rhs = ((NonTerminalType) type).getSymbol();

       if (SymbolAdapter.isIterPlus(rhs) || SymbolAdapter.isIterStar(rhs)) {
        pat = new ListPattern(ctx, callOrTree, list, 1);
      }
      else if (SymbolAdapter.isIterPlusSeps(rhs) || SymbolAdapter.isIterStarSeps(rhs)) {
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
79
80
    super.initMatch(subject);
    if (!subject.getType().isSubtypeOf(Factory.Tree)) {
      hasNext = false;
      return;
    }
    IConstructor tree = (IConstructor) subject.getValue();
   
    if (tree.getConstructorType() != Factory.Tree_Appl) {
      hasNext = false;
      return;
    }
    pat.initMatch(ResultFactory.makeResult(Factory.Args, TreeAdapter.getArgs(tree), ctx));
    hasNext = true;
View Full Code Here
102
103
104
105
106
107
108
109
110
111
    return type.isList()|| isConcreteListType(type);
  }

  public static boolean isConcreteListType(Type type){
    if (type instanceof NonTerminalType) {
      IConstructor sym = ((NonTerminalType)type).getSymbol();
      return SymbolAdapter.isAnyList(sym);
    }
    return false;
  }
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
    content.append(e.getLocation());
    content.append(':');
    content.append(' ');
    content.append(e.getMessage());
    content.append('\t');
    IConstructor tree = e.getTree();
    if (tree != null) {
      content.append("diagnose using: ");
      content.append(getValueString(e.getTree()));
    }
    content.append('\n');
View Full Code Here
65
66
67
68
69
70
71
72
73
74
    return new StandardTextReader().read(ValueFactoryFactory.getValueFactory(), Factory.uptr, Factory.Tree, new StringReader(expectedInput));
  }

  public static void main(String[] args){
    CharRange cr = new CharRange();
    IConstructor result = cr.executeParser();
    System.out.println(result);
   
    System.out.println("S([a-z](a)) <- good");
  }
View Full Code Here
124
125
126
127
128
129
130
131
132
133
    return new StandardTextReader().read(ValueFactoryFactory.getValueFactory(), Factory.uptr, Factory.Tree, new StringReader(expectedInput));
  }

  public static void main(String[] args){
    UselessSelfLoop usl = new UselessSelfLoop();
    IConstructor result = usl.executeParser();
    System.out.println(result);
   
    System.out.println("[S([A([B(cycle(A,2)),B(a)]),A(a)]),S([B([A(cycle(B,2)),A(a)]),B(a)])] <- good");
  }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.IConstructor

  • org.rascalmpl.interpreter.BoxADT
  • org.rascalmpl.interpreter.debug.DebugUpdater$PushDownTreeVisitor
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.matching.ConcreteApplicationPattern$TreeAsTuple
  • org.rascalmpl.interpreter.matching.ConcreteListPattern
  • org.rascalmpl.interpreter.matching.ConcreteListVariablePattern
  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.result.ConcreteConstructorFunction
  • org.rascalmpl.interpreter.result.ConcreteSyntaxResult
  • org.rascalmpl.interpreter.TypeReifier
    • Copyright © 2018 www.massapicom. 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.