Package org.eclipse.imp.pdb.facts

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

507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
            args = w.done();

            return TreeAdapter.setArgs(tree, args);
          }

          IConstructor type = retrieveHoleType(tree);
          return antiquotes.get(TreeAdapter.yield(tree)).asAnnotatable().setAnnotation("holeType", type);
        }

        private IConstructor retrieveHoleType(IConstructor tree) {
          IConstructor prod = TreeAdapter.getProduction(tree);
          ISet attrs = ProductionAdapter.getAttributes(prod);

          for (IValue attr : attrs) {
            if (((IConstructor) attr).getConstructorType() == Factory.Attr_Tag) {
              IValue arg = ((IConstructor) attr).get(0);
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
    }
    else if (cons.getConstructorType() == Factory.Tree_Appl) {
      this.symbol = TreeAdapter.getType(cons);
    }
    else if (cons.getConstructorType() == Factory.Tree_Amb) {
      IConstructor first = (IConstructor) TreeAdapter.getAlternatives(cons).iterator().next();
      this.symbol = TreeAdapter.getType(first);
    }
    else {
      throw new ImplementationError("Invalid concrete syntax type constructor:" + cons);
    }
View Full Code Here
157
158
159
160
161
162
163
164
165
166
167
    return type.glbWithNonTerminal(this);
  }
 
  @Override
  public boolean isSubtypeOfNonTerminal(RascalType other) {
    IConstructor otherSym = ((NonTerminalType)other).symbol;
    if (SymbolAdapter.isIterPlus(symbol) && SymbolAdapter.isIterStar(otherSym)) {
      return SymbolAdapter.isEqual(SymbolAdapter.getSymbol(symbol), SymbolAdapter.getSymbol(otherSym));
    }

    if (SymbolAdapter.isIterPlusSeps(symbol) && SymbolAdapter.isIterStarSeps(otherSym)) {
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
    return SymbolAdapter.isEqual(otherSym, symbol);
  }
 
  @Override
  protected Type lubWithNonTerminal(RascalType other) {
    IConstructor otherSym = ((NonTerminalType)other).symbol;
   
    // * eats +
    if (SymbolAdapter.isIterPlus(symbol) && SymbolAdapter.isIterStar(otherSym)) {
      return other;
    }
View Full Code Here
193
194
195
196
197
198
199
200
201
202
203
    return SymbolAdapter.isEqual(otherSym, symbol) ? this : Factory.Tree;
  }

  @Override
  protected Type glbWithNonTerminal(RascalType other) {
    IConstructor otherSym = ((NonTerminalType)other).symbol;
   
  if (SymbolAdapter.isIterPlus(symbol) && SymbolAdapter.isIterStar(otherSym)) {
      return this;
    }
    else if (SymbolAdapter.isIterPlus(otherSym) && SymbolAdapter.isIterStar(symbol)) {
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
    TypeStore store = new TypeStore();
    IMap definitions = rex.getSymbolDefinitions();
    TypeReifier tr = new TypeReifier(vf);
    tr.declareAbstractDataTypes(definitions, store);
   
    IConstructor symbol = typeToSymbol(t, store);
   
    Map<Type,Type> bindings = new HashMap<Type,Type>();
    bindings.put(Factory.TypeParam, t);
    Factory.Type.instantiate(bindings);
   
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
161
162
    boolean allLabels = true;
    Type[] types = new Type[symbols.length()];
    String[] labels = new String[symbols.length()];
   
    for (int i = 0; i < symbols.length(); i++) {
      IConstructor elem = (IConstructor) symbols.get(i);
      if (elem.getConstructorType() == Factory.Symbol_Label) {
        labels[i] = ((IString) elem.get("name")).getValue();
        elem = (IConstructor) elem.get("symbol");
      }
      else {
        allLabels = false;
      }
     
View Full Code Here
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
      return tf.tupleType(types);
    }
  }
 
  private Type mapToType(IConstructor symbol, TypeStore store) {
    IConstructor from = (IConstructor) symbol.get("from");
    IConstructor to = (IConstructor) symbol.get("to");
    String fromLabel = null;
    String toLabel = null;
   
    if (SymbolAdapter.isLabel(from)) {
      fromLabel = SymbolAdapter.getLabel(from);
      from = (IConstructor) from.get("symbol");
    }
    if (SymbolAdapter.isLabel(to)) {
      toLabel = SymbolAdapter.getLabel(to);
      to = (IConstructor) to.get("symbol");
    }
    if (fromLabel != null && toLabel != null) {
      return tf.mapType(symbolToType(from, store), fromLabel, symbolToType(to, store), toLabel);
    }
    else {
View Full Code Here
227
228
229
230
231
232
233
234
235
236
237
      }
    return makeBinding("unknown", null, null);
  }
 
  public IConstructor resolveType(IBinding binding, boolean isDeclaration) {
    IConstructor result = unresolvedSym();
    if (binding != null) {
      ISourceLocation uri = resolveBinding(binding);
        if (binding instanceof ITypeBinding) {
          return computeTypeSymbol(uri, (ITypeBinding) binding, isDeclaration);
        } else if (binding instanceof IMethodBinding) {
View Full Code Here
248
249
250
251
252
253
254
255
256
257
   
    if (binding.isConstructor()) {
      return constructorSymbol(decl, parameters);
    } else {
      IList typeParameters = computeTypes(isDeclaration ? binding.getTypeParameters() : binding.getTypeArguments(), isDeclaration);
      IConstructor retSymbol = resolveType(binding.getReturnType(), false);
     
      return methodSymbol(decl, typeParameters, retSymbol,  parameters);
    }
  }
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.