Package org.eclipse.imp.pdb.facts.type

Examples of org.eclipse.imp.pdb.facts.type.Type

330
331
332
333
334
335
336
337
338
339
340
  }

  @Override
  public IValue visitParameter(Type parameterType) {
    // FIXME Type parameters binden aan echte type van actual value in call.
    Type type = typeParameters.get(parameterType);
    if(type == null){
      throw new IllegalArgumentException("Unbound type parameter " + parameterType);
    }
    return this.generate(type);
  }
View Full Code Here
409
410
411
412
413
414
415
416
417
418
419
  public IValue visitTuple(Type type) {
    RandomValueTypeVisitor visitor = descend();

    IValue[] elems = new IValue[type.getArity()];
    for (int i = 0; i < type.getArity(); i++) {
      Type fieldType = type.getFieldType(i);
      IValue element = visitor.generate(fieldType);
      if (element == null) {
        return null;
      }
      elems[i] = visitor.generate(fieldType);
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      RascalTypeFactory RTF = org.rascalmpl.interpreter.types.RascalTypeFactory
          .getInstance();
      Parameters parameters = getParameters();
      Type kwParams = TF.voidType();

      if (parameters.hasKeywordFormals() && parameters.getKeywordFormals().hasKeywordFormalList()) {
        List<KeywordFormal> kwd = parameters.getKeywordFormals().getKeywordFormalList();
        kwParams = TypeDeclarationEvaluator.computeKeywordParametersType(kwd, eval);
      }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
    @Override
    public Type typeOf(Environment env, boolean instantiateTypeParameters, IEvaluator<Result<IValue>> eval) {
      RascalTypeFactory RTF = RascalTypeFactory.getInstance();

      Type kwParams = TF.voidType();

      Parameters parameters = getParameters();

      if (parameters.hasKeywordFormals() && parameters.getKeywordFormals().hasKeywordFormalList()) {
        List<KeywordFormal> kwd = parameters.getKeywordFormals().getKeywordFormalList();
View Full Code Here
655
656
657
658
659
660
661
662
663
664
665
  public boolean isTreeConstructorName(QualifiedName name, Type signature) {
    java.util.List<Name> names = name.getNames();
   
    if (names.size() > 1) {
      String sort = Names.sortName(name);
      Type sortType = getAbstractDataType(sort);
     
      if (sortType != null) {
        String cons = Names.consName(name);
       
        if (getConstructor(sortType, cons, signature) != null) {
View Full Code Here
727
728
729
730
731
732
733
734
735
736
737
    return typeStore.lookupAbstractDataType(name);
  }
 
  @Override
  public Type lookupConcreteSyntaxType(String name) {
    Type type = concreteSyntaxTypes.get(name);
   
    if (type == null) {
      for (String i : getImports()) {
        ModuleEnvironment mod = getImport(i);
       
View Full Code Here
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
 
  @Override
  public Result<IValue> fieldSelect(Field[] selectedFields) {
    int nFields = selectedFields.length;
    int fieldIndices[] = new int[nFields];
    Type baseType = this.getType();
   
    for (int i = 0; i < nFields; i++) {
      Field f = selectedFields[i];
      if (f.isIndex()) {
        fieldIndices[i] = ((IInteger) f.getFieldIndex()
            .interpret(this.ctx.getEvaluator()).getValue()).intValue();
      } else {
        String fieldName = org.rascalmpl.interpreter.utils.Names
            .name(f.getFieldName());
        try {
          fieldIndices[i] = baseType.getFieldIndex(fieldName);
        } catch (UndeclaredFieldException e) {
          throw new UndeclaredField(fieldName, baseType,
              ctx.getCurrentAST());
        }
      }

      if (fieldIndices[i] < 0 || fieldIndices[i] > baseType.getArity()) {
        throw org.rascalmpl.interpreter.utils.RuntimeExceptionFactory
            .indexOutOfBounds(ValueFactoryFactory.getValueFactory().integer(fieldIndices[i]),
                ctx.getCurrentAST(), ctx.getStackTrace());
      }
    }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
        throw new UndeclaredField(name, getType(), ctx.getCurrentAST());
      }
     
      try {
        int index = getType().getFieldIndex(name);
        Type type = getType().getFieldType(index);
        return makeResult(type, getValue().get(index), ctx);
      }
      catch (UndeclaredFieldException e){
        throw new UndeclaredField(name, getType(), ctx.getCurrentAST());
      }
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
125
      throw new UndeclaredField(name, getType(), ctx.getCurrentAST());
    }

    try {
      int index = getType().getFieldIndex(name);
      Type type = getType().getFieldType(index);
      if(!type.isSubtypeOf(repl.getType())){
        throw new UnexpectedType(type, repl.getType(), ctx.getCurrentAST());
      }
      return makeResult(getType(), getValue().set(index, repl.getValue()), ctx);
    } catch (UndeclaredFieldException e) {
      throw new UndeclaredField(name, getType(), ctx.getCurrentAST());
View Full Code Here
148
149
150
151
152
153
154
155
156
    }
    if ( (idx >= getValue().arity()) || (idx < 0)) {
      throw RuntimeExceptionFactory.indexOutOfBounds(index, ctx.getCurrentAST(), ctx.getStackTrace());
    }
   
    Type elementType = getType().getFieldType(idx);
    IValue element = getValue().get(idx);
    return makeResult(elementType, element, ctx);
  }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.type.Type

  • org.rascalmpl.interpreter.cursors.ConstructorLabelContext
  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.JavaToRascal
  • org.rascalmpl.interpreter.matching.ConcreteApplicationPattern
  • org.rascalmpl.interpreter.matching.IteratorFactory
  • org.rascalmpl.interpreter.matching.ListPattern
  • org.rascalmpl.interpreter.matching.MatchResult
  • org.rascalmpl.interpreter.matching.QualifiedNamePattern
  • org.rascalmpl.interpreter.matching.SetPattern
    • 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.